Source files
Mapping profiles
TORINO grounded verification · testcase
VMMP conservative · requirement
Import history
VME-PROD-VehicleMotionManagement - VMMP_SCM.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 2 | 16659972.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Short descriptionShort description Raw{
"ID": "16659972.0",
"ASIL": " ",
"Text": "Short description",
"Type": "Folder",
"Status": "",
"Summary": "Short description",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240378.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 3 | 16659973.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The module SCM (Second Collision Mitigation) is an post crash functionality. In case of an crash of the vehicle, the VMM gets a rThe module SCM (Second Collision Mitigation) is an post crash functionality. In case of an crash of the vehicle, the VMM gets a request and routes the request to the brake system. Raw{
"ID": "16659973.0",
"ASIL": " ",
"Text": "The module SCM (Second Collision Mitigation) is an post crash functionality.\n\rIn case of an crash of the vehicle, the VMM gets a request and routes the request to the brake system.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240380.0",
"Description": "The module SCM (Second Collision Mitigation) is an post crash functionality.\n\rIn case of an crash of the vehicle, the VMM gets a request and routes the request to the brake system.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 4 | 16659974.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Interface descriptionInterface description Raw{
"ID": "16659974.0",
"ASIL": " ",
"Text": "Interface description",
"Type": "Folder",
"Status": "",
"Summary": "Interface description",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240780.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 5 | 16659975.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The valid versions of the signal and parameter files for the relevant SWRS are:The valid versions of the signal and parameter files for the relevant SWRS are: Raw{
"ID": "16659975.0",
"ASIL": " ",
"Text": "The valid versions of the signal and parameter files for the relevant SWRS are:",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240782.0",
"Description": "The valid versions of the signal and parameter files for the relevant SWRS are:",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 6 | 16659976.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameterMember/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter Raw{
"ID": "16659976.0",
"ASIL": " ",
"Text": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1362746.0",
"Description": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 7 | 16659977.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signalMember/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal Raw{
"ID": "16659977.0",
"ASIL": " ",
"Text": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1362748.0",
"Description": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 8 | 16659978.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The valid versions of the signals and parameter files can be found in SWRS SWC_VMMP (SWRS ID 1078981) Chapter 2 "Interface descripThe valid versions of the signals and parameter files can be found in SWRS SWC_VMMP (SWRS ID 1078981) Chapter 2 "Interface description". Raw{
"ID": "16659978.0",
"ASIL": " ",
"Text": "The valid versions of the signals and parameter files can be found in SWRS SWC_VMMP (SWRS ID 1078981) Chapter 2 \"Interface description\".",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1362747.0",
"Description": "The valid versions of the signals and parameter files can be found in SWRS SWC_VMMP (SWRS ID 1078981) Chapter 2 \"Interface description\".",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 9 | 16659979.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The valid version of the signal and parameter files for test basis can be found in CG Checkpoint which to be tested.The valid version of the signal and parameter files for test basis can be found in CG Checkpoint which to be tested. Raw{
"ID": "16659979.0",
"ASIL": " ",
"Text": "The valid version of the signal and parameter files for test basis can be found in CG Checkpoint which to be tested.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1362745.0",
"Description": "The valid version of the signal and parameter files for test basis can be found in CG Checkpoint which to be tested.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 10 | 16659980.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Presetting/Framework/DefinitionsPresetting/Framework/Definitions Raw{
"ID": "16659980.0",
"ASIL": " ",
"Text": "Presetting/Framework/Definitions",
"Type": "Folder",
"Status": "",
"Summary": "Presetting/Framework/Definitions",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240784.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 11 | 16659981.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | ToolchainToolchain Raw{
"ID": "16659981.0",
"ASIL": " ",
"Text": "Toolchain",
"Type": "Folder",
"Status": "",
"Summary": "Toolchain",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240786.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 12 | 16659982.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used. Raw{
"ID": "16659982.0",
"ASIL": " ",
"Text": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
"Type": "Folder",
"Status": "",
"Summary": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240790.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 13 | 16659983.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain. Raw{
"ID": "16659983.0",
"ASIL": " QM",
"Text": "The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240788.0",
"Description": "The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 14 | 16659984.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | TolerancesTolerances Raw{
"ID": "16659984.0",
"ASIL": " ",
"Text": "Tolerances",
"Type": "Folder",
"Status": "",
"Summary": "Tolerances",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240792.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 15 | 16659985.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances: * Bool: NoThe allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances: * Bool: No deviation allowed * UInt, Int: No deviation allowed * Float: 0.1% related to the permissible value range of the signal It must be ensured that an output reaction occurs due to an event at the input within the same calculation step. Raw{
"ID": "16659985.0",
"ASIL": " QM",
"Text": "The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:\n\r* \n\r \n\r Bool: No deviation allowed\n\r* \n\r \n\r UInt, Int: No deviation allowed\n\r* \n\r \n\r Float: 0.1% related to the permissible value range of the signal\n\rIt must be ensured that an output reaction occurs due to an event at the input within the same calculation step.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240794.0",
"Description": "The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:\n\r* \n\r \n\r Bool: No deviation allowed\n\r* \n\r \n\r UInt, Int: No deviation allowed\n\r* \n\r \n\r Float: 0.1% related to the permissible value range of the signal\n\rIt must be ensured that an output reaction occurs due to an event at the input within the same calculation step.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 16 | 16659986.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Bit numberingBit numbering Raw{
"ID": "16659986.0",
"ASIL": " ",
"Text": "Bit numbering",
"Type": "Folder",
"Status": "",
"Summary": "Bit numbering",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240796.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 17 | 16659987.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The bit numbering takes place as zero-based numbering method. This means, 1 Byte is equal to Bit 0...7.The bit numbering takes place as zero-based numbering method. This means, 1 Byte is equal to Bit 0...7. Raw{
"ID": "16659987.0",
"ASIL": " QM",
"Text": "The bit numbering takes place as zero-based numbering method. \n\rThis means, 1 Byte is equal to Bit 0...7.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240798.0",
"Description": "The bit numbering takes place as zero-based numbering method. \n\rThis means, 1 Byte is equal to Bit 0...7.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 18 | 16659988.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | ConditionsConditions Raw{
"ID": "16659988.0",
"ASIL": " ",
"Text": "Conditions",
"Type": "Folder",
"Status": "",
"Summary": "Conditions",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240800.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 19 | 16659989.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | RequirementsRequirements Raw{
"ID": "16659989.0",
"ASIL": " ",
"Text": "Requirements",
"Type": "Folder",
"Status": "",
"Summary": "Requirements",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240810.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 20 | 16659990.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM Switched OffSCM Switched Off Raw{
"ID": "16659990.0",
"ASIL": " ",
"Text": "SCM Switched Off",
"Type": "Folder",
"Status": "",
"Summary": "SCM Switched Off",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1453417.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 21 | 16659991.0 | Functional | Released | yes | True | IF [1]: 1) VMMP_SCM_p_ScndCllsnMtgtnSwtOn equals zero THEN [1]: 1) SCM_s_ScndCllsnMtgtn_StReq equals zero 2) SCM_s_ScndCllsnMtIF [1]: 1) VMMP_SCM_p_ScndCllsnMtgtnSwtOn equals zero THEN [1]: 1) SCM_s_ScndCllsnMtgtn_StReq equals zero 2) SCM_s_ScndCllsnMtgtn_StAbo equals zero Raw{
"ID": "16659991.0",
"ASIL": " ASIL C",
"Text": "IF [1]:\n\r1) VMMP_SCM_p_ScndCllsnMtgtnSwtOn equals zero\n\rTHEN [1]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq equals zero\n\r2) SCM_s_ScndCllsnMtgtn_StAbo equals zero",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1453415.0",
"Description": "IF [1]:\n\r1) VMMP_SCM_p_ScndCllsnMtgtnSwtOn equals zero\n\rTHEN [1]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq equals zero\n\r2) SCM_s_ScndCllsnMtgtn_StAbo equals zero",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 22 | 16659992.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | The following requirements are only valid if the smart service is switched on. This means the switch parameter has to be true: VThe following requirements are only valid if the smart service is switched on. This means the switch parameter has to be true: VMMP_SCM_p_ScndCllsnMtgtnSwtOn equals one Raw{
"ID": "16659992.0",
"ASIL": " QM",
"Text": "The following requirements are only valid if the smart service is switched on.\n\rThis means the switch parameter has to be true:\n\rVMMP_SCM_p_ScndCllsnMtgtnSwtOn equals one",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240802.0",
"Description": "The following requirements are only valid if the smart service is switched on.\n\rThis means the switch parameter has to be true:\n\rVMMP_SCM_p_ScndCllsnMtgtnSwtOn equals one",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 23 | 16659993.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means: IF [AND(1,2)]:The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means: IF [AND(1,2)]: 1) The signal CRMSA_s_SCM_StTar is equal to VMMP_CRMSA_c_SCMStTarOn for the actual and the previous timestep 2) The absolute value of VSOEM_s_VLgtVehNrm is higher than VMMP_SCM_p_vLimitAlyPrkReq Raw{
"ID": "16659993.0",
"ASIL": " QM",
"Text": "The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means:\n\r \n\rIF [AND(1,2)]:\n\r1) The signal CRMSA_s_SCM_StTar is equal to VMMP_CRMSA_c_SCMStTarOn for the actual and the previous timestep\n\r2) The absolute value of VSOEM_s_VLgtVehNrm is higher than VMMP_SCM_p_vLimitAlyPrkReq",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1240821.0",
"Description": "The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means:\n\r \n\rIF [AND(1,2)]:\n\r1) The signal CRMSA_s_SCM_StTar is equal to VMMP_CRMSA_c_SCMStTarOn for the actual and the previous timestep\n\r2) The absolute value of VSOEM_s_VLgtVehNrm is higher than VMMP_SCM_p_vLimitAlyPrkReq",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 24 | 16659994.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM RequestSCM Request Raw{
"ID": "16659994.0",
"ASIL": " ",
"Text": "SCM Request",
"Type": "Folder",
"Status": "",
"Summary": "SCM Request",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1330665.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 25 | 16659995.0 | Functional | Released | yes | True | IF [AND(1,2,3)]: 1) a rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is true within the time range VMMP_SCM_p_tSafeQIF [AND(1,2,3)]: 1) a rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is true within the time range VMMP_SCM_p_tSafeQlfPer is detected 2) a rising edge for input signal:CFBMKB_s_ScndCllsnMtgtn_StReq is true within the time range VMMP_SCM_p_tSafeQlfPer is detected 3) CFBMKB_s_ScndCllsnMtgtn_StAbo shall be false THEN [AND(1,2)]: 1) SCM_s_ScndCllsnMtgtn_StReq should be true and 2) SCM_s_ScndCllsnMtgtn_StAbo should be false for the next VMMP_SCM_p_tMaxExTi cycles. Raw{
"ID": "16659995.0",
"ASIL": " ASIL C",
"Text": "IF [AND(1,2,3)]:\n\r1) a rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is true within the time range VMMP_SCM_p_tSafeQlfPer is detected\n\r2) a rising edge for input signal:CFBMKB_s_ScndCllsnMtgtn_StReq is true within the time range VMMP_SCM_p_tSafeQlfPer is detected\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo shall be false\n\rTHEN [AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should be true and\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should be false\n\rfor the next VMMP_SCM_p_tMaxExTi cycles.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1240812.0",
"Description": "IF [AND(1,2,3)]:\n\r1) a rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is true within the time range VMMP_SCM_p_tSafeQlfPer is detected\n\r2) a rising edge for input signal:CFBMKB_s_ScndCllsnMtgtn_StReq is true within the time range VMMP_SCM_p_tSafeQlfPer is detected\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo shall be false\n\rTHEN [AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should be true and\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should be false\n\rfor the next VMMP_SCM_p_tMaxExTi cycles.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 26 | 16659996.0 | Functional | Released | yes | True | IF [OR(1,2)]: 1) AND(1,2,3) 1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is detected 2) After, at least morIF [OR(1,2)]: 1) AND(1,2,3) 1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is detected 2) After, at least more than VMMP_SCM_p_tSafeQlfPer seconds, a rising edge for input signal CFBMKB_s_ScndCllsnMtgtn_StReq is detected 3) CFBMKB_s_ScndCllsnMtgtn_StAbo is false 2) AND(1,2,3) 1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StReq is detected 2) After, at least more than VMMP_SCM_p_tSafeQlfPer seconds, a rising edge for input signal CFBMKB_s_ScndCllsnMtgtn_StAcv is detected 3) CFBMKB_s_ScndCllsnMtgtn_StAbo is false THEN [AND(1,2)]: 1) SCM_s_ScndCllsnMtgtn_StReq should stay false and 2) SCM_s_ScndCllsnMtgtn_StAbo should be false Raw{
"ID": "16659996.0",
"ASIL": " ASIL C",
"Text": "IF [OR(1,2)]:\n\r1) AND(1,2,3)\n\r1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is detected\n\r2) After, at least more than VMMP_SCM_p_tSafeQlfPer seconds, a rising edge for input signal CFBMKB_s_ScndCllsnMtgtn_StReq is detected\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo is false\n\r2) AND(1,2,3)\n\r1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StReq is detected\n\r2) After, at least more than VMMP_SCM_p_tSafeQlfPer seconds, a rising edge for input signal CFBMKB_s_ScndCllsnMtgtn_StAcv is detected\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo is false\n\rTHEN [AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should stay false and\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should be false",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1424232.0",
"Description": "IF [OR(1,2)]:\n\r1) AND(1,2,3)\n\r1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StAcv is detected\n\r2) After, at least more than VMMP_SCM_p_tSafeQlfPer seconds, a rising edge for input signal CFBMKB_s_ScndCllsnMtgtn_StReq is detected\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo is false\n\r2) AND(1,2,3)\n\r1) A rising edge for input signal: CFBMKB_s_ScndCllsnMtgtn_StReq is detected\n\r2) After, at least more than VMMP_SCM_p_tSafeQlfPer seconds, a rising edge for input signal CFBMKB_s_ScndCllsnMtgtn_StAcv is detected\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo is false\n\rTHEN [AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should stay false and\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should be false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 27 | 16659997.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM AbortionSCM Abortion Raw{
"ID": "16659997.0",
"ASIL": " ",
"Text": "SCM Abortion",
"Type": "Folder",
"Status": "",
"Summary": "SCM Abortion",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1330668.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 28 | 16659998.0 | Functional | Released | yes | True | IF[AND(1,2,3)]: 1) SCM_s_ScndCllsnMtgtn_StReq is true 2) SCM_s_ScndCllsnMtgtn_StAbo is false 3) CFBMKB_s_ScndCllsnMtgtn_StAbo cIF[AND(1,2,3)]: 1) SCM_s_ScndCllsnMtgtn_StReq is true 2) SCM_s_ScndCllsnMtgtn_StAbo is false 3) CFBMKB_s_ScndCllsnMtgtn_StAbo changes from false to true THEN: SCM_s_ScndCllsnMtgtn_StReq should be zero and SCM_s_ScndCllsnMtgtn_StAbo should be one Raw{
"ID": "16659998.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq is true\n\r2) SCM_s_ScndCllsnMtgtn_StAbo is false\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo changes from false to true\n\rTHEN:\n\rSCM_s_ScndCllsnMtgtn_StReq should be zero and\n\rSCM_s_ScndCllsnMtgtn_StAbo should be one",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1240816.0",
"Description": "IF[AND(1,2,3)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq is true\n\r2) SCM_s_ScndCllsnMtgtn_StAbo is false\n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo changes from false to true\n\rTHEN:\n\rSCM_s_ScndCllsnMtgtn_StReq should be zero and\n\rSCM_s_ScndCllsnMtgtn_StAbo should be one",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 29 | 16659999.0 | Functional | Released | yes | True | The self resetting mechanism for the abortion output signal should be checked as follows: IF[1]: 1) CFBMKB_s_ScndCllsnMtgtn_StAbThe self resetting mechanism for the abortion output signal should be checked as follows: IF[1]: 1) CFBMKB_s_ScndCllsnMtgtn_StAbo is true THEN: SCM_s_ScndCllsnMtgtn_StAbo should be true but for VMMP_SCM_p_tMaxExTiAbo cycles after the rising SCM_s_ScndCllsnMtgtn_StAbo signal it should be set to false. Raw{
"ID": "16659999.0",
"ASIL": " QM",
"Text": "The self resetting mechanism for the abortion output signal should be checked as follows:\n\rIF[1]:\n\r1) CFBMKB_s_ScndCllsnMtgtn_StAbo is true\n\rTHEN:\n\rSCM_s_ScndCllsnMtgtn_StAbo should be true\n\rbut for VMMP_SCM_p_tMaxExTiAbo cycles after the rising\n\rSCM_s_ScndCllsnMtgtn_StAbo signal it should be set to false.",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1240818.0",
"Description": "The self resetting mechanism for the abortion output signal should be checked as follows:\n\rIF[1]:\n\r1) CFBMKB_s_ScndCllsnMtgtn_StAbo is true\n\rTHEN:\n\rSCM_s_ScndCllsnMtgtn_StAbo should be true\n\rbut for VMMP_SCM_p_tMaxExTiAbo cycles after the rising\n\rSCM_s_ScndCllsnMtgtn_StAbo signal it should be set to false.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 30 | 16660000.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM Abortion while ParkingSCM Abortion while Parking Raw{
"ID": "16660000.0",
"ASIL": " ",
"Text": "SCM Abortion while Parking",
"Type": "Folder",
"Status": "",
"Summary": "SCM Abortion while Parking",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1407668.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 31 | 16660001.0 | Functional | Released | yes | True | IF[AND(1,2,3,4)]: 1) SCM_s_ScndCllsnMtgtn_StReq is true 2) SCM_s_ScndCllsnMtgtn_StAbo is false 3) CFBMKB_s_ScndCllsnMtgtn_StAbIF[AND(1,2,3,4)]: 1) SCM_s_ScndCllsnMtgtn_StReq is true 2) SCM_s_ScndCllsnMtgtn_StAbo is false 3) CFBMKB_s_ScndCllsnMtgtn_StAbo changes from false to true 4) AND(4.1, 4.2): 4.1) SCM_s_FlgPrkBrkAlyReq is true 4.2) SCM_s_FlgPrkPosnAlyReq is true THEN[AND(1,2)]: 1) SCM_s_ScndCllsnMtgtn_StReq should remain one as long as both park requests stay one (SCM_s_FlgPrkBrkAlyReq, SCM_s_FlgPrkPosnAlyReq) 2) SCM_s_ScndCllsnMtgtn_StAbo should remain zero as long as both park requests stay one (SCM_s_FlgPrkBrkAlyReq, SCM_s_FlgPrkPosnAlyReq) Raw{
"ID": "16660001.0",
"ASIL": " QM",
"Text": "IF[AND(1,2,3,4)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq is true\n\r2) SCM_s_ScndCllsnMtgtn_StAbo is false \n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo changes from false to true\n\r4) AND(4.1, 4.2):\n\r4.1) SCM_s_FlgPrkBrkAlyReq is true\n\r4.2) SCM_s_FlgPrkPosnAlyReq is true\n\r \n\rTHEN[AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should remain one as long as both park requests stay one (SCM_s_FlgPrkBrkAlyReq, SCM_s_FlgPrkPosnAlyReq)\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should remain zero as long as both park requests stay one (SCM_s_FlgPrkBrkAlyReq, SCM_s_FlgPrkPosnAlyReq)",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1407666.0",
"Description": "IF[AND(1,2,3,4)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq is true\n\r2) SCM_s_ScndCllsnMtgtn_StAbo is false \n\r3) CFBMKB_s_ScndCllsnMtgtn_StAbo changes from false to true\n\r4) AND(4.1, 4.2):\n\r4.1) SCM_s_FlgPrkBrkAlyReq is true\n\r4.2) SCM_s_FlgPrkPosnAlyReq is true\n\r \n\rTHEN[AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should remain one as long as both park requests stay one (SCM_s_FlgPrkBrkAlyReq, SCM_s_FlgPrkPosnAlyReq)\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should remain zero as long as both park requests stay one (SCM_s_FlgPrkBrkAlyReq, SCM_s_FlgPrkPosnAlyReq)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 32 | 16660002.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means: IF [1]: 1) TheThe following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means: IF [1]: 1) The signal CRMSA_s_SCM_StTar is equal to VMMP_CRMSA_c_SCMStTarOn for the actual and the previous timestep Raw{
"ID": "16660002.0",
"ASIL": " QM",
"Text": "The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means:\n\r \n\rIF [1]:\n\r1) The signal CRMSA_s_SCM_StTar is equal to VMMP_CRMSA_c_SCMStTarOn for the actual and the previous timestep",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1453419.0",
"Description": "The following requirements are only valid if the smart service is enabled by the Targetstate of SCM, which means:\n\r \n\rIF [1]:\n\r1) The signal CRMSA_s_SCM_StTar is equal to VMMP_CRMSA_c_SCMStTarOn for the actual and the previous timestep",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 33 | 16660003.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM Park RequestSCM Park Request Raw{
"ID": "16660003.0",
"ASIL": " ",
"Text": "SCM Park Request",
"Type": "Folder",
"Status": "",
"Summary": "SCM Park Request",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1330670.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 34 | 16660004.0 | Functional | Released | yes | True | IF [AND(1,2,3)]: 1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one 2) VSOEM_s_IF [AND(1,2,3)]: 1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one 2) VSOEM_s_VLgtVehNrm_FlgVld is valid, which means equal to one 3) Absolute vehicle velocity, VSOEM_s_VLgtVehNrm, is below VMMP_SCM_p_vLimitAlyPrkReq THEN: SCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq should be equal to one Raw{
"ID": "16660004.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,3)]:\n\r1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one\n\r2) VSOEM_s_VLgtVehNrm_FlgVld is valid, which means equal to one\n\r3) Absolute vehicle velocity, VSOEM_s_VLgtVehNrm, is below VMMP_SCM_p_vLimitAlyPrkReq\n\r \n\rTHEN:\n\rSCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq should be equal to one",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1330672.0",
"Description": "IF [AND(1,2,3)]:\n\r1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one\n\r2) VSOEM_s_VLgtVehNrm_FlgVld is valid, which means equal to one\n\r3) Absolute vehicle velocity, VSOEM_s_VLgtVehNrm, is below VMMP_SCM_p_vLimitAlyPrkReq\n\r \n\rTHEN:\n\rSCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq should be equal to one",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 35 | 23723661.0 | Functional | Released | yes | True | IF [AND(1,2,3)]: 1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one, for at leasIF [AND(1,2,3)]: 1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one, for at least VMMP_SCM_p_DlyPrkReq cycles 2) VSOEM_s_VLgtVehNrm_FlgVld is valid, which means equal to one 3) Absolute vehicle velocity, VSOEM_s_VLgtVehNrm, is below VMMP_SCM_p_vLimitAlyPrkReq THEN: SCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq should be equal to one Raw{
"ID": "23723661.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,3)]:\n\r1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one, for at least VMMP_SCM_p_DlyPrkReq cycles\n\r2) VSOEM_s_VLgtVehNrm_FlgVld is valid, which means equal to one\n\r3) Absolute vehicle velocity, VSOEM_s_VLgtVehNrm, is below VMMP_SCM_p_vLimitAlyPrkReq\n\r \n\rTHEN:\n\rSCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq should be equal to one",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "",
"Description": "IF [AND(1,2,3)]:\n\r1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one, for at least VMMP_SCM_p_DlyPrkReq cycles\n\r2) VSOEM_s_VLgtVehNrm_FlgVld is valid, which means equal to one\n\r3) Absolute vehicle velocity, VSOEM_s_VLgtVehNrm, is below VMMP_SCM_p_vLimitAlyPrkReq\n\r \n\rTHEN:\n\rSCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq should be equal to one",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 36 | 16660005.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM Park Request FinishedSCM Park Request Finished Raw{
"ID": "16660005.0",
"ASIL": " ",
"Text": "SCM Park Request Finished",
"Type": "Folder",
"Status": "",
"Summary": "SCM Park Request Finished",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1362751.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 37 | 16660006.0 | Functional | Released | yes | True | IF [AND(1,2)]: 1) There is an active park request (see , which means SCM_s_ScndCllsnMtgtn_StReq equals one AND SCM_s_FlgPrkBrkAlyIF [AND(1,2)]: 1) There is an active park request (see , which means SCM_s_ScndCllsnMtgtn_StReq equals one AND SCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq are equal to one 2) One of the park actuators is engaged, meaning HMSOP_s_StPrkBrkAcv OR HMSOP_s_StPrkPosnAcv is equal to two or three THEN [AND(1,2)]: 1) SCM_s_ScndCllsnMtgtn_StReq should be zero 2) SCM_s_ScndCllsnMtgtn_StAbo should be one for at least VMMP_SCM_p_tMaxExTiAbo cycles Raw{
"ID": "16660006.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]:\n\r1) There is an active park request (see No InterWiki reference defined in properties for 'mks'), which means SCM_s_ScndCllsnMtgtn_StReq equals one AND SCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq are equal to one\n\r2) One of the park actuators is engaged, meaning HMSOP_s_StPrkBrkAcv OR HMSOP_s_StPrkPosnAcv is equal to two or three\n\r \n\rTHEN [AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should be zero\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should be one for at least VMMP_SCM_p_tMaxExTiAbo cycles",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1362749.0",
"Description": "IF [AND(1,2)]:\n\r1) There is an active park request (see No InterWiki reference defined in properties for 'mks'), which means SCM_s_ScndCllsnMtgtn_StReq equals one AND SCM_s_FlgPrkBrkAlyReq AND SCM_s_FlgPrkPosnAlyReq are equal to one\n\r2) One of the park actuators is engaged, meaning HMSOP_s_StPrkBrkAcv OR HMSOP_s_StPrkPosnAcv is equal to two or three\n\r \n\rTHEN [AND(1,2)]:\n\r1) SCM_s_ScndCllsnMtgtn_StReq should be zero\n\r2) SCM_s_ScndCllsnMtgtn_StAbo should be one for at least VMMP_SCM_p_tMaxExTiAbo cycles",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 38 | 16660007.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | SCM Targetstate Off while active requestSCM Targetstate Off while active request Raw{
"ID": "16660007.0",
"ASIL": " ",
"Text": "SCM Targetstate Off while active request",
"Type": "Folder",
"Status": "",
"Summary": "SCM Targetstate Off while active request",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1330674.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 39 | 16660008.0 | Functional | Released | yes | True | IF [AND(1,2)]: 1) There is an active SCM request, which means SCM_s_ScndCllsnMtgtn_StReq is equal to one 2) During this active rIF [AND(1,2)]: 1) There is an active SCM request, which means SCM_s_ScndCllsnMtgtn_StReq is equal to one 2) During this active request the Targetstate for SCM switches to off, which means: CRMSA_s_SCM_StTar is unequal to VMMP_CRMSA_c_SCMStTarOn THEN [AND(1,2): 1) The active request should be maintained active, which means SCM_s_ScndCllsnMtgtn_StReq should stay 1, until: OR(1.1,1.2): 1.1) The maximum execution time is exceeded, see 1.2) A park request is finished 2) New requests will not result in a new active request Raw{
"ID": "16660008.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]:\n\r1) There is an active SCM request, which means SCM_s_ScndCllsnMtgtn_StReq is equal to one\n\r2) During this active request the Targetstate for SCM switches to off, which means:\n\rCRMSA_s_SCM_StTar is unequal to VMMP_CRMSA_c_SCMStTarOn\n\rTHEN [AND(1,2):\n\r1) The active request should be maintained active, which means SCM_s_ScndCllsnMtgtn_StReq should stay 1, until:\n\rOR(1.1,1.2):\n\r1.1) The maximum execution time is exceeded, see No InterWiki reference defined in properties for 'mks'.\n\r1.2) A park request is finished No InterWiki reference defined in properties for 'mks'\n\r2) New requests will not result in a new active request (No InterWiki reference defined in properties for 'mks')",
"Type": "Functional",
"Status": "Released",
"Summary": "",
"Relevant": "yes",
"column_12": "",
"Foreign ID": "1240823.0",
"Description": "IF [AND(1,2)]:\n\r1) There is an active SCM request, which means SCM_s_ScndCllsnMtgtn_StReq is equal to one\n\r2) During this active request the Targetstate for SCM switches to off, which means:\n\rCRMSA_s_SCM_StTar is unequal to VMMP_CRMSA_c_SCMStTarOn\n\rTHEN [AND(1,2):\n\r1) The active request should be maintained active, which means SCM_s_ScndCllsnMtgtn_StReq should stay 1, until:\n\rOR(1.1,1.2):\n\r1.1) The maximum execution time is exceeded, see No InterWiki reference defined in properties for 'mks'.\n\r1.2) A park request is finished No InterWiki reference defined in properties for 'mks'\n\r2) New requests will not result in a new active request (No InterWiki reference defined in properties for 'mks')",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |