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