vehicle dynamic monitoring realtime distributed model implemented
DESCRIPTION
Vehicle Dynamic Monitoring Realtime Distributed Model Implemented. VDM2. Claus B. Nielsen. Agenda. Realtime Distributed model Changes CPU and BUS Timing Now what?. Realtime Distributed Model. Changes. Changed to a static model Added system class Added CPU and BUSSES - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/1.jpg)
1
Vehicle Dynamic Monitoring
Realtime Distributed ModelImplemented
VDM2
Claus B. Nielsen
![Page 2: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/2.jpg)
2
Agenda
• Realtime Distributed model– Changes– CPU and BUS– Timing– Now what?
![Page 3: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/3.jpg)
3
Realtime Distributed Model
![Page 4: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/4.jpg)
4
Changes
Changed to a static model
Added system class
Added CPU and BUSSES
Updated event model
![Page 5: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/5.jpg)
5
CPU
![Page 6: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/6.jpg)
6
BUS
![Page 7: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/7.jpg)
7
TimingIn 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
![Page 8: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/8.jpg)
8
Deep Copy
CTOR updated
![Page 9: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/9.jpg)
9
Data exchange
![Page 10: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/10.jpg)
10
Data exchange
![Page 11: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/11.jpg)
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().
![Page 12: Vehicle Dynamic Monitoring Realtime Distributed Model Implemented](https://reader035.vdocuments.site/reader035/viewer/2022070415/56814efd550346895dbc8ca4/html5/thumbnails/12.jpg)
12
What now?
• Timing hell
• Explore various deloyment and bus layouts