00001
00005 typedef struct s_TransitionType trans_t;
00006
00010 typedef int loc_t;
00011
00015 typedef int bool;
00016
00020 #ifndef tid_offset
00021 #define tid_offset 200
00022 #endif
00023
00024
00025 #define QUEUE_BOUND 3
00026 #define NB_TASK 0
00027 #define NB_TRANS 107
00028 #define NB_PROC 1
00029 #define NB_LOC 49
00030 #define NB_CLOCKS 1
00031
00032 const char* cl0 = "GPCA_Instance_clk_x1";
00033 const char** CLOCKNAMES[NB_CLOCKS] = {&cl0};
00034
00035 const char* iv0= "E_RequestBolus";
00036 const char* iv1= "E_StopInfusion";
00037 const char* iv2= "E_PauseInfusion";
00038 const char* iv3= "E_ConfirmPauseInfusion";
00039 const char* iv4= "E_ClearAlarm";
00040 const char* iv5= "E_Cancel";
00041 const char* iv6= "E_ChangeDoseRate";
00042 const char* iv7= "T_Cond_6_6";
00043 const char* iv8= "T_Cond_6_3";
00044 const char* iv9= "T_Cond_6_4";
00045 const char* iv10= "T_Cond_6_5";
00046 const char* iv11= "E_ConfirmStopInfusion";
00047 const char* iv12= "E_ConfirmDoseRate";
00048 const char* iv13= "E_NewInfusion";
00049 const char* iv14= "Level_Two_Alarm";
00050 const char* iv15= "MCond_6_6";
00051 const char* iv16= "TCond_6_3";
00052 const char* iv17= "Cond_6_3";
00053 const char* iv18= "TCond_6_5";
00054 const char* iv19= "TCond_6_4";
00055 const char* iv20= "Cond_7_4";
00056 const char* iv21= "Cond_7_3";
00057 const char* iv22= "Cond_2";
00058 const char* iv23= "E_ConfigureInfusionProgram";
00059 const char* iv24= "E_ChangeVTBI";
00060 const char* iv25= "E_ConfirmVTBI";
00061 const char* iv26= "Cond_4_1";
00062 const char* iv27= "Cond_4_2";
00063 const char* iv28= "Cond_4_3";
00064 const char* iv29= "Cond_4_4";
00065 const char* iv30= "Cond_4_5";
00066 const char* iv31= "Cond_4_6";
00067 const char* iv32= "Cond_5_1";
00068 const char* iv33= "E_StartInfusion";
00069 const char* iv34= "MCDR_In_Progress";
00070 const char* iv35= "E_CheckAdminSet";
00071 const char* iv36= "E_CheckAdminSet_1";
00072 const char* iv37= "Cond_3_1";
00073 const char* iv38= "Cond_3_2";
00074 const char* iv39= "Cond_3_3";
00075 const char* iv40= "Cond_3_4";
00076 const char* iv41= "E_CheckDrug";
00077 const char* iv42= "Cond_3_5";
00078 const char* iv43= "Cond_3_6";
00079 const char* iv44= "Cond_3_7";
00080 const char* iv45= "Cond_3_8";
00081 const char* iv46= "Cond_3_9";
00082 const char* iv47= "Cond_3_11";
00083 const char* iv48= "Cond_3_10";
00084 const char* iv49= "E_ConfirmConcentration";
00085 const char* iv50= "E_Prime";
00086 const char* iv51= "E_PowerButton";
00087 const char* iv52= "Power_ON";
00088 const char* iv53= "MCond_1_3";
00089 const char* iv54= "MCond_1_4";
00090 const char* iv55= "Cond_5_2";
00091 const char* iv56= "Cond_6_2";
00092 const char* iv57= "Cond_7_1";
00093 const char* iv58= "Cond_7_2";
00094 #define NB_VAR 59
00095 const char** VARNAMES[NB_VAR] = {&iv0,&iv1,&iv2,&iv3,&iv4,&iv5,&iv6,&iv7,&iv8,&iv9,&iv10,&iv11,&iv12,&iv13,&iv14,&iv15,&iv16,&iv17,&iv18,&iv19,&iv20,&iv21,&iv22,&iv23,&iv24,&iv25,&iv26,&iv27,&iv28,&iv29,&iv30,&iv31,&iv32,&iv33,&iv34,&iv35,&iv36,&iv37,&iv38,&iv39,&iv40,&iv41,&iv42,&iv43,&iv44,&iv45,&iv46,&iv47,&iv48,&iv49,&iv50,&iv51,&iv52,&iv53,&iv54,&iv55,&iv56,&iv57,&iv58};
00096
00100
00101
00102
00103
00104
00105
00106 struct s_TransitionType {
00107 int active;
00108 int from;
00109 int to;
00110 int sync;
00111 };
00112
00113
00114 #ifndef true
00115 #define true (1==1)
00116 #endif
00117
00118 #ifndef false
00119 #define false (0==1)
00120 #endif
00121
00125 #define tid_offset 200
00126 #define tid_NOP tid_offset+0
00127
00128
00133 #define GPCA_Instance_Infusion_NormalOperation 0
00134 #define GPCA_Instance_ConfirmPause 9
00135 #define GPCA_Instance_InfusionPaused 14
00136 #define GPCA_Instance_Alrm_TooLongInfusionPause 18
00137 #define GPCA_Instance_InfusionStopped 22
00138 #define GPCA_Instance_ConfirmStop 25
00139 #define GPCA_Instance_Alrm_LevelTwoHardwareFailure 30
00140 #define GPCA_Instance_Wrn_LowReservior 34
00141 #define GPCA_Instance_Alrm_EmptyReservior 36
00142 #define GPCA_Instance_CheckDrug 39
00143 #define GPCA_Instance_Alrm_WrongDrug 43
00144 #define GPCA_Instance_ChangeRate 46
00145 #define GPCA_Instance_CheckNewRate 52
00146 #define GPCA_Instance_Alrm_UnsafeNewRate 55
00147 #define GPCA_Instance_DisplayVTBI 60
00148 #define GPCA_Instance_ChangeVTBI 63
00149 #define GPCA_Instance_Alrm_LongWait_ChangeVTBI 67
00150 #define GPCA_Instance_CheckVTBI 69
00151 #define GPCA_Instance_Alrm_VTBIHardLimitsViolation 73
00152 #define GPCA_Instance_Wrn_VTBISoftLimitsViolation 75
00153 #define GPCA_Instance_DisplayDoseRate 78
00154 #define GPCA_Instance_ChangeDoseRate 81
00155 #define GPCA_Instance_Alrm_LongWait_ChangeDoseRate 85
00156 #define GPCA_Instance_CheckDoseRate 87
00157 #define GPCA_Instance_Alarming_DoseRate_OutOfBound 91
00158 #define GPCA_Instance_Wrn_DoseRateSoftLimitsViolation 93
00159 #define GPCA_Instance_DisplaySetting 96
00160 #define GPCA_Instance_Alrm_LongWait_StartInfusion 99
00161 #define GPCA_Instance_ReadyToStart 101
00162 #define GPCA_Instance_DisplayPatientProfile 104
00163 #define GPCA_Instance_CDR_Init 107
00164 #define GPCA_Instance_CheckAdministrationSet 109
00165 #define GPCA_Instance_Alrm_IncorrectAdministrationSetup 112
00166 #define GPCA_Instance_CheckPrime 114
00167 #define GPCA_Instance_Alrm_PrimeFailure 117
00168 #define GPCA_Instance_DisplayDrugInfo 119
00169 #define GPCA_Instance_CheckDrugType 121
00170 #define GPCA_Instance_Alrm_UnknownDrug 124
00171 #define GPCA_Instance_CheckDoseUnit 126
00172 #define GPCA_Instance_Alrm_DoseUnitMismatch 129
00173 #define GPCA_Instance_CheckConcentration 131
00174 #define GPCA_Instance_Wrn_ConcentrationSoftLimitsViolation 135
00175 #define GPCA_Instance_Alrm_ConcentrationHardLimitsViolation 138
00176 #define GPCA_Instance_POST_Init 140
00177 #define GPCA_Instance_Post_In_Progress 142
00178 #define GPCA_Instance_Alrm_POSTFailure 146
00179 #define GPCA_Instance_PausedStopConfirm 148
00180 #define GPCA_Instance_Alrm_LongWait_ChangeDoseRate_ISSM 151
00181 #define GPCA_Instance_BolusRequest 153
00182
00186 #define MAX_PAUSED_T 5
00187 #define MAX_ALRM_T 10
00188 #define MAX_CHECK_DRUG_T 5
00189 #define MAX_WAIT_INPUT_T 5
00190 #define MAX_POST_WAIT 10
00191
00192
00193 typedef long time_t;
00194 #define MAX_CLOCK_VALUE 50000 //Max clock value