slides

advertisement
State-Based Scheduling in TrueTime
Akramul Azim
1
Outline
State-Based Scheduling
TrueTime Simulation Framework
State-Based Scheduling Feature in TrueTime Simulation Framework
Using Table Library for Input Specifications in State-Based Scheduling
2
State-Based Scheduling
S
S: SUCCESS
F
F: FAILURE
S
S
F
F
An example schedule with on-the-fly decisions. If the primary nodes
successfully communicated its data, then the slot assigned to the
backups may be used for other purposes.
3
TrueTime
•
TrueTime is a Matlab/Simulink-based simulator for real-time control
systems.
•
Written in C++ MEX
•
Network block (Ethernet, CAN, TDMA, FDMA, Round Robin, Switched
Ethernet, FlexRay and PROFINET)
•
Wireless network block (802.11b WLAN and 802.15.4 ZigBee)
•
2010-07-16 TrueTime 2.0 beta 6 has been released. Added support for
Network Code Machine by Sebastian Fischmeister et al.
Source: http://www.control.lth.se/truetime/
4
State-Based Scheduling in
TrueTime
5
Network Code Machine (NCM)
6
NCM_WIRELESS
7
Network Model for Pulmonary
Vascular Resistance (PVR)
8
Key Points:
•
PVR is the resistance in the pulmonary vascular bed against which the
right ventricle must eject blood.
• To calculate the pulmonary vascular resistance, the patient monitor needs to
know:
1. left atrial pressure (LAP)
2. pulmonary capillary wedge pressure (PCWP),
3. pulmonary artery pressure (PAP), and
4. cardiac output (CO).
• PCWP provides an indirect estimate of LAP.
9
State-Based Schedule:
10
Tabular Specifications for the
PVR model
11
Key Points:
• Uses Table Tool implemented by Colin @ McMaster
University
• Tabular input specifications for mode changes
• Table is verified using PVS tool
12
Thank You. Any thoughts?
13
Download