predictable design for real-time embedded control a case study
DESCRIPTION
Predictable Design for Real-time Embedded Control A Case Study. Jinfeng Huang & Jeroen Voeten Eindhoven University of Technology . PROGR E SS. A running example: railroad crossing Problems in current design practice Compositional design approach Demo. Contents. Railroad Crossing. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/1.jpg)
Predictable Design for Real-time Embedded Control
A Case Study
Jinfeng Huang & Jeroen VoetenEindhoven University of Technology
PROGRPROGREESSSS
![Page 2: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/2.jpg)
2
Contents
•A running example: railroad crossingA running example: railroad crossing•Problems in current design practiceProblems in current design practice•Compositional design approachCompositional design approach•DemoDemo
![Page 3: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/3.jpg)
3
Railroad Crossing
•Trains run independently at different velocities
•Velocities are constant•Avoid collisions •As efficient as possible
StationStation
Station
B
AA D
D
A
Critical zone
Crossingarea
Station
B CB
C
![Page 4: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/4.jpg)
4
Current Practice
Train A Crossing Train B
D
T T+D+
StartMotor
CrossingArea
CriticalZoneSensor A
Delay (D)
CheckCrossing
StopMotor
![Page 5: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/5.jpg)
5
Timing Property
•(Timed) execution trace of “Train A”:
1+2 ?
SensorA signaled T Delay D
T+DCheck Crossing
T+D+1Stop motor T+D+1+2
Between D and D+ seconds after Train A has passed Sensor A, “Train A” checks the Crossing and stops the train if the Crossing is occupied
![Page 6: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/6.jpg)
6
Timing Property - Add other Components •e.g. to control other trains or crossings.•(Timed) execution trace of “Train A” (disturbed by other components):
1+2+3+1+2 BOOM !!!
SensorA signaled T
Delay D T+1+D
Check Crossing T+1+D +2+1
Stop motor T+1+D +2+1+3+2
Other components running T+1
T+1+D+2
T+1+D +2+1+3
![Page 7: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/7.jpg)
7
Problems in current practice
•Behaviors of components are not compositional•Debug and analysis codes “pollute” the timing
behavior of the system•Lack reusability, maintainability, portability etc. •Lack facilities to guarantee property preservation: Lack facilities to guarantee property preservation:
Implementation exhibits unexpected behaviors not Implementation exhibits unexpected behaviors not present in the modelpresent in the model
![Page 8: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/8.jpg)
8
Compositional Approach (Modeling)
•POOSL: Based on a two-phase execution frame: Based on a two-phase execution frame: actions are instantaneous and time progress is actions are instantaneous and time progress is represented in a virtual way (instead of based represented in a virtual way (instead of based directly on a physical clock) directly on a physical clock) •Compositional semanticsCompositional semantics•ExecutableExecutable•Expressive (concurrency, time, Expressive (concurrency, time, communication…)
![Page 9: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/9.jpg)
9
Compositional Approach (Modeling)
Train A Train BCrossingAbstract ModelRefinement
Verification
Train AActor
Train AI mage
Train BI mage
Train BActor
Train BCrossingTrain A
Extended Model
SafetyMonitoring
Simulation
Refinement
Estimation of
Synthesis
Synthesis Model
Train AImage
Train BImageCrossing
LEGO DACTA Interface
![Page 10: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/10.jpg)
10
Compositional Approach (Synthesis)
•Automatic code generation (RT-Rotalumis,C++)
•Real-time property-preserving mapping guaranteed by the -hypothesis•The execution tree: ordering of actions is kept from
model to implementation•Synchronization between virtual time and physical
time: if an action happens at virtual time t in model it happens in physical time interval (t-/2,t+/2) in implementation
![Page 11: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/11.jpg)
11
Demo: The Railroad Crossing
StationStation
Station
B
AA D
D
A
Critical zone
Crossingarea
Station
B CB
C
- 100 - 20 20 100 cm
- 100
20
100
•Velocity TrainA: 40 cm/s•Velocity TrainB: 90 cm/s
Extended Model
Synthesis ModelRealization
Rapid analysis
Abstract Model
Models and video are not included in the presentation. For those who are interested, please mailto: [email protected]
![Page 12: Predictable Design for Real-time Embedded Control A Case Study](https://reader035.vdocuments.us/reader035/viewer/2022062218/5681675c550346895ddc2659/html5/thumbnails/12.jpg)
12
Future Work and Open Issues
•Mapping efficiency•Prediction / platform requirements•Multi-processor platforms •Streaming data•Continuous-time environmental models•Tools