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