Download presentation

Presentation is loading. Please wait.

Published byKaylie Foden Modified over 2 years 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

OK

Deterministic Finite-State Machine (or Deterministic Finite Automaton) A DFA is a 5-tuple, (S, Σ, T, s, A), consisting of: S: a finite set of states Σ:

Deterministic Finite-State Machine (or Deterministic Finite Automaton) A DFA is a 5-tuple, (S, Σ, T, s, A), consisting of: S: a finite set of states Σ:

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on condition monitoring tools Ppt online shopping project documentation Ppt on natural and artificial satellites definition Ppt on phonetic transcription of english words Ppt on cross border merger and acquisition Ppt on mercury and venus Ppt on power transmission and distribution in india Ppt on operating system memory management Ppt on max life insurance Slideshare ppt on leadership