Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACDCF.xlsxrequirement3227385d4165d3
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACDC.xlsxrequirement2216b7ded7f53c
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACCA.xlsxrequirement4574c778fc10e6
VME-PROD-VehicleMotionManagement - VMMP_HMS_HMSTC.xlsxrequirement64bedf4df3644e
VME-PROD-VehicleMotionManagement - VMMP_HMS_HMSPC.xlsxrequirement215707be66b24b8
VME-PROD-VehicleMotionManagement - VMMP_HMS_HMSOP.xlsxrequirement1266cefec4b8c99
VME-PROD-VehicleMotionManagement - VMMP_HMS_HMSHOLD.xlsxrequirement201a9877c98c65e
VME-PROD-VehicleMotionManagement - VMMP_HMS_HMSHC.xlsxrequirement265d3cba95ee982
VME-PROD-VehicleMotionManagement - VMMP_GSC.xlsxrequirement347f9a3530486e
VME-PROD-VehicleMotionManagement - VMMP_FSS.xlsxrequirement2337f6368b69844
VME-PROD-VehicleMotionManagement - VMMP_CRM_CRMSA.xlsxrequirement456fd09d9eaad1
VME-PROD-VehicleMotionManagement - VMMP_CRM_CRMFH.xlsxrequirement656c4154af0fc0
VME-PROD-VehicleMotionManagement - VMMP_CRM_CRMEH.xlsxrequirement4581f06686c151
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBTJCSC.xlsxrequirement31049e9934afc9
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBPKCSC.xlsxrequirement187c0b573b3d6e6
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLLCSC.xlsxrequirement38774c7265e7d19
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGLSCV.xlsxrequirement12063142cb3cf99
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGLSCA.xlsxrequirement141e177fafd88cb
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGLSA.xlsxrequirement70b23f72842974
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGCSC.xlsxrequirement77cb6690dec872

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"
}