Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsxrequirement966c313a49d7cf
VME-PROD-VehicleMotionManagement - VMMP.xlsxrequirement297dcdcc7aa02b4

VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAD.xlsx · source records

RowIDTypeStatusRelevantCandidateReasonNormalized text
20221830335.0FunctionalReleasedyesTrue
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 VMM
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 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"
}
20316652859.0FunctionalObsoletenoFalsestatus_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"
}