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_LOCC_LOCCOP.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 102 | 36567416 | Functional | Released | yes | True | IF: OR[1,2,3,4] 1) Ouput LOCCOP_s_TqWhlBrk_TqDmd is greater than 0 Nm. 2) Input LOCCTC_s_TqWhlDmd_IdxChn is not equal to constanIF: OR[1,2,3,4] 1) Ouput LOCCOP_s_TqWhlBrk_TqDmd is greater than 0 Nm. 2) Input LOCCTC_s_TqWhlDmd_IdxChn is not equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnReqDrv 3) Input LOCCTS_s_TqWhlLimLOC_FlgAcv is true AND input LOCCTS_s_TqWhlLimLOC_TqTlrHiDyn is smaller than 0 Nm 4) HMSOP_s_StBrkLghtReq is equal to VMMP_HMSHC_c_StBrkLghtReq_AcvReq AND VSOEM_s_VLgtVehCor is smaller than VMMP_LOCCOP_p_VThSdslDet THEN: 1) LOCCOP_s_BrkLght_IdxTqWhlSrcTyp must be equal to constant VMMP_c_BrkLght_IdxTqWhlSrcTypLgtGuid ELSE: 1) LOCCOP_s_BrkLght_IdxTqWhlSrcTyp must be equal to constant VMMP_c_BrkLght_IdxTqWhlSrcTypDrvPed Raw{
"ID": "36567416",
"ASIL": " ASIL B",
"Text": "IF: OR[1,2,3,4]\n_x000D_1) Ouput LOCCOP_s_TqWhlBrk_TqDmd is greater than 0 Nm.\n_x000D_2) Input LOCCTC_s_TqWhlDmd_IdxChn is not equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnReqDrv\n_x000D_3) Input LOCCTS_s_TqWhlLimLOC_FlgAcv is true AND input LOCCTS_s_TqWhlLimLOC_TqTlrHiDyn is smaller than 0 Nm\n_x000D_4) HMSOP_s_StBrkLghtReq is equal to VMMP_HMSHC_c_StBrkLghtReq_AcvReq AND VSOEM_s_VLgtVehCor is smaller than VMMP_LOCCOP_p_VThSdslDet\n_x000D_THEN:\n_x000D_1) LOCCOP_s_BrkLght_IdxTqWhlSrcTyp must be equal to constant VMMP_c_BrkLght_IdxTqWhlSrcTypLgtGuid\n_x000D_ELSE:\n_x000D_1) LOCCOP_s_BrkLght_IdxTqWhlSrcTyp must be equal to constant VMMP_c_BrkLght_IdxTqWhlSrcTypDrvPed",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF: OR[1,2,3,4]\n_x000D_1) Ouput LOCCOP_s_TqWhlBrk_TqDmd is greater than 0 Nm.\n_x000D_2) Input LOCCTC_s_TqWhlDmd_IdxChn is not equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnReqDrv\n_x000D_3) Input LOCCTS_s_TqWhlLimLOC_FlgAcv is true AND input LOCCTS_s_TqWhlLimLOC_TqTlrHiDyn is smaller than 0 Nm\n_x000D_4) HMSOP_s_StBrkLghtReq is equal to VMMP_HMSHC_c_StBrkLghtReq_AcvReq AND VSOEM_s_VLgtVehCor is smaller than VMMP_LOCCOP_p_VThSdslDet\n_x000D_THEN:\n_x000D_1) LOCCOP_s_BrkLght_IdxTqWhlSrcTyp must be equal to constant VMMP_c_BrkLght_IdxTqWhlSrcTypLgtGuid\n_x000D_ELSE:\n_x000D_1) LOCCOP_s_BrkLght_IdxTqWhlSrcTyp must be equal to constant VMMP_c_BrkLght_IdxTqWhlSrcTypDrvPed",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 103 | 16657639 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Torque Safety feedbackTorque Safety feedback Raw{
"ID": "16657639",
"ASIL": " ",
"Text": "Torque Safety feedback",
"Type": "Folder",
"Status": "",
"Summary": "Torque Safety feedback",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1210502",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 104 | 16657640 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeAcceFb_TqMaxReq must be equal to input LOCCTS_s_TqWhlSafeAcce_TqMaxReq.LOCCOP_s_TqWhlSafeAcceFb_TqMaxReq must be equal to input LOCCTS_s_TqWhlSafeAcce_TqMaxReq. Raw{
"ID": "16657640",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeAcceFb_TqMaxReq must be equal to input LOCCTS_s_TqWhlSafeAcce_TqMaxReq.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1276992",
"Description": "LOCCOP_s_TqWhlSafeAcceFb_TqMaxReq must be equal to input LOCCTS_s_TqWhlSafeAcce_TqMaxReq.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 105 | 16657641 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeAcceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StReqLOC.LOCCOP_s_TqWhlSafeAcceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StReqLOC. Raw{
"ID": "16657641",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeAcceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StReqLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1210514",
"Description": "LOCCOP_s_TqWhlSafeAcceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StReqLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 106 | 16657642 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeAcceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StLimLOC.LOCCOP_s_TqWhlSafeAcceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StLimLOC. Raw{
"ID": "16657642",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeAcceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StLimLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1210529",
"Description": "LOCCOP_s_TqWhlSafeAcceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeAcce_StLimLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 107 | 16657643 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeDeceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StReqLOC.LOCCOP_s_TqWhlSafeDeceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StReqLOC. Raw{
"ID": "16657643",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeDeceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StReqLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1210504",
"Description": "LOCCOP_s_TqWhlSafeDeceFb_StReqLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StReqLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 108 | 16657644 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeDeceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StLimLOC.LOCCOP_s_TqWhlSafeDeceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StLimLOC. Raw{
"ID": "16657644",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeDeceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StLimLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1210512",
"Description": "LOCCOP_s_TqWhlSafeDeceFb_StLimLOC must be equal to input LOCCTS_s_TqWhlSafeDece_StLimLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 109 | 16657645 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxLimLOC.LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxLimLOC. Raw{
"ID": "16657645",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxLimLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1312236",
"Description": "LOCCOP_s_TqWhlSafeFb_TqMaxLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxLimLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 110 | 16657646 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxReqLOC.LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxReqLOC. Raw{
"ID": "16657646",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxReqLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1312238",
"Description": "LOCCOP_s_TqWhlSafeFb_TqMaxReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMaxReqLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 111 | 16657647 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeFb_TqMinLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinLimLOC.LOCCOP_s_TqWhlSafeFb_TqMinLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinLimLOC. Raw{
"ID": "16657647",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeFb_TqMinLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinLimLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1312240",
"Description": "LOCCOP_s_TqWhlSafeFb_TqMinLimLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinLimLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 112 | 16657648 | Functional | Released | yes | True | LOCCOP_s_TqWhlSafeFb_TqMinReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinReqLOC.LOCCOP_s_TqWhlSafeFb_TqMinReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinReqLOC. Raw{
"ID": "16657648",
"ASIL": " QM",
"Text": "LOCCOP_s_TqWhlSafeFb_TqMinReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinReqLOC.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1312242",
"Description": "LOCCOP_s_TqWhlSafeFb_TqMinReqLOC must be equal to input LOCCTS_s_TqWhlSafe_TqMinReqLOC.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |