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

RowIDTypeStatusRelevantCandidateReasonNormalized text
216659972.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Short description
Short 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"
}
316659973.0InformationnoFalsetype_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 r
The 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"
}
416659974.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Interface description
Interface 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"
}
516659975.0InformationnoFalsetype_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"
}
616659976.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter
Member/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"
}
716659977.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal
Member/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"
}
816659978.0InformationnoFalsetype_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 descrip
The 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"
}
916659979.0InformationnoFalsetype_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"
}
1016659980.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Presetting/Framework/Definitions
Presetting/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"
}
1116659981.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Toolchain
Toolchain

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"
}
1216659982.0FoldernoFalsetype_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"
}
1316659983.0Non-functionalReleasednoFalsetype_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"
}
1416659984.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Tolerances
Tolerances

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"
}
1516659985.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances: * Bool: No
The 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"
}
1616659986.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Bit numbering
Bit 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"
}
1716659987.0Non-functionalReleasednoFalsetype_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"
}
1816659988.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Conditions
Conditions

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"
}
1916659989.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Requirements
Requirements

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"
}
2016659990.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Switched Off
SCM 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"
}
2116659991.0FunctionalReleasedyesTrue
IF [1]: 1) VMMP_SCM_p_ScndCllsnMtgtnSwtOn equals zero THEN [1]: 1) SCM_s_ScndCllsnMtgtn_StReq equals zero 2) SCM_s_ScndCllsnMt
IF [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"
}
2216659992.0Pre ConditionReleasednoFalsetype_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: V
The 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"
}
2316659993.0Pre ConditionReleasednoFalsetype_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"
}
2416659994.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Request
SCM 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"
}
2516659995.0FunctionalReleasedyesTrue
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_tSafeQ
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_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"
}
2616659996.0FunctionalReleasedyesTrue
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 mor
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 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"
}
2716659997.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Abortion
SCM 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"
}
2816659998.0FunctionalReleasedyesTrue
IF[AND(1,2,3)]: 1) SCM_s_ScndCllsnMtgtn_StReq is true 2) SCM_s_ScndCllsnMtgtn_StAbo is false 3) CFBMKB_s_ScndCllsnMtgtn_StAbo c
IF[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"
}
2916659999.0FunctionalReleasedyesTrue
The self resetting mechanism for the abortion output signal should be checked as follows: IF[1]: 1) CFBMKB_s_ScndCllsnMtgtn_StAb
The 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"
}
3016660000.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Abortion while Parking
SCM 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"
}
3116660001.0FunctionalReleasedyesTrue
IF[AND(1,2,3,4)]: 1) SCM_s_ScndCllsnMtgtn_StReq is true 2) SCM_s_ScndCllsnMtgtn_StAbo is false 3) CFBMKB_s_ScndCllsnMtgtn_StAb
IF[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"
}
3216660002.0Pre ConditionReleasednoFalsetype_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) The
The 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"
}
3316660003.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Park Request
SCM 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"
}
3416660004.0FunctionalReleasedyesTrue
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"
}
3523723661.0FunctionalReleasedyesTrue
IF [AND(1,2,3)]: 1) There is an active SCM request (see 16659995), which means SCM_s_ScndCllsnMtgtn_StReq equals one, for at leas
IF [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"
}
3616660005.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Park Request Finished
SCM 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"
}
3716660006.0FunctionalReleasedyesTrue
IF [AND(1,2)]: 1) There is an active park request (see , which means SCM_s_ScndCllsnMtgtn_StReq equals one AND SCM_s_FlgPrkBrkAly
IF [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"
}
3816660007.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
SCM Targetstate Off while active request
SCM 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"
}
3916660008.0FunctionalReleasedyesTrue
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 r
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 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"
}