SYSTEM {
IMR {
TOPLEVEL COMPONENT IMR {
ATTRIBUTES {
ATTRIBUTE _old_the_blockage_sensor {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
ATTRIBUTE _old_the_pressure_mode {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 2
TOLERANCE: 0
}
ATTRIBUTE _old_the_reset_sensor {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
ATTRIBUTE _old_the_water_pressure {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: -100
UPPERBOUND: 100
TOLERANCE: 0
}
ATTRIBUTE the_blockage_sensor {
SYMBOLTYPE: InputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
ATTRIBUTE the_overridden_mode {
SYMBOLTYPE: OutputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
ATTRIBUTE the_pressure_mode {
SYMBOLTYPE: OutputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 2
TOLERANCE: 0
}
ATTRIBUTE the_reset_sensor {
SYMBOLTYPE: InputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
ATTRIBUTE the_safety_injection_mode {
SYMBOLTYPE: OutputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
ATTRIBUTE the_water_pressure {
SYMBOLTYPE: InputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: -100
UPPERBOUND: 100
TOLERANCE: 0
}
}
SC-LOCATIONS {
LOCATION NAME: IMR OID: <ARTIFICIAL>
{
}
}
}
SUT COMPONENT IMR.SUT {
SC-LOCATIONS {
LOCATION NAME: SUT OID: _SUT
{
}
}
}
SUT COMPONENT IMR.SUT.the_safety_injection_system {
SC-LOCATIONS {
LOCATION NAME: the_safety_injection_system OID: _the_safety_injection_system
{
SUB-STATECHART NAME: the_safety_injection_system OID: _the_safety_injection_system {
LOCATION NAME: Initial OID: _Initial
{
EMANATING TRANSITIONS {
[0] --- [ true ] / ... ---> the_safety_injection_system_L0
}
}
LOCATION NAME: the_safety_injection_system_L0 OID: _the_safety_injection_system_L0
{
EMANATING TRANSITIONS {
[1] --- [ ((((IMR.the_pressure_mode == 0) && (!(IMR._old_the_water_pressure >= 9))) && (IMR.the_water_pressure >= 9)) && (IMR.the_pressure_mode != 1)) ] / ... ---> the_safety_injection_system_L0
[2] --- [ ((((IMR.the_pressure_mode == 1) && (!(IMR._old_the_water_pressure >= 10))) && (IMR.the_water_pressure >= 10)) && (IMR.the_pressure_mode != 2)) ] / ... ---> the_safety_injection_system_L0
[3] --- [ ((((IMR.the_pressure_mode == 1) && (!(IMR._old_the_water_pressure < 9))) && (IMR.the_water_pressure < 9)) && (IMR.the_pressure_mode != 0)) ] / ... ---> the_safety_injection_system_L0
[4] --- [ ((((IMR.the_pressure_mode == 2) && (!(IMR._old_the_water_pressure < 10))) && (IMR.the_water_pressure < 10)) && (IMR.the_pressure_mode != 1)) ] / ... ---> the_safety_injection_system_L0
[5] --- [ (((((!(IMR.the_pressure_mode == 2)) && (IMR.the_reset_sensor == 0)) && (IMR._old_the_blockage_sensor == 0)) && (IMR.the_blockage_sensor == 1)) && (IMR.the_overridden_mode != 0)) ] / ... ---> the_safety_injection_system_L0
[6] --- [ ((((!(IMR.the_pressure_mode == 2)) && (!(IMR._old_the_reset_sensor == 1))) && (IMR.the_reset_sensor == 1)) && (IMR.the_overridden_mode != 1)) ] / ... ---> the_safety_injection_system_L0
[7] --- [ (((!(IMR._old_the_pressure_mode == 2)) && (IMR.the_pressure_mode == 2)) && (IMR.the_overridden_mode != 1)) ] / ... ---> the_safety_injection_system_L0
[8] --- [ (((IMR._old_the_pressure_mode == 2) && (!(IMR.the_pressure_mode == 2))) && (IMR.the_overridden_mode != 1)) ] / ... ---> the_safety_injection_system_L0
[9] --- [ (((IMR.the_overridden_mode == 0) && (IMR.the_pressure_mode == 0)) && (IMR.the_safety_injection_mode != 0)) ] / ... ---> the_safety_injection_system_L0
[10] --- [ (((IMR.the_overridden_mode == 1) && (IMR.the_pressure_mode == 0)) && (IMR.the_safety_injection_mode != 1)) ] / ... ---> the_safety_injection_system_L0
[11] --- [ (((IMR.the_pressure_mode == 2) || (IMR.the_pressure_mode == 1)) && (IMR.the_safety_injection_mode != 0)) ] / ... ---> the_safety_injection_system_L0
}
}
}
}
}
}
TE COMPONENT IMR.TE {
SC-LOCATIONS {
LOCATION NAME: TE OID: _TE
{
}
}
}
}
SYMBOLTABLE {
KNOWN TYPES {
Bool type 'bool' SIZE: 1
Clock type 'clock' SIZE: 0
Bool type 'bool' SIZE: 1 CONST
Floating type 'const double' SIZE: 8 CONST
Floating type 'const float' SIZE: 4 CONST
Floating type 'const long double' SIZE: 16 CONST
Integral type SIGNED 'const signed char' SIZE: 1 CONST
Integral type SIGNED 'const signed int' SIZE: 4 CONST
Integral type SIGNED 'const signed long int' SIZE: 8 CONST
Integral type SIGNED 'const signed long long int' SIZE: 8 CONST
Integral type SIGNED 'const signed short int' SIZE: 2 CONST
Integral type UNSIGNED 'const unsigned char' SIZE: 1 CONST
Integral type UNSIGNED 'const unsigned int' SIZE: 4 CONST
Integral type UNSIGNED 'const unsigned long int' SIZE: 8 CONST
Integral type UNSIGNED 'const unsigned long long int' SIZE: 8 CONST
Integral type UNSIGNED 'const unsigned short int' SIZE: 2 CONST
Floating type 'double' SIZE: 8
Floating type 'float' SIZE: 4
Floating type 'long double' SIZE: 16
Integral type SIGNED 'signed char' SIZE: 1
Integral type SIGNED 'signed int' SIZE: 4
Integral type SIGNED 'signed long int' SIZE: 8
Integral type SIGNED 'signed long long int' SIZE: 8
Integral type SIGNED 'signed short int' SIZE: 2
Integral type UNSIGNED 'unsigned char' SIZE: 1
Integral type UNSIGNED 'unsigned int' SIZE: 4
Integral type UNSIGNED 'unsigned long int' SIZE: 8
Integral type UNSIGNED 'unsigned long long int' SIZE: 8
Integral type UNSIGNED 'unsigned short int' SIZE: 2
}
VARIABLE ENTRIES {
ENTRY IMR.SUT.the_safety_injection_system.the_safety_injection_system.Initial {
Bool type 'bool' SIZE: 1

}
ENTRY IMR.SUT.the_safety_injection_system.the_safety_injection_system.the_safety_injection_system_L0 {
Bool type 'bool' SIZE: 1

}
ENTRY IMR._old_the_blockage_sensor {
ATTRIBUTE _old_the_blockage_sensor {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR._old_the_pressure_mode {
ATTRIBUTE _old_the_pressure_mode {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 2
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR._old_the_reset_sensor {
ATTRIBUTE _old_the_reset_sensor {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR._old_the_water_pressure {
ATTRIBUTE _old_the_water_pressure {
SYMBOLTYPE: GlobalVar
TYPE: int
INITVALUE: 0
LOWERBOUND: -100
UPPERBOUND: 100
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR.the_blockage_sensor {
ATTRIBUTE the_blockage_sensor {
SYMBOLTYPE: InputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR.the_overridden_mode {
ATTRIBUTE the_overridden_mode {
SYMBOLTYPE: OutputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR.the_pressure_mode {
ATTRIBUTE the_pressure_mode {
SYMBOLTYPE: OutputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 2
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR.the_reset_sensor {
ATTRIBUTE the_reset_sensor {
SYMBOLTYPE: InputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR.the_safety_injection_mode {
ATTRIBUTE the_safety_injection_mode {
SYMBOLTYPE: OutputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: 0
UPPERBOUND: 1
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY IMR.the_water_pressure {
ATTRIBUTE the_water_pressure {
SYMBOLTYPE: InputVar
TYPE: int
INITVALUE: 0
LOWERBOUND: -100
UPPERBOUND: 100
TOLERANCE: 0
}
Integral type SIGNED 'signed int' SIZE: 4

}
ENTRY _timeTick {
Clock type 'clock' SIZE: 0

}
}