Download presentation

Presentation is loading. Please wait.

Published byKaylie Foden Modified about 1 year ago

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

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

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google