Source files
Mapping profiles
TORINO grounded verification · testcase
VMMP conservative · requirement
Import history
| File | Kind | Rows | Checksum |
|---|---|---|---|
| VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsx | requirement | 96 | 6c313a49d7cf |
| VME-PROD-VehicleMotionManagement - VMMP.xlsx | requirement | 297 | dcdcc7aa02b4 |
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_ASM.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 102 | 16646681.0 | Functional | Released | yes | True | IF [1]: 1) Dyn4IdEveTyp = 1 THEN: ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig ELSE: ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdIF [1]: 1) Dyn4IdEveTyp = 1 THEN: ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig ELSE: ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve remark: 1- if the condition is "true" even at the simulation start, the output should be triggered accordingly. 2- If the condition is toggling (true/false), then trigger at output should trigger accordingly Raw{
"ID": "16646681.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig\n\rELSE:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the condition is \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the condition is toggling (true/false), then trigger at output should trigger accordingly",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1256001.0",
"Description": "IF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig\n\rELSE:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the condition is \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the condition is toggling (true/false), then trigger at output should trigger accordingly",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 103 | 16646682.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Dyn4Dat calculationDyn4Dat calculation Raw{
"ID": "16646682.0",
"ASIL": " ",
"Text": "Dyn4Dat calculation",
"Type": "Folder",
"Status": "",
"Summary": "Dyn4Dat calculation",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1255329.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 104 | 16646683.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise. Raw{
"ID": "16646683.0",
"ASIL": " ",
"Text": "Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1416661.0",
"Description": "Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 105 | 16646684.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2)]: 1) LOCAA_s_LgtCtlA_FlgAcv = 1 2) LOCAA_s_LgtLimA_FlgAcv = 1 THEN: ADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_IF [AND(1,2)]: 1) LOCAA_s_LgtCtlA_FlgAcv = 1 2) LOCAA_s_LgtLimA_FlgAcv = 1 THEN: ADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_s_LgtLimA_ADmd) ELSEIF [3]: 3) LOCAA_s_LgtCtlA_FlgAcv = 1 THEN: ADmd1 = LOCADSL_s_LgtCtlA_ADmd ELSEIF [4]: 4) LOCAA_s_LgtLimA_FlgAcv = 1 THEN: ADmd1 = LOCADSL_s_LgtLimA_ADmd ELSE: ADmd1 = 0 ADm1_Prod = ADmd1*0.5-14 (where the product result is boundered between [-14 10]) ADmd = first 6 bits of ADm1_Prod Convert the input signal to Uint8 before shifting Raw{
"ID": "16646684.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]:\n\r1) LOCAA_s_LgtCtlA_FlgAcv = 1\n\r2) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_s_LgtLimA_ADmd)\n\rELSEIF [3]:\n\r3) LOCAA_s_LgtCtlA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = LOCADSL_s_LgtCtlA_ADmd\n\rELSEIF [4]:\n\r4) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN: \n\rADmd1 = LOCADSL_s_LgtLimA_ADmd\n\rELSE: \n\rADmd1 = 0\n\rADm1_Prod = ADmd1*0.5-14 (where the product result is boundered between [-14 10])\n\rADmd = first 6 bits of ADm1_Prod\n\r \n\r\n\rConvert the input signal to Uint8 before shifting",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256003.0",
"Description": "IF [AND(1,2)]:\n\r1) LOCAA_s_LgtCtlA_FlgAcv = 1\n\r2) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_s_LgtLimA_ADmd)\n\rELSEIF [3]:\n\r3) LOCAA_s_LgtCtlA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = LOCADSL_s_LgtCtlA_ADmd\n\rELSEIF [4]:\n\r4) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN: \n\rADmd1 = LOCADSL_s_LgtLimA_ADmd\n\rELSE: \n\rADmd1 = 0\n\rADm1_Prod = ADmd1*0.5-14 (where the product result is boundered between [-14 10])\n\rADmd = first 6 bits of ADm1_Prod\n\r \n\r\n\rConvert the input signal to Uint8 before shifting",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 106 | 16646685.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000]) TqWhlDmd1TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000]) TqWhlDmd1 = the first 5 bits of TqWhlDmd shifted on 6 bits to left ( Convert the input signal to Uint16 before shifting) TqWhlDmd2 = the first 5 bits of TqWhlDmd shifted on 2 bits to right (Convert the input signal to Uint8 before shifting) Raw{
"ID": "16646685.0",
"ASIL": " QM",
"Text": "TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000])\n\rTqWhlDmd1 = the first 5 bits of TqWhlDmd shifted on 6 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rTqWhlDmd2 = the first 5 bits of TqWhlDmd shifted on 2 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256005.0",
"Description": "TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000])\n\rTqWhlDmd1 = the first 5 bits of TqWhlDmd shifted on 6 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rTqWhlDmd2 = the first 5 bits of TqWhlDmd shifted on 2 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 107 | 16646686.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000]) TqWhlPTReq = the first 5 bits of AIPTAIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000]) TqWhlPTReq = the first 5 bits of AIPT_Prod shifted on 3 bits to left Convert the input signal to Uint8 before shifting Raw{
"ID": "16646686.0",
"ASIL": " QM",
"Text": "AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000])\n\rTqWhlPTReq = the first 5 bits of AIPT_Prod shifted on 3 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256007.0",
"Description": "AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000])\n\rTqWhlPTReq = the first 5 bits of AIPT_Prod shifted on 3 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 108 | 16646687.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000]) Convert the input signal to UinDSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000]) Convert the input signal to Uint8 before shifting BrkPed_TqWhlReq = the first 5 bits of DSO_Prod Raw{
"ID": "16646687.0",
"ASIL": " QM",
"Text": "DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000])\n\r \n\rConvert the input signal to Uint8 before shifting\n\rBrkPed_TqWhlReq = the first 5 bits of DSO_Prod",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256009.0",
"Description": "DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000])\n\r \n\rConvert the input signal to Uint8 before shifting\n\rBrkPed_TqWhlReq = the first 5 bits of DSO_Prod",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 109 | 16646688.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255]) VLgtVehNrm1 = the first 8 bitVLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255]) VLgtVehNrm1 = the first 8 bits of VLgtVehNrm shifted on 5 bits to left ( Convert the input signal to Uint16 before shifting) VLgtVehNrm2 = the first 8 bits of VLgtVehNrm shifted on 3 bits to right (Convert the input signal to Uint8 before shifting) Raw{
"ID": "16646688.0",
"ASIL": " QM",
"Text": "VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255])\n\rVLgtVehNrm1 = the first 8 bits of VLgtVehNrm shifted on 5 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rVLgtVehNrm2 = the first 8 bits of VLgtVehNrm shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256011.0",
"Description": "VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255])\n\rVLgtVehNrm1 = the first 8 bits of VLgtVehNrm shifted on 5 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rVLgtVehNrm2 = the first 8 bits of VLgtVehNrm shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 110 | 16646689.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100]) DrvPed_PrctPed1 = the first 6 bitDrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100]) DrvPed_PrctPed1 = the first 6 bits of DrvPed_Prod shifted on 5 bits to left (Convert the input signal to Uint16 before shifting) DrvPed_PrctPed2 = the first 6 bits of DrvPed_Prod shifted on 3 bits to right (Convert the input signal to Uint8 before shifting) Raw{
"ID": "16646689.0",
"ASIL": " QM",
"Text": "DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100])\n\rDrvPed_PrctPed1 = the first 6 bits of DrvPed_Prod shifted on 5 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rDrvPed_PrctPed2 = the first 6 bits of DrvPed_Prod shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256013.0",
"Description": "DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100])\n\rDrvPed_PrctPed1 = the first 6 bits of DrvPed_Prod shifted on 5 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rDrvPed_PrctPed2 = the first 6 bits of DrvPed_Prod shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 111 | 16646690.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276] TqWhlBrkDes1 = theAITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276] TqWhlBrkDes1 = the first 7 bits of AITV_Prod shifted on 3 bits to left (Convert the input signal to Uint16 before shifting) TqWhlBrkDes2 = the first 7 bits of AITV_Prod shifted on 5 bits to right (Convert the input signal to Uint8 before shifting) Raw{
"ID": "16646690.0",
"ASIL": " QM",
"Text": "AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276]\n\rTqWhlBrkDes1 = the first 7 bits of AITV_Prod shifted on 3 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rTqWhlBrkDes2 = the first 7 bits of AITV_Prod shifted on 5 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256015.0",
"Description": "AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276]\n\rTqWhlBrkDes1 = the first 7 bits of AITV_Prod shifted on 3 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rTqWhlBrkDes2 = the first 7 bits of AITV_Prod shifted on 5 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 112 | 16646691.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100]) StgPrf = the first 5 bits of EPS_Prod shifted oEPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100]) StgPrf = the first 5 bits of EPS_Prod shifted on 2 bits to left Convert the input signal to Uint8 before shifting Raw{
"ID": "16646691.0",
"ASIL": " QM",
"Text": "EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100])\n\rStgPrf = the first 5 bits of EPS_Prod shifted on 2 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256036.0",
"Description": "EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100])\n\rStgPrf = the first 5 bits of EPS_Prod shifted on 2 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 113 | 16646692.0 | Functional | Released | yes | True | Before bitwise operations, the values should be converted to Uint8 Val1 = BitwiseOR (ADmd, TqWhlDmd1) Val2 = BitwiseOR (TqWhlDmdBefore bitwise operations, the values should be converted to Uint8 Val1 = BitwiseOR (ADmd, TqWhlDmd1) Val2 = BitwiseOR (TqWhlDmd2, TqWhlPTReq) Val3 = BitwiseOR (BrkPed_TqWhlReq, VLgtVehNrm1) Val4 = BitwiseOR (VLgtVehNrm2, DrvPed_PrctPed1) Val5 = BitwiseOR (DrvPed_PrctPed2, TqWhlBrkDes1) Val6 = BitwiseOR (TqWhlBrkDes2, StgPrf) IF [1]: 1) Dyn4IdEveTyp = 1 THEN: ASM_s1_Dyn4Dat = [Val1, Val2, Val3, Val4, Val5, Val6] ELSE: ASM_s1_Dyn4Dat = 0 Raw{
"ID": "16646692.0",
"ASIL": " QM",
"Text": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (ADmd, TqWhlDmd1)\n\rVal2 = BitwiseOR (TqWhlDmd2, TqWhlPTReq)\n\rVal3 = BitwiseOR (BrkPed_TqWhlReq, VLgtVehNrm1)\n\rVal4 = BitwiseOR (VLgtVehNrm2, DrvPed_PrctPed1)\n\rVal5 = BitwiseOR (DrvPed_PrctPed2, TqWhlBrkDes1)\n\rVal6 = BitwiseOR (TqWhlBrkDes2, StgPrf)\n\rIF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s1_Dyn4Dat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_Dyn4Dat = 0",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1256067.0",
"Description": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (ADmd, TqWhlDmd1)\n\rVal2 = BitwiseOR (TqWhlDmd2, TqWhlPTReq)\n\rVal3 = BitwiseOR (BrkPed_TqWhlReq, VLgtVehNrm1)\n\rVal4 = BitwiseOR (VLgtVehNrm2, DrvPed_PrctPed1)\n\rVal5 = BitwiseOR (DrvPed_PrctPed2, TqWhlBrkDes1)\n\rVal6 = BitwiseOR (TqWhlBrkDes2, StgPrf)\n\rIF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s1_Dyn4Dat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_Dyn4Dat = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 114 | 16646693.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | StaticStatic Raw{
"ID": "16646693.0",
"ASIL": " ",
"Text": "Static",
"Type": "Folder",
"Status": "",
"Summary": "Static",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1254881.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 115 | 16646694.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *valThe output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val2, *val3, *val4, *val5, *val6] Each element of this array is computed separately with the merged function BitwiseOr. Raw{
"ID": "16646694.0",
"ASIL": " ",
"Text": "The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val2, *val3, *val4, *val5, *val6]\n\rEach element of this array is computed separately with the merged function BitwiseOr.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256076.0",
"Description": "The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val2, *val3, *val4, *val5, *val6]\n\rEach element of this array is computed separately with the merged function BitwiseOr.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 116 | 16646695.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Stat_IdEveTyp calculationStat_IdEveTyp calculation Raw{
"ID": "16646695.0",
"ASIL": " ",
"Text": "Stat_IdEveTyp calculation",
"Type": "Folder",
"Status": "",
"Summary": "Stat_IdEveTyp calculation",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1255331.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 117 | 16646696.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7 IF [1]: 1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1) THEvalid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7 IF [1]: 1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1) THEN: StatIdEveTyp1 = 1 ELSE: StatIdEveTyp1 = 0 Raw{
"ID": "16646696.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp1 = 1\n\rELSE:\n\rStatIdEveTyp1 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256078.0",
"Description": "valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp1 = 1\n\rELSE:\n\rStatIdEveTyp1 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 118 | 16646697.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7 IF [1]: 1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1) THEN:valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7 IF [1]: 1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1) THEN: StatIdEveTyp2 = 1 ELSE: StatIdEveTyp2 = 0 Raw{
"ID": "16646697.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp2 = 1\n\rELSE:\n\rStatIdEveTyp2 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256080.0",
"Description": "valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp2 = 1\n\rELSE:\n\rStatIdEveTyp2 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 119 | 16646698.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7 IF [1]: 1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1) THEN: StatIvalid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7 IF [1]: 1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1) THEN: StatIdEveTyp3 = 1 ELSE: StatIdEveTyp3 = 0 Raw{
"ID": "16646698.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp3 = 1\n\rELSE:\n\rStatIdEveTyp3 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256082.0",
"Description": "valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp3 = 1\n\rELSE:\n\rStatIdEveTyp3 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 120 | 16646699.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7 IF [1]: 1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1) THEvalid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7 IF [1]: 1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1) THEN: StatIdEveTyp4 = 1 ELSE: StatIdEveTyp4 = 0 Raw{
"ID": "16646699.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1)\n\rTHEN:\n\rStatIdEveTyp4 = 1\n\rELSE:\n\rStatIdEveTyp4 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256084.0",
"Description": "valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1)\n\rTHEN:\n\rStatIdEveTyp4 = 1\n\rELSE:\n\rStatIdEveTyp4 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 121 | 16646700.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7) remark: a switch between values into brackets doesn't lead to a trigger.valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7) remark: a switch between values into brackets doesn't lead to a trigger. IF [1]: 1) ASOAF_s_StEscOpm(k) != ASOAF_s_StEscOpm(k-1) THEN: StatIdEveTyp5 = 1 ELSE: StatIdEveTyp5 = 0 Raw{
"ID": "16646700.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7)\n\rremark: a switch between values into brackets doesn't lead to a trigger.\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEscOpm(k) != ASOAF_s_StEscOpm(k-1)\n\rTHEN:\n\rStatIdEveTyp5 = 1\n\rELSE:\n\rStatIdEveTyp5 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256086.0",
"Description": "valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7)\n\rremark: a switch between values into brackets doesn't lead to a trigger.\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEscOpm(k) != ASOAF_s_StEscOpm(k-1)\n\rTHEN:\n\rStatIdEveTyp5 = 1\n\rELSE:\n\rStatIdEveTyp5 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 122 | 16646701.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7 IF [1]: 1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvalid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7 IF [1]: 1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvl(k-1) THEN: StatIdEveTyp6 = 1 ELSE: StatIdEveTyp6 = 0 Raw{
"ID": "16646701.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp6 = 1\n\rELSE:\n\rStatIdEveTyp6 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256088.0",
"Description": "valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp6 = 1\n\rELSE:\n\rStatIdEveTyp6 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 123 | 16646702.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3 IF [1]: 1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLovalid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3 IF [1]: 1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLock_StCpbPrkLockUnit(k-1) THEN: StatIdEveTyp7 = 1 ELSE: StatIdEveTyp7 = 0 Raw{
"ID": "16646702.0",
"ASIL": " QM",
"Text": "valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLock_StCpbPrkLockUnit(k-1)\n\rTHEN:\n\rStatIdEveTyp7 = 1\n\rELSE:\n\rStatIdEveTyp7 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256090.0",
"Description": "valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLock_StCpbPrkLockUnit(k-1)\n\rTHEN:\n\rStatIdEveTyp7 = 1\n\rELSE:\n\rStatIdEveTyp7 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 124 | 16646703.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15 IF [1]: 1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1) THEN: StatIdEvevalid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15 IF [1]: 1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1) THEN: StatIdEveTyp8 = 1 ELSE: StatIdEveTyp8 = 0 Raw{
"ID": "16646703.0",
"ASIL": " QM",
"Text": "valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1)\n\rTHEN:\n\rStatIdEveTyp8 = 1\n\rELSE:\n\rStatIdEveTyp8 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256092.0",
"Description": "valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1)\n\rTHEN:\n\rStatIdEveTyp8 = 1\n\rELSE:\n\rStatIdEveTyp8 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 125 | 16646704.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 IF [1]: 1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1) THEN:valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 IF [1]: 1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1) THEN: StatIdEveTyp9 = 1 ELSE: StatIdEveTyp9 = 0 Raw{
"ID": "16646704.0",
"ASIL": " QM",
"Text": "valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\n\r \n\r\n\rIF [1]:\n\r1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1)\n\rTHEN:\n\rStatIdEveTyp9 = 1\n\rELSE:\n\rStatIdEveTyp9 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256094.0",
"Description": "valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\n\r \n\r\n\rIF [1]:\n\r1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1)\n\rTHEN:\n\rStatIdEveTyp9 = 1\n\rELSE:\n\rStatIdEveTyp9 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 126 | 16646705.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7 IF [1]: 1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1) THEN: Stvalid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7 IF [1]: 1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1) THEN: StatIdEveTyp10 = 1 ELSE: StatIdEveTyp10 = 0 Raw{
"ID": "16646705.0",
"ASIL": " QM",
"Text": "valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1)\n\rTHEN:\n\rStatIdEveTyp10 = 1\n\rELSE:\n\rStatIdEveTyp10 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256096.0",
"Description": "valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1)\n\rTHEN:\n\rStatIdEveTyp10 = 1\n\rELSE:\n\rStatIdEveTyp10 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 127 | 16646706.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7 IF [1]: 1) EPS_s_StSys(k) != EPS_s_StSys(k-1) THEN: StatIdEveTyp11 = 1valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7 IF [1]: 1) EPS_s_StSys(k) != EPS_s_StSys(k-1) THEN: StatIdEveTyp11 = 1 ELSE: StatIdEveTyp11 = 0 Raw{
"ID": "16646706.0",
"ASIL": " QM",
"Text": "valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StSys(k) != EPS_s_StSys(k-1)\n\rTHEN:\n\rStatIdEveTyp11 = 1\n\rELSE:\n\rStatIdEveTyp11 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256098.0",
"Description": "valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StSys(k) != EPS_s_StSys(k-1)\n\rTHEN:\n\rStatIdEveTyp11 = 1\n\rELSE:\n\rStatIdEveTyp11 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 128 | 16646707.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7 IF [1]: 1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1) THEN: StatIdEvvalid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7 IF [1]: 1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1) THEN: StatIdEveTyp12 = 1 ELSE: StatIdEveTyp12 = 0 Raw{
"ID": "16646707.0",
"ASIL": " QM",
"Text": "valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp12 = 1\n\rELSE:\n\rStatIdEveTyp12 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256100.0",
"Description": "valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp12 = 1\n\rELSE:\n\rStatIdEveTyp12 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 129 | 16646708.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7 IF [1]: 1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1) THEN: StatIdEvvalid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7 IF [1]: 1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1) THEN: StatIdEveTyp13 = 1 ELSE: StatIdEveTyp13 = 0 Raw{
"ID": "16646708.0",
"ASIL": " QM",
"Text": "valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp13 = 1\n\rELSE:\n\rStatIdEveTyp13 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256102.0",
"Description": "valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp13 = 1\n\rELSE:\n\rStatIdEveTyp13 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 130 | 16646709.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7 IF [1]: 1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7 IF [1]: 1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1) THEN: StatIdEveTyp14 = 1 ELSE: StatIdEveTyp14 = 0 Raw{
"ID": "16646709.0",
"ASIL": " QM",
"Text": "valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp14 = 1\n\rELSE:\n\rStatIdEveTyp14 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256104.0",
"Description": "valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp14 = 1\n\rELSE:\n\rStatIdEveTyp14 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 131 | 19013135.0 | Functional | Released | yes | True | StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14) IF [OR(1,2,3)]: 1) StatIdEveTyp = 1 2) Edge rising detecteStatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14) IF [OR(1,2,3)]: 1) StatIdEveTyp = 1 2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1) THEN: ASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig ELSE: ASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypNoEve remark: 1- if the conditions are "true" even at the simulation start, the output should be triggered accordingly. 2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly Raw{
"ID": "19013135.0",
"ASIL": " QM",
"Text": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 132 | 16646710.0 | Functional | Released | yes | True | StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14) IF [OR(1,2,3)]: 1) StatIdEveTyp = 1 2) Edge rising detecteStatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14) IF [OR(1,2,3)]: 1) StatIdEveTyp = 1 2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1) 3) 0.01*VMMP_ASM_p_TiDlyPwrLvl later after Edge rising detection (VSOVD_s_VehPwrLvl changed from 0 to 1) THEN: ASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig ELSE: ASM_s_Stat_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve remark: 1- if the conditions are "true" even at the simulation start, the output should be triggered accordingly. 2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly Raw{
"ID": "16646710.0",
"ASIL": " QM",
"Text": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\r3) 0.01*VMMP_ASM_p_TiDlyPwrLvl later after Edge rising detection (VSOVD_s_VehPwrLvl changed from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1256117.0",
"Description": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\r3) 0.01*VMMP_ASM_p_TiDlyPwrLvl later after Edge rising detection (VSOVD_s_VehPwrLvl changed from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 133 | 16646711.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | StatDat calculationStatDat calculation Raw{
"ID": "16646711.0",
"ASIL": " ",
"Text": "StatDat calculation",
"Type": "Folder",
"Status": "",
"Summary": "StatDat calculation",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1255333.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 134 | 16646712.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise. Raw{
"ID": "16646712.0",
"ASIL": " ",
"Text": "Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1416683.0",
"Description": "Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 135 | 16646713.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_StAntiLockCtl = 0 THEN: StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StAntiLIF [1]: 1) ASOAF_s_StAntiLockCtl = 0 THEN: StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StAntiLockCtl = 1 THEN: StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlTlrInc ELSEIF [3]: 3) ASOAF_s_StAntiLockCtl = 3 THEN: StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlRdcPrf ELSEIF [3]: 3) ASOAF_s_StAntiLockCtl = 7 THEN: StAntiLockCtl1 = 4 ELSE: StAntiLockCtl1 = 3 StAntiLockCtl = first 2 bits of StAntiLockCtl1 Raw{
"ID": "16646713.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_StAntiLockCtl = 0\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StAntiLockCtl = 1\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 3\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlRdcPrf\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 7\n\rTHEN:\n\rStAntiLockCtl1 = 4\n\rELSE:\n\rStAntiLockCtl1 = 3\n\rStAntiLockCtl = first 2 bits of StAntiLockCtl1",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256136.0",
"Description": "IF [1]:\n\r1) ASOAF_s_StAntiLockCtl = 0\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StAntiLockCtl = 1\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 3\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlRdcPrf\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 7\n\rTHEN:\n\rStAntiLockCtl1 = 4\n\rELSE:\n\rStAntiLockCtl1 = 3\n\rStAntiLockCtl = first 2 bits of StAntiLockCtl1",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 136 | 16646714.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_StVehDynCtl = 0 THEN: StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StVehDynCtlIF [1]: 1) ASOAF_s_StVehDynCtl = 0 THEN: StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StVehDynCtl = 1 THEN: StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlTlrInc ELSEIF [3]: 3) ASOAF_s_StVehDynCtl = 2 THEN: StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlSwtOff ELSEIF [4]: 4) ASOAF_s_StVehDynCtl = 5 THEN: StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlNotAvl ELSEIF [5]: 5) ASOAF_s_StVehDynCtl = 7 THEN: StVertDynCtl1 = 5 ELSE: StVertDynCtl1 = 4 StVertDynCtl = the first 2 bits of StVertDynCtl1 shifted on 2 bits to left Raw{
"ID": "16646714.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_StVehDynCtl = 0\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StVehDynCtl = 1\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StVehDynCtl = 2\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StVehDynCtl = 5\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StVehDynCtl = 7\n\rTHEN:\n\rStVertDynCtl1 = 5\n\rELSE:\n\rStVertDynCtl1 = 4\n\rStVertDynCtl = the first 2 bits of StVertDynCtl1 shifted on 2 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256138.0",
"Description": "IF [1]:\n\r1) ASOAF_s_StVehDynCtl = 0\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StVehDynCtl = 1\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StVehDynCtl = 2\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StVehDynCtl = 5\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StVehDynCtl = 7\n\rTHEN:\n\rStVertDynCtl1 = 5\n\rELSE:\n\rStVertDynCtl1 = 4\n\rStVertDynCtl = the first 2 bits of StVertDynCtl1 shifted on 2 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 137 | 16646715.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_StEngDrgCtl = 0 THEN: StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StEngDrgCtl =IF [1]: 1) ASOAF_s_StEngDrgCtl = 0 THEN: StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StEngDrgCtl = 1 THEN: StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlTlrInc ELSEIF [3]: 3) ASOAF_s_StEngDrgCtl = 3 THEN: StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlRdcPrf ELSE: StEngDrgClt1 = 3 StEngDrgClt = the first 2 bits of StEngDrgClt1 shifted on 4 bits to left Raw{
"ID": "16646715.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_StEngDrgCtl = 0\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StEngDrgCtl = 1\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StEngDrgCtl = 3\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlRdcPrf\n\rELSE:\n\rStEngDrgClt1 = 3\n\rStEngDrgClt = the first 2 bits of StEngDrgClt1 shifted on 4 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256142.0",
"Description": "IF [1]:\n\r1) ASOAF_s_StEngDrgCtl = 0\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StEngDrgCtl = 1\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StEngDrgCtl = 3\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlRdcPrf\n\rELSE:\n\rStEngDrgClt1 = 3\n\rStEngDrgClt = the first 2 bits of StEngDrgClt1 shifted on 4 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 138 | 16646716.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_StTracCtlSys = 0 THEN: StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StTracCtlSIF [1]: 1) ASOAF_s_StTracCtlSys = 0 THEN: StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StTracCtlSys = 1 THEN: StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlTlrInc ELSEIF [3]: 3) ASOAF_s_StTracCtlSys = 2 THEN: StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlSwtOff ELSEIF [4]: 4) ASOAF_s_StTracCtlSys = 5 THEN: StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysNotAvl ELSEIF [5]: 5) ASOAF_s_StTracCtlSys = 7 THEN: StTracCtlSys1 = 5 ELSE: StTracCtlSys1 = 4 StTracCtlSys = the first 3 bits of StTracCtlSys1 shifted on 6 bits to left Raw{
"ID": "16646716.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_StTracCtlSys = 0\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StTracCtlSys = 1\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StTracCtlSys = 2\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StTracCtlSys = 5\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StTracCtlSys = 7\n\rTHEN:\n\rStTracCtlSys1 = 5\n\rELSE:\n\rStTracCtlSys1 = 4\n\rStTracCtlSys = the first 3 bits of StTracCtlSys1 shifted on 6 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256144.0",
"Description": "IF [1]:\n\r1) ASOAF_s_StTracCtlSys = 0\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StTracCtlSys = 1\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StTracCtlSys = 2\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StTracCtlSys = 5\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StTracCtlSys = 7\n\rTHEN:\n\rStTracCtlSys1 = 5\n\rELSE:\n\rStTracCtlSys1 = 4\n\rStTracCtlSys = the first 3 bits of StTracCtlSys1 shifted on 6 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 139 | 16646717.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_StEscOpm = 0 THEN: StEscOpm1 = VMMP_ASM_c_StEscOpmMd0 ELSEIF [2]: 2) ASOAF_s_StEscOpm = 1 THEN: StEscOpmIF [1]: 1) ASOAF_s_StEscOpm = 0 THEN: StEscOpm1 = VMMP_ASM_c_StEscOpmMd0 ELSEIF [2]: 2) ASOAF_s_StEscOpm = 1 THEN: StEscOpm1 = VMMP_ASM_c_StEscOpmMd1 ELSEIF [3]: 3) ASOAF_s_StEscOpm = 2 THEN: StEscOpm1 = VMMP_ASM_c_StEscOpmMd2 ELSE: StEscOpm1 = 3 StEscOpm = the first 2 bits of StEscOpm1 Raw{
"ID": "16646717.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_StEscOpm = 0\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd0\n\rELSEIF [2]:\n\r2) ASOAF_s_StEscOpm = 1\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd1\n\rELSEIF [3]:\n\r3) ASOAF_s_StEscOpm = 2\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd2\n\rELSE:\n\rStEscOpm1 = 3\n\rStEscOpm = the first 2 bits of StEscOpm1",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256146.0",
"Description": "IF [1]:\n\r1) ASOAF_s_StEscOpm = 0\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd0\n\rELSEIF [2]:\n\r2) ASOAF_s_StEscOpm = 1\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd1\n\rELSEIF [3]:\n\r3) ASOAF_s_StEscOpm = 2\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd2\n\rELSE:\n\rStEscOpm1 = 3\n\rStEscOpm = the first 2 bits of StEscOpm1",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 140 | 16646718.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_EPBActrCtl_StAvl = 0 THEN: EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl ELSEIF [2]: 2) ASOAF_s_EPIF [1]: 1) ASOAF_s_EPBActrCtl_StAvl = 0 THEN: EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl ELSEIF [2]: 2) ASOAF_s_EPBActrCtl_StAvl = 1 THEN: EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlRlsOnly ELSEIF [3]: 3) ASOAF_s_EPBActrCtl_StAvl = 2 THEN: EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyOnly ELSEIF [4]: 4) ASOAF_s_EPBActrCtl_StAvl = 3 THEN: EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyRls ELSEIF [5]: 5) ASOAF_s_EPBActrCtl_StAvl = 7 THEN: EPBActrCtl_StAvl1 = 5 ELSE: EPBActrCtl_StAvl1 = 4 EPBActrCtl_StAvl = the first 2 bits of EPBActrCtl_StAvl1 shifted on 2 bits to left Raw{
"ID": "16646718.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl = 0\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_EPBActrCtl_StAvl = 1\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlRlsOnly\n\rELSEIF [3]:\n\r3) ASOAF_s_EPBActrCtl_StAvl = 2\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyOnly\n\rELSEIF [4]:\n\r4) ASOAF_s_EPBActrCtl_StAvl = 3\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyRls\n\rELSEIF [5]:\n\r5) ASOAF_s_EPBActrCtl_StAvl = 7\n\rTHEN:\n\rEPBActrCtl_StAvl1 = 5\n\rELSE:\n\rEPBActrCtl_StAvl1 = 4\n\rEPBActrCtl_StAvl = the first 2 bits of EPBActrCtl_StAvl1 shifted on 2 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256148.0",
"Description": "IF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl = 0\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_EPBActrCtl_StAvl = 1\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlRlsOnly\n\rELSEIF [3]:\n\r3) ASOAF_s_EPBActrCtl_StAvl = 2\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyOnly\n\rELSEIF [4]:\n\r4) ASOAF_s_EPBActrCtl_StAvl = 3\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyRls\n\rELSEIF [5]:\n\r5) ASOAF_s_EPBActrCtl_StAvl = 7\n\rTHEN:\n\rEPBActrCtl_StAvl1 = 5\n\rELSE:\n\rEPBActrCtl_StAvl1 = 4\n\rEPBActrCtl_StAvl = the first 2 bits of EPBActrCtl_StAvl1 shifted on 2 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 141 | 16646719.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0 THEN: StCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl ELSEIF [2]:IF [1]: 1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0 THEN: StCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl ELSEIF [2]: 2) ASOAF_s_PrkLock_StCpbPrkLockUnit = 1 THEN: StCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitAvl ELSEIF [3]: 3) ASOAF_s_PrkLock_StCpbPrkLockUnit = 3 THEN: StCpbPrkLockUnit1 = 3 ELSE: StCpbPrkLockUnit1 = 2 StCpbPrkLockUnit = the 1st bit of StCpbPrkLockUnit1 shifted on 4 bits to left Raw{
"ID": "16646719.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_PrkLock_StCpbPrkLockUnit = 1\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitAvl\n\rELSEIF [3]:\n\r3) ASOAF_s_PrkLock_StCpbPrkLockUnit = 3\n\rTHEN:\n\rStCpbPrkLockUnit1 = 3\n\rELSE:\n\rStCpbPrkLockUnit1 = 2\n\rStCpbPrkLockUnit = the 1st bit of StCpbPrkLockUnit1 shifted on 4 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256151.0",
"Description": "IF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_PrkLock_StCpbPrkLockUnit = 1\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitAvl\n\rELSEIF [3]:\n\r3) ASOAF_s_PrkLock_StCpbPrkLockUnit = 3\n\rTHEN:\n\rStCpbPrkLockUnit1 = 3\n\rELSE:\n\rStCpbPrkLockUnit1 = 2\n\rStCpbPrkLockUnit = the 1st bit of StCpbPrkLockUnit1 shifted on 4 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 142 | 16646720.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12 THEN: StQFK = VMMP_ASM_c_StQFKDeac ELSEIF [2]: 2) EPS_s_StQFK = 1 THEN: StQFKIF [1]: 1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12 THEN: StQFK = VMMP_ASM_c_StQFKDeac ELSEIF [2]: 2) EPS_s_StQFK = 1 THEN: StQFK = VMMP_ASM_c_StQFKIni ELSEIF [3]: 3) EPS_s_StQFK = 2 THEN: StQFK = VMMP_ASM_c_StQFKRdy ELSEIF [4]: 4) EPS_s_StQFK = 3 THEN: StQFK = VMMP_ASM_c_StQFKLck ELSEIF [5]: 5) EPS_s_StQFK = 4 THEN: StQFK = VMMP_ASM_c_StQFKEngAcv ELSEIF [6]: 6) EPS_s_StQFK = 5 THEN: StQFK = VMMP_ASM_c_StQFKEngCncl ELSEIF [7]: 7) EPS_s_StQFK = 6 THEN: StQFK = VMMP_ASM_c_StQFKErrWithEnt ELSEIF [8]: 8) EPS_s_StQFK = 7 THEN: StQFK = VMMP_ASM_c_StQFKErrWoutEnt ELSEIF [9]: 9) EPS_s_StQFK = 8 THEN: StQFK = VMMP_ASM_c_StQFKRamp ELSEIF [10]: 10) EPS_s_StQFK = 12 THEN: StQFK = VMMP_ASM_c_StQFKEngLimDyn StQFK1 = the first 4 bits of StQFK shifted on 5 bits to left StQFK2 = the first 4 bits of StQFK shifted on 3 bits to right Raw{
"ID": "16646720.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKDeac\n\rELSEIF [2]:\n\r2) EPS_s_StQFK = 1\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKIni\n\rELSEIF [3]:\n\r3) EPS_s_StQFK = 2\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRdy\n\rELSEIF [4]:\n\r4) EPS_s_StQFK = 3\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKLck\n\rELSEIF [5]:\n\r5) EPS_s_StQFK = 4\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngAcv\n\rELSEIF [6]:\n\r6) EPS_s_StQFK = 5\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngCncl\n\rELSEIF [7]:\n\r7) EPS_s_StQFK = 6\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWithEnt\n\rELSEIF [8]:\n\r8) EPS_s_StQFK = 7\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWoutEnt\n\rELSEIF [9]:\n\r9) EPS_s_StQFK = 8\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRamp\n\rELSEIF [10]:\n\r10) EPS_s_StQFK = 12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngLimDyn\n\rStQFK1 = the first 4 bits of StQFK shifted on 5 bits to left\n\r \n\rStQFK2 = the first 4 bits of StQFK shifted on 3 bits to right",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256153.0",
"Description": "IF [1]:\n\r1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKDeac\n\rELSEIF [2]:\n\r2) EPS_s_StQFK = 1\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKIni\n\rELSEIF [3]:\n\r3) EPS_s_StQFK = 2\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRdy\n\rELSEIF [4]:\n\r4) EPS_s_StQFK = 3\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKLck\n\rELSEIF [5]:\n\r5) EPS_s_StQFK = 4\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngAcv\n\rELSEIF [6]:\n\r6) EPS_s_StQFK = 5\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngCncl\n\rELSEIF [7]:\n\r7) EPS_s_StQFK = 6\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWithEnt\n\rELSEIF [8]:\n\r8) EPS_s_StQFK = 7\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWoutEnt\n\rELSEIF [9]:\n\r9) EPS_s_StQFK = 8\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRamp\n\rELSEIF [10]:\n\r10) EPS_s_StQFK = 12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngLimDyn\n\rStQFK1 = the first 4 bits of StQFK shifted on 5 bits to left\n\r \n\rStQFK2 = the first 4 bits of StQFK shifted on 3 bits to right",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 143 | 16646721.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) HAL_s_SysSts = 1 THEN: SysSts = VMMP_ASM_c_SysStsIni ELSEIF [2]: 2) HAL_s_SysSts = 2 THEN: SysSty = VMMP_ASM_c_SIF [1]: 1) HAL_s_SysSts = 1 THEN: SysSts = VMMP_ASM_c_SysStsIni ELSEIF [2]: 2) HAL_s_SysSts = 2 THEN: SysSty = VMMP_ASM_c_SysStsIniStrtUp ELSEIF [3]: 3) HAL_s_SysSts = 3 THEN: SysSty = VMMP_ASM_c_SysStsRdyForOper ELSEIF [4]: 4) HAL_s_SysSts = 4 THEN: : SysSty = VMMP_ASM_c_SysStsAgCtlAcv ELSEIF [5]: 5) HAL_s_SysSts = 5 THEN: SysSty = VMMP_ASM_c_SysStsAnCtlOff ELSEIF [6]: 6) HAL_s_SysSts = 6 THEN: SysSty = VMMP_ASM_c_SysStsErrTmpRdy ELSEIF [7]: 7) HAL_s_SysSts = 7 THEN: SysSty = VMMP_ASM_c_SysStsErrTmpRtn ELSEIF [8]: 8) HAL_s_SysSts = 8 THEN: SysSty = VMMP_ASM_c_SysStsErrPermRtn ELSEIF [9]: 9) HAL_s_SysSts = 9 THEN: SysSty = VMMP_ASM_c_SysStsErrPermHldPosn ELSEIF [10]: 10) HAL_s_SysSts = 10 THEN: SysSty = VMMP_ASM_c_SysStsDerAcv ELSEIF [11]: 11) HAL_s_SysSts = 11 THEN: SysSty = VMMP_ASM_c_SysStsRIni ELSE: SysSts = VMMP_ASM_c_SysStsDiagAcv SysSts1 = the first 4 bits of SysSts shifted on 1 bit to left Raw{
"ID": "16646721.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) HAL_s_SysSts = 1\n\rTHEN:\n\rSysSts = VMMP_ASM_c_SysStsIni\n\rELSEIF [2]:\n\r2) HAL_s_SysSts = 2\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsIniStrtUp\n\rELSEIF [3]:\n\r3) HAL_s_SysSts = 3\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRdyForOper\n\rELSEIF [4]:\n\r4) HAL_s_SysSts = 4\n\rTHEN: :\n\rSysSty = VMMP_ASM_c_SysStsAgCtlAcv\n\rELSEIF [5]:\n\r5) HAL_s_SysSts = 5\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsAnCtlOff\n\rELSEIF [6]:\n\r6) HAL_s_SysSts = 6\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRdy\n\rELSEIF [7]:\n\r7) HAL_s_SysSts = 7\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRtn\n\rELSEIF [8]:\n\r8) HAL_s_SysSts = 8\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermRtn\n\rELSEIF [9]:\n\r9) HAL_s_SysSts = 9\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermHldPosn\n\rELSEIF [10]:\n\r10) HAL_s_SysSts = 10\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsDerAcv\n\rELSEIF [11]:\n\r11) HAL_s_SysSts = 11\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRIni\n\rELSE:\n\rSysSts = VMMP_ASM_c_SysStsDiagAcv\n\r \n\rSysSts1 = the first 4 bits of SysSts shifted on 1 bit to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256159.0",
"Description": "IF [1]:\n\r1) HAL_s_SysSts = 1\n\rTHEN:\n\rSysSts = VMMP_ASM_c_SysStsIni\n\rELSEIF [2]:\n\r2) HAL_s_SysSts = 2\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsIniStrtUp\n\rELSEIF [3]:\n\r3) HAL_s_SysSts = 3\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRdyForOper\n\rELSEIF [4]:\n\r4) HAL_s_SysSts = 4\n\rTHEN: :\n\rSysSty = VMMP_ASM_c_SysStsAgCtlAcv\n\rELSEIF [5]:\n\r5) HAL_s_SysSts = 5\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsAnCtlOff\n\rELSEIF [6]:\n\r6) HAL_s_SysSts = 6\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRdy\n\rELSEIF [7]:\n\r7) HAL_s_SysSts = 7\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRtn\n\rELSEIF [8]:\n\r8) HAL_s_SysSts = 8\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermRtn\n\rELSEIF [9]:\n\r9) HAL_s_SysSts = 9\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermHldPosn\n\rELSEIF [10]:\n\r10) HAL_s_SysSts = 10\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsDerAcv\n\rELSEIF [11]:\n\r11) HAL_s_SysSts = 11\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRIni\n\rELSE:\n\rSysSts = VMMP_ASM_c_SysStsDiagAcv\n\r \n\rSysSts1 = the first 4 bits of SysSts shifted on 1 bit to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 144 | 16646722.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) ESC_s_StBrkTqVect = 0 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl ELSEIF [2]: 2) ESC_s_StBrkTqVect = 1 THEN:IF [1]: 1) ESC_s_StBrkTqVect = 0 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl ELSEIF [2]: 2) ESC_s_StBrkTqVect = 1 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectRdcPrf ELSEIF [3]: 3) ESC_s_StBrkTqVect = 2 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectTmpNotAvl ELSEIF [4]: 4) ESC_s_StBrkTqVect = 3 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectNotAvl ELSEIF [5]: 5) ESC_s_StBrkTqVect = 4 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectLim ELSEIF [6]: 6) ESC_s_StBrkTqVect = 7 THEN: StBrkTqVect1 = 6 ELSE: StBrkTqVect1 = 5 StBrkTqVect = the first 3 bits of StBrkTqVect1 shifted on 5 bits to left Raw{
"ID": "16646722.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) ESC_s_StBrkTqVect = 0\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl\n\rELSEIF [2]:\n\r2) ESC_s_StBrkTqVect = 1\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectRdcPrf\n\rELSEIF [3]:\n\r3) ESC_s_StBrkTqVect = 2\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectTmpNotAvl\n\rELSEIF [4]:\n\r4) ESC_s_StBrkTqVect = 3\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectNotAvl\n\rELSEIF [5]:\n\r5) ESC_s_StBrkTqVect = 4\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectLim\n\rELSEIF [6]:\n\r6) ESC_s_StBrkTqVect = 7\n\rTHEN:\n\rStBrkTqVect1 = 6\n\rELSE:\n\rStBrkTqVect1 = 5\n\rStBrkTqVect = the first 3 bits of StBrkTqVect1 shifted on 5 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256161.0",
"Description": "IF [1]:\n\r1) ESC_s_StBrkTqVect = 0\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl\n\rELSEIF [2]:\n\r2) ESC_s_StBrkTqVect = 1\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectRdcPrf\n\rELSEIF [3]:\n\r3) ESC_s_StBrkTqVect = 2\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectTmpNotAvl\n\rELSEIF [4]:\n\r4) ESC_s_StBrkTqVect = 3\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectNotAvl\n\rELSEIF [5]:\n\r5) ESC_s_StBrkTqVect = 4\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectLim\n\rELSEIF [6]:\n\r6) ESC_s_StBrkTqVect = 7\n\rTHEN:\n\rStBrkTqVect1 = 6\n\rELSE:\n\rStBrkTqVect1 = 5\n\rStBrkTqVect = the first 3 bits of StBrkTqVect1 shifted on 5 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 145 | 16646723.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) EPS_s_StSys = 0 THEN: StSys1 = VMMP_ASM_c_EPSStSysFullSysAvl ELSEIF [2]: 2) EPS_s_StSys = 1 THEN: StSys1 = VMMP_IF [1]: 1) EPS_s_StSys = 0 THEN: StSys1 = VMMP_ASM_c_EPSStSysFullSysAvl ELSEIF [2]: 2) EPS_s_StSys = 1 THEN: StSys1 = VMMP_ASM_c_EPSStSysFullSysLim ELSEIF [3]: 3) EPS_s_StSys = 2 THEN: StSys1 = VMMP_ASM_c_EPSStSysBkLvlECU1Prim ELSEIF [4]: 4) EPS_s_StSys = 3 THEN: StSys1 = VMMP_ASM_c_EPSStSysBkLvlECU2Scnd ELSEIF [5]: 5) EPS_s_StSys = 4 THEN: StSys1 = VMMP_ASM_c_EPSStSysSysLos ELSEIF [6]: 6) EPS_s_StSys = 7 THEN: StSys1 = 6 ELSE: StSys1 = 5 StSys = the first 3 bits of StSys1 Raw{
"ID": "16646723.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) EPS_s_StSys = 0\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysAvl\n\rELSEIF [2]:\n\r2) EPS_s_StSys = 1\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysLim\n\rELSEIF [3]:\n\r3) EPS_s_StSys = 2\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU1Prim\n\rELSEIF [4]:\n\r4) EPS_s_StSys = 3\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU2Scnd\n\rELSEIF [5]:\n\r5) EPS_s_StSys = 4\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysSysLos\n\rELSEIF [6]:\n\r6) EPS_s_StSys = 7\n\rTHEN:\n\rStSys1 = 6\n\rELSE:\n\rStSys1 = 5\n\rStSys = the first 3 bits of StSys1",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256164.0",
"Description": "IF [1]:\n\r1) EPS_s_StSys = 0\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysAvl\n\rELSEIF [2]:\n\r2) EPS_s_StSys = 1\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysLim\n\rELSEIF [3]:\n\r3) EPS_s_StSys = 2\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU1Prim\n\rELSEIF [4]:\n\r4) EPS_s_StSys = 3\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU2Scnd\n\rELSEIF [5]:\n\r5) EPS_s_StSys = 4\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysSysLos\n\rELSEIF [6]:\n\r6) EPS_s_StSys = 7\n\rTHEN:\n\rStSys1 = 6\n\rELSE:\n\rStSys1 = 5\n\rStSys = the first 3 bits of StSys1",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 146 | 16646724.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF 12]: 1) LOCSGC_s_StDeceAvl = 1 THEN: StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl ELSEIF [2]: 2) LOCSGC_s_StDeceAvl = 2 TIF 12]: 1) LOCSGC_s_StDeceAvl = 1 THEN: StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl ELSEIF [2]: 2) LOCSGC_s_StDeceAvl = 2 THEN: StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvlRstctRgn ELSEIF [3]: 3) LOCSGC_s_StDeceAvl = 3 THEN: StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlRstct ELSE: StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlNotAvl LgtGuide_StDeceAvl = the first 2 bits of StDeceAvl1 shidted on 3 bits to left Raw{
"ID": "16646724.0",
"ASIL": " QM",
"Text": "IF 12]:\n\r1) LOCSGC_s_StDeceAvl = 1\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StDeceAvl = 2\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvlRstctRgn\n\rELSEIF [3]:\n\r3) LOCSGC_s_StDeceAvl = 3\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlRstct\n\rELSE:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlNotAvl\n\rLgtGuide_StDeceAvl = the first 2 bits of StDeceAvl1 shidted on 3 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256166.0",
"Description": "IF 12]:\n\r1) LOCSGC_s_StDeceAvl = 1\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StDeceAvl = 2\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvlRstctRgn\n\rELSEIF [3]:\n\r3) LOCSGC_s_StDeceAvl = 3\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlRstct\n\rELSE:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlNotAvl\n\rLgtGuide_StDeceAvl = the first 2 bits of StDeceAvl1 shidted on 3 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 147 | 16646725.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1000) LOCSGC_s_StAcceAvl = 1 THEN: StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl ELSEIF [2]: 2) LOCSGC_s_StAcceAvl = 2IF [1]: 1000) LOCSGC_s_StAcceAvl = 1 THEN: StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl ELSEIF [2]: 2) LOCSGC_s_StAcceAvl = 2 THEN: StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlRstct ELSEIF [3]: 3) LOCSGC_s_StAcceAvl = 3 THEN: StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlFailOper ELSE: StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlNotAvl LgtGuide_StAcceAvl = the first 2 bits of StAcceAvl1 shifted on 5 bits to left Raw{
"ID": "16646725.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1000) LOCSGC_s_StAcceAvl = 1\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StAcceAvl = 2\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlRstct\n\rELSEIF [3]:\n\r3) LOCSGC_s_StAcceAvl = 3\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlFailOper\n\rELSE:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlNotAvl\n\rLgtGuide_StAcceAvl = the first 2 bits of StAcceAvl1 shifted on 5 bits to left",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256168.0",
"Description": "IF [1]:\n\r1000) LOCSGC_s_StAcceAvl = 1\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StAcceAvl = 2\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlRstct\n\rELSEIF [3]:\n\r3) LOCSGC_s_StAcceAvl = 3\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlFailOper\n\rELSE:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlNotAvl\n\rLgtGuide_StAcceAvl = the first 2 bits of StAcceAvl1 shifted on 5 bits to left",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 148 | 16646726.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) LACC_s_LatGuide_StItAvl = 1 THEN: StItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl ELSEIF [2]: 2) LACC_s_LatGuide_StIF [1]: 1) LACC_s_LatGuide_StItAvl = 1 THEN: StItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl ELSEIF [2]: 2) LACC_s_LatGuide_StItAvl = 2 THEN: StItAvl1 = VMMP_ASM_c_LatGuideStItAvlAvl ELSEIF [3]: 3) LACC_s_LatGuide_StItAvl = 3 THEN: StItAvl1 = VMMP_ASM_c_LatGuideStItAvlRdcPrf ELSE: StItAvl1 = VMMP_ASM_c_LatGuideStItAvlNotAvl LatGuide_StItAvl1 = the first 2 bits of StItAvl1 shifted on 7 bits to left LatGuide_StItAvl2 = the first 2 bits of StItAvl1 shifted on 1 bits to right Raw{
"ID": "16646726.0",
"ASIL": " QM",
"Text": "IF [1]:\n\r1) LACC_s_LatGuide_StItAvl = 1\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl\n\rELSEIF [2]:\n\r2) LACC_s_LatGuide_StItAvl = 2\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlAvl\n\rELSEIF [3]:\n\r3) LACC_s_LatGuide_StItAvl = 3\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlRdcPrf\n\rELSE:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlNotAvl\n\rLatGuide_StItAvl1 = the first 2 bits of StItAvl1 shifted on 7 bits to left\n\r \n\rLatGuide_StItAvl2 = the first 2 bits of StItAvl1 shifted on 1 bits to right",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256170.0",
"Description": "IF [1]:\n\r1) LACC_s_LatGuide_StItAvl = 1\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl\n\rELSEIF [2]:\n\r2) LACC_s_LatGuide_StItAvl = 2\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlAvl\n\rELSEIF [3]:\n\r3) LACC_s_LatGuide_StItAvl = 3\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlRdcPrf\n\rELSE:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlNotAvl\n\rLatGuide_StItAvl1 = the first 2 bits of StItAvl1 shifted on 7 bits to left\n\r \n\rLatGuide_StItAvl2 = the first 2 bits of StItAvl1 shifted on 1 bits to right",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 149 | 16646727.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | If not specified otherwise, then: ASMVersion = 1If not specified otherwise, then: ASMVersion = 1 Raw{
"ID": "16646727.0",
"ASIL": " QM",
"Text": "If not specified otherwise, then:\n\rASMVersion = 1",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1256172.0",
"Description": "If not specified otherwise, then:\n\rASMVersion = 1",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 150 | 16646728.0 | Functional | Released | yes | True | Before bitwise operations, the values should be converted to Uint8 Val1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StBefore bitwise operations, the values should be converted to Uint8 Val1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StTracCtlSys) Val2 = BitwiseOR (StCpbPrkLockUnit , StEscOpm, EPBActrCtl_StAvl, StQFK1) Val3 = BitwiseOR (StBrkTqVect , StQFK2, SysSts1) Val4 = BitwiseOR (StSys, LgtGuide_StDeceAvl, LgtGuide_StAcceAvl, LatGuide_StItAvl1) Val5 = LatGuide_StItAvl2 Val6 = ASMVersion IF [OR(1,2)]: 1) StatIdEveTyp = 1 2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1) THEN: ASM_s1_StatDat = [Val1, Val2, Val3, Val4, Val5, Val6] ELSE: ASM_s1_StatDat = 0 Raw{
"ID": "16646728.0",
"ASIL": " QM",
"Text": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StTracCtlSys)\n\rVal2 = BitwiseOR (StCpbPrkLockUnit , StEscOpm, EPBActrCtl_StAvl, StQFK1)\n\rVal3 = BitwiseOR (StBrkTqVect , StQFK2, SysSts1)\n\rVal4 = BitwiseOR (StSys, LgtGuide_StDeceAvl, LgtGuide_StAcceAvl, LatGuide_StItAvl1)\n\rVal5 = LatGuide_StItAvl2\n\rVal6 = ASMVersion\n\rIF [OR(1,2)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s1_StatDat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_StatDat = 0",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1256256.0",
"Description": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StTracCtlSys)\n\rVal2 = BitwiseOR (StCpbPrkLockUnit , StEscOpm, EPBActrCtl_StAvl, StQFK1)\n\rVal3 = BitwiseOR (StBrkTqVect , StQFK2, SysSts1)\n\rVal4 = BitwiseOR (StSys, LgtGuide_StDeceAvl, LgtGuide_StAcceAvl, LatGuide_StItAvl1)\n\rVal5 = LatGuide_StItAvl2\n\rVal6 = ASMVersion\n\rIF [OR(1,2)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s1_StatDat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_StatDat = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |