Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCVL.xlsxrequirement61555d9d540583
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCVC.xlsxrequirement8498c7ce041333
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCTPP.xlsxrequirement391268034786d3
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCTOP.xlsxrequirement25399c77c0a4359
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCSGC.xlsxrequirement3525ce00146c017
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCDL.xlsxrequirement14266d83c447c0e
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCDC.xlsxrequirement237c2efa2f97fbf
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAP.xlsxrequirement146c49f79b5b921
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAFFC.xlsxrequirement108e9961e26d4d7
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAFBC.xlsxrequirement121d6d16c2599b6
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCADSL.xlsxrequirement50321b25fb7eb5
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCADF.xlsxrequirement25869f96f7e0555
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAD.xlsxrequirement202f37aa0201af4
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCACS.xlsxrequirement56ecc792c45f84
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAA.xlsxrequirement28253029dd436d9
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACTD.xlsxrequirement1622ca8ea8cdba
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACOP.xlsxrequirement73f40a3f3eb731
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACI.xlsxrequirement3232843cc5b88f
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACGC.xlsxrequirement67b43b811ef332
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACDCO.xlsxrequirement22bdc37323e405

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