Download presentation
Presentation is loading. Please wait.
Published byKaylie Foden Modified over 10 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<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
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.