1 / 12

Vehicle Dynamic Monitoring Realtime Distributed Model Implemented

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

gent
Download Presentation

Vehicle Dynamic Monitoring Realtime Distributed Model Implemented

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Vehicle Dynamic MonitoringRealtime Distributed ModelImplemented VDM2 Claus B. Nielsen

  2. Agenda • Realtime Distributed model • Changes • CPU and BUS • Timing • Now what?

  3. Realtime Distributed Model

  4. Changes Changed to a static model Added system class Added CPU and BUSSES Updated event model

  5. CPU

  6. BUS

  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. Deep Copy CTOR updated

  9. Data exchange

  10. Data exchange

  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. What now? • Timing hell • Explore various deloyment and bus layouts

More Related