state-based scheduling in truetime 1 akramul azim
TRANSCRIPT
State-Based Scheduling in TrueTime
1
Akramul Azim
Outline
2
State-Based Scheduling
TrueTime Simulation Framework
State-Based Scheduling Feature in TrueTime Simulation Framework
Using Table Library for Input Specifications in State-Based Scheduling
State-Based Scheduling
3
An example schedule with on-the-fly decisions. If the primary nodes successfully communicated its data, then the slot assigned to thebackups may be used for other purposes.
S
F F
S
F
S
S: SUCCESS
F: FAILURE
TrueTime
4
• 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-16TrueTime 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/
State-Based Scheduling in TrueTime
5
6
Network Code Machine (NCM)
NCM_WIRELESS
7
Network Model for Pulmonary Vascular Resistance (PVR)
8
• 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
Key Points:
10
State-Based Schedule:
Tabular Specifications for the PVR model
11
• Uses Table Tool implemented by Colin @ McMaster University
• Tabular input specifications for mode changes
• Table is verified using PVS tool
Key Points:
12
Thank You. Any thoughts?
13