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