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_LOC_LOCAFFC.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 102 | 16653852.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | TqWhlLimTqWhlLim 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"
} | |
| 103 | 16653853.0 | Functional | Released | yes | True | '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"
} | |
| 104 | 16653854.0 | Functional | Released | yes | True | '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"
} | |
| 105 | 16653855.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAFFC_s_StDeceLimLOCAFFC_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"
} | |
| 106 | 16653856.0 | Functional | Released | yes | True | LOCAFFC_s_StDeceLim shall be LOCADSL_s_StDeceLimLOCAFFC_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"
} | |
| 107 | 16653857.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | LOCAFFC_s_StAcceLimLOCAFFC_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"
} | |
| 108 | 16653858.0 | Functional | Released | yes | True | 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.) FlIF[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"
} | |
| 109 | 37125701.0 | Functional | Released | yes | True | 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"
} |