Download presentation
Presentation is loading. Please wait.
Published byEdmund Webb Modified over 8 years ago
1
1 Vehicle Dynamic Monitoring Realtime Distributed Model Implemented VDM2 Claus B. Nielsen
2
2 Agenda Realtime Distributed model –Changes –CPU and BUS –Timing –Now what?
3
3 Realtime Distributed Model
4
4 Changes Changed to a static model Added system class Added CPU and BUSSES Updated event model
5
5 CPU
6
6 BUS
7
7 Timing In this system timing and position is essential. Given the static model required by VICE, this can be quiet troublesome. New events has been added, to start the threads. public VechicleRun :: ID : nat t : Time public TrafficLightRun :: ID : nat t : Time
8
8 Deep Copy CTOR updated
9
9 Data exchange
10
10 Data exchange
11
11 Unittest As soon as test cases get more advanced than get/set, the object needs to be active. This causes timing issues. Better possibilities than with the distributed model, because of duration().
12
12 What now? Timing hell Explore various deloyment and bus layouts
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.