View the animator in action
The following videos require macromedia flash player. They were captured in 1024x768 and are best viewed in full screen or in a larger resolution.
Presentation of the train system [1’17] : this video explains the KAOS model of the railway system which will be animated. It is shown in the Objectiver requirements engineering tool in which the animator is integrated.
Starting the animator server [0’14] : this very short video show how to start an animator server and the P-FSM compilation step.
Playing a scenario with two trains [3’12] : this video truly shows the animator in action. An animator actor is started and connected to the animator server. Then a pre-recorded scenario is loaded and executed step-by-step. Various operations application
are shown in parallel on multiple train/car instances:
train progress, train stop at a station, door opening/closing, train/car crossing a gate, etc.
Monitoring a goal violation [2’28] : this last video shows the animator watchdog in action for monitoring a simple safety property Maintain[DoorClosedWhileMoving]. In the illustrated scenario, a model error allows a train to be started with its doors opened. Relevant events are logged and the goal violation detected. The origin of the error is then traced.
Some Animator Snapshots
- Animation of the train system
