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_LOC_LOCAD.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 202 | 21830335.0 | Functional | Released | yes | True | IF[OR (AND(1,2),AND(1,3),AND(1,NOR(2,3),4),AND(1,5),AND(6,7,8), AND(9,10))] 1) LOCAD_s_ADeRollBk was greater than or equal to VMMIF[OR (AND(1,2),AND(1,3),AND(1,NOR(2,3),4),AND(1,5),AND(6,7,8), AND(9,10))] 1) LOCAD_s_ADeRollBk was greater than or equal to VMMP_LOCAD_p_ADeMin in the last computation cycle 2) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdBrkPedal 3) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdBCSInternal 4) ASOTA_s_TqCordDmd is smaller than the difference of LOCTPP_s_TqWhlLimRollBk_TqDmd and VMMP_LOCAD_p_TqOfsRollBk 5) LOCTPP_s_TqWhlLimRollBk_TqDmd is greater than zero 6) LOCADF_s_LgtLimARollBk_ADmd is smaller than VMMP_LOCAD_p_ADmdThFrz 7) FrzSdslPred(-VSOEM_s_ALgtVehCor,-VSOEM_s_VLgtVehCor) is true 8) LOCAD_s_ADeRollBk was smaller than -VMMP_LOCAD_p_ADeMin in the last computation cycle 9) LOCACS_s_FlgSdsl is true 10) LOCAD_s_ADeRollBk was smaller than or equal to -VMMP_LOCAD_p_ADeThFrz in the last computation cycle THEN: LOCAD_s_FlgFrzRollBk is true ELSE: LOCAD_s_FlgFrzRollBk is not true Raw{
"ID": "21830335.0",
"ASIL": " QM",
"Text": "IF[OR (AND(1,2),AND(1,3),AND(1,NOR(2,3),4),AND(1,5),AND(6,7,8), AND(9,10))]\n\r1) LOCAD_s_ADeRollBk was greater than or equal to VMMP_LOCAD_p_ADeMin in the last computation cycle\n\r2) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdBrkPedal\n\r3) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdBCSInternal\n\r4) ASOTA_s_TqCordDmd is smaller than the difference of LOCTPP_s_TqWhlLimRollBk_TqDmd and VMMP_LOCAD_p_TqOfsRollBk\n\r5) LOCTPP_s_TqWhlLimRollBk_TqDmd is greater than zero\n\r6) LOCADF_s_LgtLimARollBk_ADmd is smaller than VMMP_LOCAD_p_ADmdThFrz\n\r7) FrzSdslPred(-VSOEM_s_ALgtVehCor,-VSOEM_s_VLgtVehCor) is true\n\r8) LOCAD_s_ADeRollBk was smaller than -VMMP_LOCAD_p_ADeMin in the last computation cycle\n\r9) LOCACS_s_FlgSdsl is true\n\r10) LOCAD_s_ADeRollBk was smaller than or equal to -VMMP_LOCAD_p_ADeThFrz in the last computation cycle\n\rTHEN:\n\rLOCAD_s_FlgFrzRollBk is true\n\rELSE:\n\rLOCAD_s_FlgFrzRollBk is not true",
"Type": "Functional",
"Status": "Released",
"Summary": "Rollback Freeze Condition",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF[OR (AND(1,2),AND(1,3),AND(1,NOR(2,3),4),AND(1,5),AND(6,7,8), AND(9,10))]\n\r1) LOCAD_s_ADeRollBk was greater than or equal to VMMP_LOCAD_p_ADeMin in the last computation cycle\n\r2) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdBrkPedal\n\r3) ASOTA_s_IdxTqCordDmd is equal to VMMP_ASOTA_c_IdxTqCordDmdBCSInternal\n\r4) ASOTA_s_TqCordDmd is smaller than the difference of LOCTPP_s_TqWhlLimRollBk_TqDmd and VMMP_LOCAD_p_TqOfsRollBk\n\r5) LOCTPP_s_TqWhlLimRollBk_TqDmd is greater than zero\n\r6) LOCADF_s_LgtLimARollBk_ADmd is smaller than VMMP_LOCAD_p_ADmdThFrz\n\r7) FrzSdslPred(-VSOEM_s_ALgtVehCor,-VSOEM_s_VLgtVehCor) is true\n\r8) LOCAD_s_ADeRollBk was smaller than -VMMP_LOCAD_p_ADeMin in the last computation cycle\n\r9) LOCACS_s_FlgSdsl is true\n\r10) LOCAD_s_ADeRollBk was smaller than or equal to -VMMP_LOCAD_p_ADeThFrz in the last computation cycle\n\rTHEN:\n\rLOCAD_s_FlgFrzRollBk is true\n\rELSE:\n\rLOCAD_s_FlgFrzRollBk is not true",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 203 | 16652859.0 | Functional | Obsolete | no | False | status_filtered, relevance_filtered, empty_target_text | Raw{
"ID": "16652859.0",
"ASIL": " ",
"Text": "",
"Type": "Functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1430808.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |