Functions | Variables

Automatically generated TIMES interface.

Functions

static void clear_and_set (unsigned char sync)
 TIMES interface.
void setClock (time_t clockID, long value)
 TIMES interface.
time_t rdClock (time_t clockID)
 TIMES interface.
void assign (int trn)
 TIMES interface.
bool eval_guard (int trn)
 TIMES interface.
void check_trans (void)
 TIMES interface.

Variables

time_t GPCA_Instance_clk_x1
int E_RequestBolus = 0
 An event channel for Bolus request from patients.
int E_StopInfusion = 0
 An event channel for pushing [stop button] by patients.
int E_PowerButton = 0
 Pressing of the power button.
int E_PauseInfusion = 0
 An event channel for pushing [pause button] by patients.
int E_ConfirmPauseInfusion = 0
 An event channel for pushing [confirm pause] by patients.
int E_ClearAlarm = 0
 An event channel for clearing the current alarm by patients or caregivers.
int E_Cancel = 0
 An event channel for cancelling the previous actions done by patients or caregivers.
int E_ChangeDoseRate = 0
 An event channel for pushing [Change Dose Rate] button by patients or caregivers.
int E_ConfigureInfusionProgram = 0
 The action of programming infusion parameters.
int E_ConfirmStopInfusion = 0
 An event channel for pushing [Confirm Stop Infusion] by patients or caregivers.
int E_ConfirmDoseRate = 0
 An event channel for pushing [Confirm Dose Rate] by patients or caregivers.
int E_NewInfusion = 0
 An event channel for initiating [infusion session submachine] after pump is being stopped.
int E_ChangeVTBI = 0
 Request to change the current VTBI.
int E_ConfirmVTBI = 0
 The action of accepting the currently programmed VTBI.
int E_StartInfusion = 0
 The action of accepting the current programmed parameters and starting the infusion.
int E_CheckAdminSet = 0
 Request for an administration set check.
int E_CheckAdminSet_1 = 0
int E_CheckDrug = 0
 Request to check the loaded drug against the prescription.
int E_ConfirmConcentration = 0
 The action of accepting the concentration of the loaded drug.
int E_Prime = 0
 Request to prime the pump.
int T_Cond_6_6 = 0
 An event channel for indicating [Warning Low Reservoir].
int T_Cond_6_3 = 0
 An event channel for indicating [Alarm Empty Reservoir].
int T_Cond_6_4 = 0
 An event channel for indicating a new valid syringe has been inserted.
int T_Cond_6_5 = 0
 An event channel for indicating an invalid syringe has been inserted.
int MCond_6_6 = 0
 A condition variable for indicating [Wrn_LowReservior].
int TCond_6_3 = 0
int Cond_6_3 = 0
 A condition variable for indicating [Alrm_EmptyReservior].
int TCond_6_5 = 0
 A condition variable for indicating [Alrm_WrongDrug].
int TCond_6_4 = 0
 A condition variable for indicating that the reloaded drug matches the drug expected by the current infusion session.
int Cond_7_4 = 0
 A condition variable for indicating that the new infusion rate that the users input during the current infusion satisfies both soft and hard limits suggested by the drug library.
int Cond_7_3 = 0
 A condition variable for indicating that the new infusion rate that the user inputs during the current infusion violates either soft or hard limits suggested by the drug library.
int Cond_2 = 0
 A condition variable for indicating that the pump is functioning properly and all necessary parts are ready for the infusion to start.
int Level_Two_Alarm = 0
 An event channel for indicating [Level Two Alarm].
int Cond_4_1 = 0
 The value of VTBI provided by the user violates hard limits specified by the drug library.
int Cond_4_2 = 0
 The value of VTBI provided by the user violates soft limits specified by the drug library.
int Cond_4_3 = 0
 The VTBI provided by the user complies with that prescribed by the drug library.
int Cond_4_4 = 0
 The value of infusion dose rate provided by the user violates hard limits specified by the drug library.
int Cond_4_5 = 0
 The value of infusion dose rate provided by the user violates soft limits specified by the drug library.
int Cond_4_6 = 0
 The infusion dose rate provided by the user complies with that prescribed by the drug library.
int Cond_5_1 = 0
int MCDR_In_Progress = 0
int Cond_3_1 = 0
 Administration Check failed.
int Cond_3_2 = 0
 Administration Check passed.
int Cond_3_3 = 0
 Prime Check failed.
int Cond_3_4 = 0
 Prime Check passed.
int Cond_3_5 = 0
 The drug label does not reflect correctly and precisely the drug in the reservoir, or the drug is not prescribed by the drug library.
int Cond_3_6 = 0
 The drug label reflects correctly and precisely the drug in the reservoir.
