Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_VVL.xlsxrequirement1670c9f63958867
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCTP.xlsxrequirement546e55261e37b1
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCPV.xlsxrequirement48c291bbf0bf8b
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCPP.xlsxrequirement75a6e97f36e717
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCOP.xlsxrequirement108db974db96a4a
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCIP.xlsxrequirement3883adee9380f8
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCEC.xlsxrequirement30e01f733449cc
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_SSHPOST.xlsxrequirement127fe72dab6a70d
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_DSOPOST.xlsxrequirement140ac32d5a0db26
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_DCPOST.xlsxrequirement60d072d8489fe8
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_ASM.xlsxrequirement14942ae852b3eba
VME-PROD-VehicleMotionManagement - VMMP_SRV_VSOVD.xlsxrequirement255ad930242c8fe
VME-PROD-VehicleMotionManagement - VMMP_SRV_VSOEM.xlsxrequirement4051e925fb5e240
VME-PROD-VehicleMotionManagement - VMMP_SRV_VSOCH.xlsxrequirement105fa03f07e2505
VME-PROD-VehicleMotionManagement - VMMP_SRV_DSOPRE.xlsxrequirement19738690409fbd8
VME-PROD-VehicleMotionManagement - VMMP_SRV_ASOTA.xlsxrequirement13543cdaf3292f4
VME-PROD-VehicleMotionManagement - VMMP_SRV_ASOPOT.xlsxrequirement184da96d0c9b61e
VME-PROD-VehicleMotionManagement - VMMP_SRV_ASOAF.xlsxrequirement4005d887cf54208
VME-PROD-VehicleMotionManagement - VMMP_SOUT_SOUTFCT.xlsxrequirement4534d2bdab4dd1f
VME-PROD-VehicleMotionManagement - VMMP_SOUT_SOUTDEVLP.xlsxrequirement51aa25670a5db1

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