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_SRV_VSOEM.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 402 | 16646311.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | u1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples u = min (ADeceDmdRaw , u1) Kp = 1 T = VMMP_c_TiSmpl/(VMMP_c_TiSmpu1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples u = min (ADeceDmdRaw , u1) Kp = 1 T = VMMP_c_TiSmpl/(VMMP_c_TiSmpl+VMMP_VSOEM_p_TiFilAMonDmd) VSOEM_m_ADeceDmdFil = max (ADeceDmdRaw , LowPassFil (u, Kp, T) Raw{
"ID": "16646311.0",
"ASIL": " ASIL C",
"Text": "u1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples\n\ru = min (ADeceDmdRaw , u1)\n\rKp = 1\n\rT = VMMP_c_TiSmpl/(VMMP_c_TiSmpl+VMMP_VSOEM_p_TiFilAMonDmd)\n\rVSOEM_m_ADeceDmdFil = max (ADeceDmdRaw , LowPassFil (u, Kp, T)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1345233.0",
"Description": "u1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples\n\ru = min (ADeceDmdRaw , u1)\n\rKp = 1\n\rT = VMMP_c_TiSmpl/(VMMP_c_TiSmpl+VMMP_VSOEM_p_TiFilAMonDmd)\n\rVSOEM_m_ADeceDmdFil = max (ADeceDmdRaw , LowPassFil (u, Kp, T)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 403 | 16646312.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Acceleration below limit exceeded ASIL QMAcceleration below limit exceeded ASIL QM Raw{
"ID": "16646312.0",
"ASIL": " ",
"Text": "Acceleration below limit exceeded ASIL QM",
"Type": "Folder",
"Status": "",
"Summary": "Acceleration below limit exceeded ASIL QM",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1345245.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 404 | 16646313.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | BlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil IF [1] 1) BlowLim_FlgAMonMaxExcBlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil IF [1] 1) BlowLim_FlgAMonMaxExc1 <= 0 THEN: FlgAMonMaxExc = BlowLim_FlgAMonMaxExc1 ELSE: FlgAMonMaxExc = FlgAMonMaxExc1*VMMP_VSOEM_p_FacIntgDwnAMon Raw{
"ID": "16646313.0",
"ASIL": " ASIL C",
"Text": "BlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil\n\rIF [1]\n\r1) BlowLim_FlgAMonMaxExc1 <= 0\n\rTHEN:\n\rFlgAMonMaxExc = BlowLim_FlgAMonMaxExc1 \n\rELSE:\n\rFlgAMonMaxExc = FlgAMonMaxExc1*VMMP_VSOEM_p_FacIntgDwnAMon",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1345244.0",
"Description": "BlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil\n\rIF [1]\n\r1) BlowLim_FlgAMonMaxExc1 <= 0\n\rTHEN:\n\rFlgAMonMaxExc = BlowLim_FlgAMonMaxExc1 \n\rELSE:\n\rFlgAMonMaxExc = FlgAMonMaxExc1*VMMP_VSOEM_p_FacIntgDwnAMon",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 405 | 16646314.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1]: 1) VSOEM_m_FlgAMonEna = 1 THEN: FlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10) ELSE:IF [1]: 1) VSOEM_m_FlgAMonEna = 1 THEN: FlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10) ELSE: FlgAMonEna2 = 0 Raw{
"ID": "16646314.0",
"ASIL": " ASIL C",
"Text": "IF [1]:\n\r1) VSOEM_m_FlgAMonEna = 1\n\rTHEN:\n\rFlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10)\n\rELSE:\n\rFlgAMonEna2 = 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1345252.0",
"Description": "IF [1]:\n\r1) VSOEM_m_FlgAMonEna = 1\n\rTHEN:\n\rFlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10)\n\rELSE:\n\rFlgAMonEna2 = 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 406 | 16646315.0 | Functional | Released | yes | True | IF [1]: 1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) sIF [1]: 1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) seconds. THEN: VSOEM_s_FlgADeceMonDmdExc = 0 ELSE: VSOEM_s_FlgADeceMonDmdExc = 1 Raw{
"ID": "16646315.0",
"ASIL": " ASIL C",
"Text": "IF [1]:\n\r1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) seconds.\n\rTHEN:\n\rVSOEM_s_FlgADeceMonDmdExc = 0\n\rELSE:\n\rVSOEM_s_FlgADeceMonDmdExc = 1",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1345247.0",
"Description": "IF [1]:\n\r1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) seconds.\n\rTHEN:\n\rVSOEM_s_FlgADeceMonDmdExc = 0\n\rELSE:\n\rVSOEM_s_FlgADeceMonDmdExc = 1",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |