1

Vehicle Dynamic Monitoring

Realtime 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

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

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