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_LOCAFFC.xlsx · source records

RowIDTypeStatusRelevantCandidateReasonNormalized text
10216653852.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
TqWhlLim
TqWhlLim

Raw

{
  "ID": "16653852.0",
  "ASIL": "  ",
  "Text": "TqWhlLim",
  "Type": "Folder",
  "Status": "",
  "Summary": "TqWhlLim",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1114802.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10316653853.0FunctionalReleasedyesTrue
'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxDec 'Input': LOCADF_s_LgtLimA_AGrdMaxDec
'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxDec 

'Input': LOCADF_s_LgtLimA_AGrdMaxDec

Raw

{
  "ID": "16653853.0",
  "ASIL": "  QM",
  "Text": "'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxDec \n\r'Input': LOCADF_s_LgtLimA_AGrdMaxDec",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1114724.0",
  "Description": "'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxDec \n\r'Input': LOCADF_s_LgtLimA_AGrdMaxDec",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10416653854.0FunctionalReleasedyesTrue
'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxInc 'Input': LOCADF_s_LgtLimA_AGrdMaxInc
'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxInc 

'Input': LOCADF_s_LgtLimA_AGrdMaxInc

Raw

{
  "ID": "16653854.0",
  "ASIL": "  QM",
  "Text": "'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxInc \n\r'Input': LOCADF_s_LgtLimA_AGrdMaxInc",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1114726.0",
  "Description": "'Output': LOCAFFC_s_TqWhlLim_TqGrdMaxInc \n\r'Input': LOCADF_s_LgtLimA_AGrdMaxInc",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10516653855.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
LOCAFFC_s_StDeceLim
LOCAFFC_s_StDeceLim

Raw

{
  "ID": "16653855.0",
  "ASIL": "  ",
  "Text": "LOCAFFC_s_StDeceLim",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCAFFC_s_StDeceLim",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1342220.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10616653856.0FunctionalReleasedyesTrue
LOCAFFC_s_StDeceLim shall be LOCADSL_s_StDeceLim
LOCAFFC_s_StDeceLim shall be LOCADSL_s_StDeceLim

Raw

{
  "ID": "16653856.0",
  "ASIL": "  QM",
  "Text": "LOCAFFC_s_StDeceLim shall be LOCADSL_s_StDeceLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1342222.0",
  "Description": "LOCAFFC_s_StDeceLim shall be LOCADSL_s_StDeceLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10716653857.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
LOCAFFC_s_StAcceLim
LOCAFFC_s_StAcceLim

Raw

{
  "ID": "16653857.0",
  "ASIL": "  ",
  "Text": "LOCAFFC_s_StAcceLim",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCAFFC_s_StAcceLim",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1342218.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10816653858.0FunctionalReleasedyesTrue
IF[AND(1, OR(2,3),4)] 1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim 2.) LOCAFFC_s_FlgLgtCtlDeacObst is true 3.) Fl
IF[AND(1, OR(2,3),4)]

1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim

2.) LOCAFFC_s_FlgLgtCtlDeacObst is true

3.) FlagDeacObstWait has been true for not longer than VMMP_LOCAFFC_p_TiTqMaxObstCr

4.) VMMP_LOCAFFC_p_SwtObstCrEna is true

THEN:

LOCAFFC_s_StAcceLim shall be VMMP_LOC_c_StLim_IntnlLim

ELSE:

LOCAFFC_s_StAcceLim shall be LOCADSL_s_StAcceLim

Raw

{
  "ID": "16653858.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1, OR(2,3),4)]\n\r1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim\n\r2.) LOCAFFC_s_FlgLgtCtlDeacObst is true\n\r3.) FlagDeacObstWait has been true for not longer than VMMP_LOCAFFC_p_TiTqMaxObstCr\n\r4.) VMMP_LOCAFFC_p_SwtObstCrEna is true\n\rTHEN:\n\rLOCAFFC_s_StAcceLim shall be VMMP_LOC_c_StLim_IntnlLim\n\rELSE:\n\rLOCAFFC_s_StAcceLim shall be LOCADSL_s_StAcceLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1342224.0",
  "Description": "IF[AND(1, OR(2,3),4)]\n\r1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim\n\r2.) LOCAFFC_s_FlgLgtCtlDeacObst is true\n\r3.) FlagDeacObstWait has been true for not longer than VMMP_LOCAFFC_p_TiTqMaxObstCr\n\r4.) VMMP_LOCAFFC_p_SwtObstCrEna is true\n\rTHEN:\n\rLOCAFFC_s_StAcceLim shall be VMMP_LOC_c_StLim_IntnlLim\n\rELSE:\n\rLOCAFFC_s_StAcceLim shall be LOCADSL_s_StAcceLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10937125701.0FunctionalReleasedyesTrue
IF[AND(1, OR(2,3,5),4)] 1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim 2.) LOCAFFC_s_FlgLgtCtlDeacObst is true 3.)
IF[AND(1, OR(2,3,5),4)]

1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim

2.) LOCAFFC_s_FlgLgtCtlDeacObst is true

3.) FlagDeacObstWait has been true for not longer than VMMP_LOCAFFC_p_TiTqMaxObstCr

4.) VMMP_LOCAFFC_p_SwtObstCrEna is true

5.) FlgCnclObstCrDRemNotSuff is true 

THEN:

LOCAFFC_s_StAcceLim shall be VMMP_LOC_c_StLim_IntnlLim

ELSE:

LOCAFFC_s_StAcceLim shall be LOCADSL_s_StAcceLim

Raw

{
  "ID": "37125701.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1, OR(2,3,5),4)]\n\r1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim\n\r2.) LOCAFFC_s_FlgLgtCtlDeacObst is true\n\r3.) FlagDeacObstWait has been true for not longer than VMMP_LOCAFFC_p_TiTqMaxObstCr\n\r4.) VMMP_LOCAFFC_p_SwtObstCrEna is true\n\r5.) FlgCnclObstCrDRemNotSuff is true \n\rTHEN:\n\rLOCAFFC_s_StAcceLim shall be VMMP_LOC_c_StLim_IntnlLim\n\rELSE:\n\rLOCAFFC_s_StAcceLim shall be LOCADSL_s_StAcceLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[AND(1, OR(2,3,5),4)]\n\r1.) LOCADSL_s_StAcceLim is equal to VMMP_LOC_c_StLim_NoLim\n\r2.) LOCAFFC_s_FlgLgtCtlDeacObst is true\n\r3.) FlagDeacObstWait has been true for not longer than VMMP_LOCAFFC_p_TiTqMaxObstCr\n\r4.) VMMP_LOCAFFC_p_SwtObstCrEna is true\n\r5.) FlgCnclObstCrDRemNotSuff is true \n\rTHEN:\n\rLOCAFFC_s_StAcceLim shall be VMMP_LOC_c_StLim_IntnlLim\n\rELSE:\n\rLOCAFFC_s_StAcceLim shall be LOCADSL_s_StAcceLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}