Presentation is loading. Please wait.

Presentation is loading. Please wait.

Dr. Vered Gafni – Real time systems development by the formal approach 1 The Design Language of Statecharts.

Similar presentations


Presentation on theme: "Dr. Vered Gafni – Real time systems development by the formal approach 1 The Design Language of Statecharts."— Presentation transcript:

1 Dr. Vered Gafni – Real time systems development by the formal approach 1 The Design Language of Statecharts

2 Dr. Vered Gafni – Real time systems development by the formal approach 2 The Design Language of Statecharts Finite State Machine R, S, T – States a, b, c, d - Events Arrows - State transitions Event: a, b, c,... a or/and b not a dly(t), tm(a,t) tr(C)/fs(C) Conditions: A, B,... A or/and B not(A) in(S) x=y, x<y,…. Actions: a,b,… tr!(C)/fs!(C) x := v rd!(x) Initial state optional

3 Dr. Vered Gafni – Real time systems development by the formal approach 3 Examples Split on condition

4 Dr. Vered Gafni – Real time systems development by the formal approach 4 Sub-States: Sequential Refinement S is a super-state w.r.t {S1, S2, S3 } Super-state transitions (priority) History entrance (H* -deep history)

5 Dr. Vered Gafni – Real time systems development by the formal approach 5 Example of Sequential Refinement Equivalence up to priorities

6 Dr. Vered Gafni – Real time systems development by the formal approach 6 Sub-states: Parallel Refinement Events broadcasting

7 Dr. Vered Gafni – Real time systems development by the formal approach 7 Delay: To turn on the furnace open the oil valve, and after 3 seconds activate ignition Specification of Time Constraints RTC: Execute control loop at 10Hz rate

8 Dr. Vered Gafni – Real time systems development by the formal approach 8 Delay as Deadline Deadline: Whenever train enters XR, gate should be closed within 10 seconds; otherwise an alarm will be activated

9 Dr. Vered Gafni – Real time systems development by the formal approach 9 Where Timeout is useful ?

10 Dr. Vered Gafni – Real time systems development by the formal approach 10 Synchronization Techniques I

11 Dr. Vered Gafni – Real time systems development by the formal approach 11 Synchronization Techniques II

12 Dr. Vered Gafni – Real time systems development by the formal approach 12 Synchronization Techniques III

13 Dr. Vered Gafni – Real time systems development by the formal approach 13 Example: Railroad crossing

14 Dr. Vered Gafni – Real time systems development by the formal approach 14 Crossing Control: Sequential Design

15 Dr. Vered Gafni – Real time systems development by the formal approach 15 Crossing Control: Parallel Design

16 Dr. Vered Gafni – Real time systems development by the formal approach 16 Example: Automatic Cruise Control

17 Dr. Vered Gafni – Real time systems development by the formal approach 17 Automatic Cruise Control

18 Dr. Vered Gafni – Real time systems development by the formal approach 18 State Operating (sub-state of Active)

19 Dr. Vered Gafni – Real time systems development by the formal approach 19 State CommandMonitor (component of Operating)

20 Dr. Vered Gafni – Real time systems development by the formal approach 20

21 Dr. Vered Gafni – Real time systems development by the formal approach 21 Statemate A Real-Time Design Tool Provides for representation of 3 system views: What: - the activities the system should do, and inter-activities data flow When: - the timing and synchronization of activities activation and data transfer Where: - in what subsystem the each activity should be implemented

22 Dr. Vered Gafni – Real time systems development by the formal approach 22

23 Dr. Vered Gafni – Real time systems development by the formal approach 23 Basic Components A A1 A2 A3 C A2_1 A2_2 E1 E2 E3 CC u v w q e f h r x s fff

24 Dr. Vered Gafni – Real time systems development by the formal approach 24

25 Dr. Vered Gafni – Real time systems development by the formal approach 25

26 Dr. Vered Gafni – Real time systems development by the formal approach 26

27 Dr. Vered Gafni – Real time systems development by the formal approach 27

28 Dr. Vered Gafni – Real time systems development by the formal approach 28

29 Dr. Vered Gafni – Real time systems development by the formal approach 29

30 Dr. Vered Gafni – Real time systems development by the formal approach 30

31 Dr. Vered Gafni – Real time systems development by the formal approach 31

32 Dr. Vered Gafni – Real time systems development by the formal approach 32


Download ppt "Dr. Vered Gafni – Real time systems development by the formal approach 1 The Design Language of Statecharts."

Similar presentations


Ads by Google