int Cond_3_7 = 0
 The drug dose unit read by the barcode reader does not match that prescribed by the drug library.
int Cond_3_8 = 0
 The drug dose unit read by the barcode reader matches that prescribed by the drug library.
int Cond_3_9 = 0
 The drug concentration read by the barcode reader violates soft limits suggested by the drug library.
int Cond_3_11 = 0
 The drug concentration read by the barcode reader complies with that prescribed by the drug library.
int Cond_3_10 = 0
 The drug concentration read by the barcode reader violates hard limits suggested by the drug library.
int Power_ON = 0
int MCond_1_3 = 0
int MCond_1_4 = 0
int Cond_5_2 = 0
int Cond_6_2 = 0
int Cond_7_1 = 0
int Cond_7_2 = 0
trans_t trans [NB_TRANS]
loc_t loc [NB_TRANS+NB_LOC]

Function Documentation

void assign ( int  trn  ) 

TIMES interface.

Perform assignments on transition trn.

Parameters:
trn Transition id.

Definition at line 920 of file main.c.

Here is the call graph for this function:

void check_trans (  ) 

TIMES interface.

Check if any of the active transitions are enabled, and if so take it. Will continue until a stable state (no more enabled transitions) is reached (TIMES code).

Parameters:
data Unused (should be null).
Returns:
false when in stable state

Definition at line 739 of file main.c.

Here is the call graph for this function:

static void clear_and_set ( unsigned char  trn  )  [static]

TIMES interface.

Update the list of active transitions when a transition is taken, and release task of target location (TIMES code).

Parameters:
trn The transition taken

Definition at line 711 of file main.c.

bool eval_guard ( int  trn  ) 

TIMES interface.

Evaluate guards on transition trn.

Parameters:
trn Transition id
Returns:
true if guard satisfied, false otherwise.

Definition at line 801 of file main.c.

Here is the call graph for this function:

time_t rdClock ( time_t  clockID  ) 

TIMES interface.

implementation of [rdClock] interface in TIMES code.

Parameters:
clockID clock id used in the automata.
Returns:
the current clock value of clockID.

Definition at line 1145 of file main.c.

void setClock ( time_t  clockID,
long  value 
)

TIMES interface.

implementation of [setClock] interface in TIMES code.

Parameters:
clockID clock id used in the automata.
value clock value to be newly set.

Definition at line 1136 of file main.c.


Variable Documentation

int Cond_2 = 0

A condition variable for indicating that the pump is functioning properly and all necessary parts are ready for the infusion to start.

Definition at line 155 of file main.c.

int Cond_3_1 = 0

Administration Check failed.

Definition at line 173 of file main.c.

int Cond_3_10 = 0

The drug concentration read by the barcode reader violates hard limits suggested by the drug library.

Definition at line 193 of file main.c.

int Cond_3_11 = 0

The drug concentration read by the barcode reader complies with that prescribed by the drug library.

Definition at line 191 of file main.c.

int Cond_3_2 = 0

Administration Check passed.

Definition at line 175 of file main.c.

int Cond_3_3 = 0

Prime Check failed.

Definition at line 177 of file main.c.

int Cond_3_4 = 0

Prime Check passed.

Definition at line 179 of file main.c.

int Cond_3_5 = 0

The drug label does not reflect correctly and precisely the drug in the reservoir, or the drug is not prescribed by the drug library.

Definition at line 181 of file main.c.

int Cond_3_6 = 0

The drug label reflects correctly and precisely the drug in the reservoir.

Definition at line 183 of file main.c.

int Cond_3_7 = 0

The drug dose unit read by the barcode reader does not match that prescribed by the drug library.

Definition at line 185 of file main.c.

int Cond_3_8 = 0

The drug dose unit read by the barcode reader matches that prescribed by the drug library.

Definition at line 187 of file main.c.

int Cond_3_9 = 0

The drug concentration read by the barcode reader violates soft limits suggested by the drug library.

Definition at line 189 of file main.c.

int Cond_4_1 = 0

The value of VTBI provided by the user violates hard limits specified by the drug library.

Definition at line 159 of file main.c.

int Cond_4_2 = 0

The value of VTBI provided by the user violates soft limits specified by the drug library.

Definition at line 161 of file main.c.

int Cond_4_3 = 0

The VTBI provided by the user complies with that prescribed by the drug library.

Definition at line 163 of file main.c.

int Cond_4_4 = 0

The value of infusion dose rate provided by the user violates hard limits specified by the drug library.

Definition at line 165 of file main.c.

int Cond_4_5 = 0

The value of infusion dose rate provided by the user violates soft limits specified by the drug library.

Definition at line 167 of file main.c.

int Cond_4_6 = 0

The infusion dose rate provided by the user complies with that prescribed by the drug library.

Definition at line 169 of file main.c.

int Cond_5_1 = 0

Definition at line 170 of file main.c.

int Cond_5_2 = 0

Definition at line 197 of file main.c.

int Cond_6_2 = 0

Definition at line 198 of file main.c.

int Cond_6_3 = 0

A condition variable for indicating [Alrm_EmptyReservior].

Definition at line 145 of file main.c.

int Cond_7_1 = 0

Definition at line 199 of file main.c.

int Cond_7_2 = 0

Definition at line 200 of file main.c.

int Cond_7_3 = 0

A condition variable for indicating that the new infusion rate that the user inputs during the current infusion violates either soft or hard limits suggested by the drug library.

Definition at line 153 of file main.c.

int Cond_7_4 = 0

A condition variable for indicating that the new infusion rate that the users input during the current infusion satisfies both soft and hard limits suggested by the drug library.

Definition at line 151 of file main.c.

int E_Cancel = 0

An event channel for cancelling the previous actions done by patients or caregivers.

Definition at line 107 of file main.c.

An event channel for pushing [Change Dose Rate] button by patients or caregivers.

Definition at line 109 of file main.c.

int E_ChangeVTBI = 0

Request to change the current VTBI.

Definition at line 119 of file main.c.

int E_CheckAdminSet = 0

Request for an administration set check.

Definition at line 125 of file main.c.

Definition at line 126 of file main.c.

int E_CheckDrug = 0

Request to check the loaded drug against the prescription.

Definition at line 128 of file main.c.

int E_ClearAlarm = 0

An event channel for clearing the current alarm by patients or caregivers.

Definition at line 105 of file main.c.

The action of programming infusion parameters.

Definition at line 111 of file main.c.

The action of accepting the concentration of the loaded drug.

Definition at line 130 of file main.c.

An event channel for pushing [Confirm Dose Rate] by patients or caregivers.

Definition at line 115 of file main.c.

An event channel for pushing [confirm pause] by patients.

Definition at line 103 of file main.c.

An event channel for pushing [Confirm Stop Infusion] by patients or caregivers.

Definition at line 113 of file main.c.

int E_ConfirmVTBI = 0

The action of accepting the currently programmed VTBI.

Definition at line 121 of file main.c.

int E_NewInfusion = 0

An event channel for initiating [infusion session submachine] after pump is being stopped.

Definition at line 117 of file main.c.

int E_PauseInfusion = 0

An event channel for pushing [pause button] by patients.

Definition at line 101 of file main.c.

int E_PowerButton = 0

Pressing of the power button.

Definition at line 99 of file main.c.

int E_Prime = 0

Request to prime the pump.

Definition at line 132 of file main.c.

int E_RequestBolus = 0

An event channel for Bolus request from patients.

Integer variables

Definition at line 95 of file main.c.

int E_StartInfusion = 0

The action of accepting the current programmed parameters and starting the infusion.

Definition at line 123 of file main.c.

int E_StopInfusion = 0

An event channel for pushing [stop button] by patients.

Definition at line 97 of file main.c.

Clock variables Ordered: global first, then local clocks for each process.

Definition at line 88 of file main.c.

int Level_Two_Alarm = 0

An event channel for indicating [Level Two Alarm].

Definition at line 157 of file main.c.

loc_t loc[NB_TRANS+NB_LOC]

Location list

Definition at line 318 of file main.c.

Definition at line 171 of file main.c.

int MCond_1_3 = 0

Definition at line 195 of file main.c.

int MCond_1_4 = 0

Definition at line 196 of file main.c.

int MCond_6_6 = 0

A condition variable for indicating [Wrn_LowReservior].

Definition at line 142 of file main.c.

int Power_ON = 0

Definition at line 194 of file main.c.

int T_Cond_6_3 = 0

An event channel for indicating [Alarm Empty Reservoir].

Definition at line 136 of file main.c.

int T_Cond_6_4 = 0

An event channel for indicating a new valid syringe has been inserted.

Definition at line 138 of file main.c.

int T_Cond_6_5 = 0

An event channel for indicating an invalid syringe has been inserted.

Definition at line 140 of file main.c.

int T_Cond_6_6 = 0

An event channel for indicating [Warning Low Reservoir].

Definition at line 134 of file main.c.

int TCond_6_3 = 0

Definition at line 143 of file main.c.

int TCond_6_4 = 0

A condition variable for indicating that the reloaded drug matches the drug expected by the current infusion session.

Definition at line 149 of file main.c.

int TCond_6_5 = 0

A condition variable for indicating [Alrm_WrongDrug].

Definition at line 147 of file main.c.

trans_t trans[NB_TRANS]

Transition table.

Definition at line 205 of file main.c.

 All Classes Files Functions Variables Typedefs Defines