Source files
Mapping profiles
TORINO grounded verification · testcase
VMMP conservative · requirement
Import history
| File | Kind | Rows | Checksum |
|---|---|---|---|
| VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsx | requirement | 96 | 6c313a49d7cf |
| VME-PROD-VehicleMotionManagement - VMMP.xlsx | requirement | 297 | dcdcc7aa02b4 |
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCDL.xlsx · source records
| Row | ID | Type | Status | Relevant | Candidate | Reason | Normalized text |
|---|---|---|---|---|---|---|---|
| 2 | 16654807.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Short descriptionShort description Raw{
"ID": "16654807.0",
"ASIL": " ",
"Text": "Short description",
"Type": "Folder",
"Status": "",
"Summary": "Short description",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181256.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 3 | 16654808.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | If the current vehicle deceleration is not sufficient to stop the vehicle at the received target distance, the module LongitudinalIf the current vehicle deceleration is not sufficient to stop the vehicle at the received target distance, the module Longitudinal Controler Velocity Limitation (LOCDL) is responsible to decelerate the vehicle, to reach standstill in the requested distance. Raw{
"ID": "16654808.0",
"ASIL": " ",
"Text": "If the current vehicle deceleration is not sufficient to stop the vehicle at the received target distance, the module Longitudinal Controler Velocity Limitation (LOCDL) is responsible to decelerate the vehicle, to reach standstill in the requested distance.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181262.0",
"Description": "If the current vehicle deceleration is not sufficient to stop the vehicle at the received target distance, the module Longitudinal Controler Velocity Limitation (LOCDL) is responsible to decelerate the vehicle, to reach standstill in the requested distance.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 4 | 16654809.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Interface descriptionInterface description Raw{
"ID": "16654809.0",
"ASIL": " ",
"Text": "Interface description",
"Type": "Folder",
"Status": "",
"Summary": "Interface description",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181258.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 5 | 16654810.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The signal and parameter files for the relevant SWRS are:The signal and parameter files for the relevant SWRS are: Raw{
"ID": "16654810.0",
"ASIL": " ",
"Text": "The signal and parameter files for the relevant SWRS are:",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181271.0",
"Description": "The signal and parameter files for the relevant SWRS are:",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 6 | 16654811.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameterMember/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter Raw{
"ID": "16654811.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": "1181426.0",
"Description": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 7 | 16654812.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signalMember/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal Raw{
"ID": "16654812.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": "1181427.0",
"Description": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 8 | 16654813.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The valid versions of the signals and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface descriptThe valid versions of the signals and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface description" Raw{
"ID": "16654813.0",
"ASIL": " ",
"Text": "The valid versions of the signals and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 \"Interface description\"",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1360061.0",
"Description": "The valid versions of the signals and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 \"Interface description\"",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 9 | 16654814.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The valid version of the signal and parameter files for test basis to be find in CG, which to be testedThe valid version of the signal and parameter files for test basis to be find in CG, which to be tested Raw{
"ID": "16654814.0",
"ASIL": " ",
"Text": "The valid version of the signal and parameter files for test basis to be find in CG, which to be tested",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1360063.0",
"Description": "The valid version of the signal and parameter files for test basis to be find in CG, which to be tested",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 10 | 16654815.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | All outputs described in this document shall behave within the physical maximum and minumum values which are specified in SPE.All outputs described in this document shall behave within the physical maximum and minumum values which are specified in SPE. Raw{
"ID": "16654815.0",
"ASIL": " QM",
"Text": "All outputs described in this document shall behave within the physical maximum and minumum values which are specified in SPE.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1380501.0",
"Description": "All outputs described in this document shall behave within the physical maximum and minumum values which are specified in SPE.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 11 | 16654816.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Presetting/Framework/DefinitionsPresetting/Framework/Definitions Raw{
"ID": "16654816.0",
"ASIL": " ",
"Text": "Presetting/Framework/Definitions",
"Type": "Folder",
"Status": "",
"Summary": "Presetting/Framework/Definitions",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181539.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 12 | 16654817.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | TraceabilityTraceability Raw{
"ID": "16654817.0",
"ASIL": " ",
"Text": "Traceability",
"Type": "Folder",
"Status": "",
"Summary": "Traceability",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1307734.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 13 | 16654818.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | SWRS to Testcase: The latest revision of the test specification document is valid for the tracability SWRS to TestcaseSWRS to Testcase: The latest revision of the test specification document is valid for the tracability SWRS to Testcase Raw{
"ID": "16654818.0",
"ASIL": " ",
"Text": "SWRS to Testcase:\n\rNo InterWiki reference defined in properties for 'integrity'\n\rThe latest revision of the test specification document is valid for the tracability SWRS to Testcase",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1307733.0",
"Description": "SWRS to Testcase:\n\rNo InterWiki reference defined in properties for 'integrity'\n\rThe latest revision of the test specification document is valid for the tracability SWRS to Testcase",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 14 | 16654819.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | SWRS to Codebeamer: Codebeamer-IDs are mentioned in the SWRS atrribute DOORS IDs. The latest baseline of the specification docuSWRS to Codebeamer: Codebeamer-IDs are mentioned in the SWRS atrribute DOORS IDs. The latest baseline of the specification document (Codebeamer) is valid for the traceability SWRS to Codebeamer. Raw{
"ID": "16654819.0",
"ASIL": " ",
"Text": "SWRS to Codebeamer: \n\rCodebeamer-IDs are mentioned in the SWRS atrribute DOORS IDs.\n\r\n\rThe latest baseline of the specification document (Codebeamer) is valid for the traceability SWRS to Codebeamer.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1307732.0",
"Description": "SWRS to Codebeamer: \n\rCodebeamer-IDs are mentioned in the SWRS atrribute DOORS IDs.\n\r\n\rThe latest baseline of the specification document (Codebeamer) is valid for the traceability SWRS to Codebeamer.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 15 | 16654820.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | ToolchainToolchain Raw{
"ID": "16654820.0",
"ASIL": " ",
"Text": "Toolchain",
"Type": "Folder",
"Status": "",
"Summary": "Toolchain",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181540.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 16 | 16654821.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain. Raw{
"ID": "16654821.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": "1181537.0",
"Description": "The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 17 | 16654822.0 | Non-functional | Released | no | False | type_not_target, 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": "16654822.0",
"ASIL": " QM",
"Text": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181542.0",
"Description": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 18 | 16654823.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | TolerancesTolerances Raw{
"ID": "16654823.0",
"ASIL": " ",
"Text": "Tolerances",
"Type": "Folder",
"Status": "",
"Summary": "Tolerances",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181572.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 19 | 16654824.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances: Raw{
"ID": "16654824.0",
"ASIL": " QM",
"Text": "The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181566.0",
"Description": "The allowed B2B deviation for all output-signals to the expected reactions is defined by the following tolerances:",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 20 | 16654825.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | Bool: No deviation allowedBool: No deviation allowed Raw{
"ID": "16654825.0",
"ASIL": " QM",
"Text": "\n\r \n\r Bool: No deviation allowed",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181567.0",
"Description": "\n\r \n\r Bool: No deviation allowed",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 21 | 16654826.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | UInt, Int: No deviation allowedUInt, Int: No deviation allowed Raw{
"ID": "16654826.0",
"ASIL": " QM",
"Text": "UInt, Int: No deviation allowed",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181570.0",
"Description": "UInt, Int: No deviation allowed",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 22 | 16654827.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | Float: 0.1% related to the permissible value range of the signalFloat: 0.1% related to the permissible value range of the signal Raw{
"ID": "16654827.0",
"ASIL": " QM",
"Text": "Float: 0.1% related to the permissible value range of the signal",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181573.0",
"Description": "Float: 0.1% related to the permissible value range of the signal",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 23 | 16654828.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.It must be ensured that an output reaction occurs due to an event at the input within the same calculation step. Raw{
"ID": "16654828.0",
"ASIL": " QM",
"Text": "It 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": "1181574.0",
"Description": "It 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"
} |
| 24 | 16654829.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Protected DivisionProtected Division Raw{
"ID": "16654829.0",
"ASIL": " ",
"Text": "Protected Division",
"Type": "Folder",
"Status": "",
"Summary": "Protected Division",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1463351.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 25 | 16654830.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | All divisions (composed of a numerator and denominator) are protected against division by zero or values close to zero to avoid ovAll divisions (composed of a numerator and denominator) are protected against division by zero or values close to zero to avoid overflows by setting a threshold. When the absolute value of denominator becomes less than the specified threshold, then it will be replaced with the threshold multiplied with the sign of the denominator. As far as not described differently the threshold VMMP_c_DivLim is used. The threshold must be a positive value. Raw{
"ID": "16654830.0",
"ASIL": " QM",
"Text": "All divisions (composed of a numerator and denominator) are protected against division by zero or values close to zero to avoid overflows by setting a threshold.\n\rWhen the absolute value of denominator becomes less than the specified threshold, then it will be replaced with the threshold multiplied with the sign of the denominator.\n\rAs far as not described differently the threshold VMMP_c_DivLim is used. The threshold must be a positive value.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1463352.0",
"Description": "All divisions (composed of a numerator and denominator) are protected against division by zero or values close to zero to avoid overflows by setting a threshold.\n\rWhen the absolute value of denominator becomes less than the specified threshold, then it will be replaced with the threshold multiplied with the sign of the denominator.\n\rAs far as not described differently the threshold VMMP_c_DivLim is used. The threshold must be a positive value.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 26 | 16654831.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | RequirementsRequirements Raw{
"ID": "16654831.0",
"ASIL": " ",
"Text": "Requirements",
"Type": "Folder",
"Status": "",
"Summary": "Requirements",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181261.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 27 | 16654832.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Properties of Inputs-signalsProperties of Inputs-signals Raw{
"ID": "16654832.0",
"ASIL": " ",
"Text": "Properties of Inputs-signals",
"Type": "Folder",
"Status": "",
"Summary": "Properties of Inputs-signals",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214993.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 28 | 16654834.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | vehicle acceleration - VSOEM_s_ALgtVehCorvehicle acceleration - VSOEM_s_ALgtVehCor Raw{
"ID": "16654834.0",
"ASIL": " ",
"Text": "vehicle acceleration - VSOEM_s_ALgtVehCor",
"Type": "Folder",
"Status": "",
"Summary": "vehicle acceleration - VSOEM_s_ALgtVehCor",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334199.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 29 | 16654835.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The properties of input signal VSOEM_s_ALgtVehCor shall be within the range of the possible acceleration of a regular car. [-25..2The properties of input signal VSOEM_s_ALgtVehCor shall be within the range of the possible acceleration of a regular car. [-25..25m/s²] Raw{
"ID": "16654835.0",
"ASIL": " ",
"Text": "The properties of input signal VSOEM_s_ALgtVehCor shall be within the range of the possible acceleration of a regular car. [-25..25m/s²]",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215000.0",
"Description": "The properties of input signal VSOEM_s_ALgtVehCor shall be within the range of the possible acceleration of a regular car. [-25..25m/s²]",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 30 | 16654836.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The input signal VSOEM_s_ALgtVehCor shall not change with a rate exceeding [-100..100m/s³]. (i.e. change per 10ms step shall be atThe input signal VSOEM_s_ALgtVehCor shall not change with a rate exceeding [-100..100m/s³]. (i.e. change per 10ms step shall be at maximum +-1m/s²) Raw{
"ID": "16654836.0",
"ASIL": " QM",
"Text": "The input signal VSOEM_s_ALgtVehCor shall not change with a rate exceeding [-100..100m/s³]. (i.e. change per 10ms step shall be at maximum +-1m/s²)",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215414.0",
"Description": "The input signal VSOEM_s_ALgtVehCor shall not change with a rate exceeding [-100..100m/s³]. (i.e. change per 10ms step shall be at maximum +-1m/s²)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 31 | 16654843.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The input signal VSOEM_s_ALgtVehCor shall be the derivative of input signal VSOEM_s_VLgtVehCor. Note: VSOEM_s_ALgtVehCor(t)= (VThe input signal VSOEM_s_ALgtVehCor shall be the derivative of input signal VSOEM_s_VLgtVehCor. Note: VSOEM_s_ALgtVehCor(t)= (VSOEM_s_VLgtVehCor(t)-VSOEM_s_VLgtVehCor(t-VMMP_c_TiSmpl))/VMMP_c_TiSmpl Raw{
"ID": "16654843.0",
"ASIL": " QM",
"Text": "The input signal VSOEM_s_ALgtVehCor shall be the derivative of input signal VSOEM_s_VLgtVehCor.\n\r \n\rNote:\n\rVSOEM_s_ALgtVehCor(t)=\n\r(VSOEM_s_VLgtVehCor(t)-VSOEM_s_VLgtVehCor(t-VMMP_c_TiSmpl))/VMMP_c_TiSmpl",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334207.0",
"Description": "The input signal VSOEM_s_ALgtVehCor shall be the derivative of input signal VSOEM_s_VLgtVehCor.\n\r \n\rNote:\n\rVSOEM_s_ALgtVehCor(t)=\n\r(VSOEM_s_VLgtVehCor(t)-VSOEM_s_VLgtVehCor(t-VMMP_c_TiSmpl))/VMMP_c_TiSmpl",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 32 | 16654837.0 | Non-functional | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF LOCDL_s_LgtLimA_FlgAcv is false THEN the input signal VSOEM_s_ALgtVehCor can be chosen freely.IF LOCDL_s_LgtLimA_FlgAcv is false THEN the input signal VSOEM_s_ALgtVehCor can be chosen freely. Raw{
"ID": "16654837.0",
"ASIL": " QM",
"Text": "IF\n\rLOCDL_s_LgtLimA_FlgAcv is false\n\rTHEN\n\rthe input signal VSOEM_s_ALgtVehCor can be chosen freely.",
"Type": "Non-functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215418.0",
"Description": "IF\n\rLOCDL_s_LgtLimA_FlgAcv is false\n\rTHEN\n\rthe input signal VSOEM_s_ALgtVehCor can be chosen freely.",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 33 | 16654838.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | vehicle velocity - VSOEM_s_VLgtVehCorvehicle velocity - VSOEM_s_VLgtVehCor Raw{
"ID": "16654838.0",
"ASIL": " ",
"Text": "vehicle velocity - VSOEM_s_VLgtVehCor",
"Type": "Folder",
"Status": "",
"Summary": "vehicle velocity - VSOEM_s_VLgtVehCor",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334201.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 34 | 16654839.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The input signal VSOEM_s_VLgtVehCor shall be positiv.The input signal VSOEM_s_VLgtVehCor shall be positiv. Raw{
"ID": "16654839.0",
"ASIL": " ",
"Text": "The input signal VSOEM_s_VLgtVehCor shall be positiv.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1355446.0",
"Description": "The input signal VSOEM_s_VLgtVehCor shall be positiv.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 35 | 16654840.0 | Non-functional | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF LOCDL_FlgAcvLimD is true THEN the input signal VSOEM_s_ALgtVehCor shall follow the output signal LOCDL_s_LgtLimA_ADmd with tIF LOCDL_FlgAcvLimD is true THEN the input signal VSOEM_s_ALgtVehCor shall follow the output signal LOCDL_s_LgtLimA_ADmd with the maximal positive gradient of output signal LOCDL_s_LgtLimA_AGrdMaxInc and the maximal negative gradient of LOCDL_s_LgtLimA_AGrdMaxDec in a behavior of a PT1 system with a delay (T1 = LOCAP_s_TiCnstCtlSys, delay time = LOCAP_s_TiDlyATqAct) Raw{
"ID": "16654840.0",
"ASIL": " QM",
"Text": "IF\n\rLOCDL_FlgAcvLimD is true\n\rTHEN\n\rthe input signal VSOEM_s_ALgtVehCor shall follow the output signal LOCDL_s_LgtLimA_ADmd with the maximal positive gradient of output signal LOCDL_s_LgtLimA_AGrdMaxInc and the maximal negative gradient of LOCDL_s_LgtLimA_AGrdMaxDec in a behavior of a PT1 system with a delay (T1 = LOCAP_s_TiCnstCtlSys, delay time = LOCAP_s_TiDlyATqAct)",
"Type": "Non-functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215416.0",
"Description": "IF\n\rLOCDL_FlgAcvLimD is true\n\rTHEN\n\rthe input signal VSOEM_s_ALgtVehCor shall follow the output signal LOCDL_s_LgtLimA_ADmd with the maximal positive gradient of output signal LOCDL_s_LgtLimA_AGrdMaxInc and the maximal negative gradient of LOCDL_s_LgtLimA_AGrdMaxDec in a behavior of a PT1 system with a delay (T1 = LOCAP_s_TiCnstCtlSys, delay time = LOCAP_s_TiDlyATqAct)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 36 | 16654841.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The properties of input signal VSOEM_s_VLgtVehCor shall be within the range of the possible velocity of a regular car [-20...100m/The properties of input signal VSOEM_s_VLgtVehCor shall be within the range of the possible velocity of a regular car [-20...100m/s]. Raw{
"ID": "16654841.0",
"ASIL": " ",
"Text": "The properties of input signal VSOEM_s_VLgtVehCor shall be within the range of the possible velocity of a regular car [-20...100m/s].",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334203.0",
"Description": "The properties of input signal VSOEM_s_VLgtVehCor shall be within the range of the possible velocity of a regular car [-20...100m/s].",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 37 | 16654842.0 | Non-functional | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | The input signal VSOEM_s_VLgtVehCor shall be continuous.The input signal VSOEM_s_VLgtVehCor shall be continuous. Raw{
"ID": "16654842.0",
"ASIL": " QM",
"Text": "The input signal VSOEM_s_VLgtVehCor shall be continuous.",
"Type": "Non-functional",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334205.0",
"Description": "The input signal VSOEM_s_VLgtVehCor shall be continuous.",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 38 | 16654844.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | The input signal VSOEM_s_VLgtVehCor shall be within a range of 0 m/s up to 10 m/s. (differing from SPE)The input signal VSOEM_s_VLgtVehCor shall be within a range of 0 m/s up to 10 m/s. (differing from SPE) Raw{
"ID": "16654844.0",
"ASIL": " QM",
"Text": "The input signal VSOEM_s_VLgtVehCor shall be within a range of 0 m/s up to 10 m/s. (differing from SPE)",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1355450.0",
"Description": "The input signal VSOEM_s_VLgtVehCor shall be within a range of 0 m/s up to 10 m/s. (differing from SPE)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 39 | 16654845.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | In modules calculated before this module it is ensured, that the velocity range is adheredIn modules calculated before this module it is ensured, that the velocity range is adhered Raw{
"ID": "16654845.0",
"ASIL": " ",
"Text": "In modules calculated before this module it is ensured, that the velocity range is adhered",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1355452.0",
"Description": "In modules calculated before this module it is ensured, that the velocity range is adhered",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 40 | 16654846.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | trajectory longitudinal control interface -trajectory longitudinal control interface - Raw{
"ID": "16654846.0",
"ASIL": " ",
"Text": "trajectory longitudinal control interface -",
"Type": "Folder",
"Status": "",
"Summary": "trajectory longitudinal control interface -",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1258747.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 41 | 16654847.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | TVCOP_s_LgtCtl_DTarLimD TVCOP_s_LgtCtl_FlgAcvLimD TVCOP_s_LgtCtl_FlgUpdLimD For a testcase, where TVCOP_s_LgtCtl_FlgAcvLimD reTVCOP_s_LgtCtl_DTarLimD TVCOP_s_LgtCtl_FlgAcvLimD TVCOP_s_LgtCtl_FlgUpdLimD For a testcase, where TVCOP_s_LgtCtl_FlgAcvLimD remains true and TVCOP_s_LgtCtl_FlgUpdLimD remains false until the travelled distance Dtot becomes greater than the active requested distance TVCOP_s_LgtCtl_DTarLimD. Raw{
"ID": "16654847.0",
"ASIL": " ",
"Text": "TVCOP_s_LgtCtl_DTarLimD\n\rTVCOP_s_LgtCtl_FlgAcvLimD\n\rTVCOP_s_LgtCtl_FlgUpdLimD\n\r \n\rFor a testcase, where\n\rTVCOP_s_LgtCtl_FlgAcvLimD remains true and\n\rTVCOP_s_LgtCtl_FlgUpdLimD remains false\n\runtil\n\rthe travelled distance Dtot becomes greater than the active requested distance TVCOP_s_LgtCtl_DTarLimD.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334289.0",
"Description": "TVCOP_s_LgtCtl_DTarLimD\n\rTVCOP_s_LgtCtl_FlgAcvLimD\n\rTVCOP_s_LgtCtl_FlgUpdLimD\n\r \n\rFor a testcase, where\n\rTVCOP_s_LgtCtl_FlgAcvLimD remains true and\n\rTVCOP_s_LgtCtl_FlgUpdLimD remains false\n\runtil\n\rthe travelled distance Dtot becomes greater than the active requested distance TVCOP_s_LgtCtl_DTarLimD.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 42 | 16654848.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | arbitration longitudinal control interface -arbitration longitudinal control interface - Raw{
"ID": "16654848.0",
"ASIL": " ",
"Text": "arbitration longitudinal control interface -",
"Type": "Folder",
"Status": "",
"Summary": "arbitration longitudinal control interface -",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334294.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 43 | 16654849.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | ARBLLCSC_s_LgtCtl_DTarLimD ARBLLCSC_s_LgtCtl_FlgAcvLimD ARBLLCSC_s_LgtCtl_FlgUpdLimD For a testcase, where ARBLLCSC_s_LgtCtl_FARBLLCSC_s_LgtCtl_DTarLimD ARBLLCSC_s_LgtCtl_FlgAcvLimD ARBLLCSC_s_LgtCtl_FlgUpdLimD For a testcase, where ARBLLCSC_s_LgtCtl_FlgAcvLimD remains true and ARBLLCSC_s_LgtCtl_FlgUpdLimD remains false until the travelled distance Dtot becomes greater than the active requested distance ARBLLCSC_s_LgtCtl_DTarLimD. Raw{
"ID": "16654849.0",
"ASIL": " ",
"Text": "ARBLLCSC_s_LgtCtl_DTarLimD\n\rARBLLCSC_s_LgtCtl_FlgAcvLimD\n\rARBLLCSC_s_LgtCtl_FlgUpdLimD\n\r \n\rFor a testcase, where\n\rARBLLCSC_s_LgtCtl_FlgAcvLimD remains true and\n\rARBLLCSC_s_LgtCtl_FlgUpdLimD remains false\n\runtil\n\rthe travelled distance Dtot becomes greater than the active requested distance ARBLLCSC_s_LgtCtl_DTarLimD.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1334296.0",
"Description": "ARBLLCSC_s_LgtCtl_DTarLimD\n\rARBLLCSC_s_LgtCtl_FlgAcvLimD\n\rARBLLCSC_s_LgtCtl_FlgUpdLimD\n\r \n\rFor a testcase, where\n\rARBLLCSC_s_LgtCtl_FlgAcvLimD remains true and\n\rARBLLCSC_s_LgtCtl_FlgUpdLimD remains false\n\runtil\n\rthe travelled distance Dtot becomes greater than the active requested distance ARBLLCSC_s_LgtCtl_DTarLimD.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 44 | 16654850.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | Range of valuesRange of values Raw{
"ID": "16654850.0",
"ASIL": " ",
"Text": "Range of values",
"Type": "Folder",
"Status": "",
"Summary": "Range of values",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215002.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 45 | 16654851.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The values for Initial_velocity VSOEM_s_VLgtVehCor and target distance TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD, muThe values for Initial_velocity VSOEM_s_VLgtVehCor and target distance TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD, must be chosen in a way that the resulting acceleration is greater than "-10 m/s²", due to the limited validity of the provided vehicle physics model concerning higher decelerations. Raw{
"ID": "16654851.0",
"ASIL": " ",
"Text": "The values for Initial_velocity VSOEM_s_VLgtVehCor and\n\rtarget distance TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD,\n\rmust be chosen in a way that the resulting acceleration is greater than \"-10 m/s²\", due to the limited validity of the provided vehicle physics model concerning higher decelerations.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215004.0",
"Description": "The values for Initial_velocity VSOEM_s_VLgtVehCor and\n\rtarget distance TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD,\n\rmust be chosen in a way that the resulting acceleration is greater than \"-10 m/s²\", due to the limited validity of the provided vehicle physics model concerning higher decelerations.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 46 | 16654852.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | The parameters LOCAP_s_TiDlyCtlSys, LOCAP_s_TiCnstCtlSys and LOCAP_s_TiDlyATqAct shall depict the vehicle physics, so in early tesThe parameters LOCAP_s_TiDlyCtlSys, LOCAP_s_TiCnstCtlSys and LOCAP_s_TiDlyATqAct shall depict the vehicle physics, so in early testing stages it is recommended to assume these parameters as constant during each test case. Raw{
"ID": "16654852.0",
"ASIL": " ",
"Text": "The parameters LOCAP_s_TiDlyCtlSys, LOCAP_s_TiCnstCtlSys and LOCAP_s_TiDlyATqAct shall depict the vehicle physics, so in early testing stages it is recommended to assume these parameters as constant during each test case.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1217638.0",
"Description": "The parameters LOCAP_s_TiDlyCtlSys, LOCAP_s_TiCnstCtlSys and LOCAP_s_TiDlyATqAct shall depict the vehicle physics, so in early testing stages it is recommended to assume these parameters as constant during each test case.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 47 | 16654853.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | For the first test cases it is recommended to set TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD, depending on ARBLLCSC_s_LFor the first test cases it is recommended to set TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD, depending on ARBLLCSC_s_LgtCtl_StAcv, to a constant value during each test case. For further test development, the change of these values with their corresponding update flags, can be tested. For these change of mind situations both possibilities, decreasing or increasing the target distance shall be tested. Raw{
"ID": "16654853.0",
"ASIL": " ",
"Text": "For the first test cases it is recommended to set TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD, depending on ARBLLCSC_s_LgtCtl_StAcv, to a constant value during each test case. For further test development, the change of these values with their corresponding update flags, can be tested. For these change of mind situations both possibilities, decreasing or increasing the target distance shall be tested.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215496.0",
"Description": "For the first test cases it is recommended to set TVCOP_s_LgtCtl_DTarLimD or ARBLLCSC_s_LgtCtl_DTarLimD, depending on ARBLLCSC_s_LgtCtl_StAcv, to a constant value during each test case. For further test development, the change of these values with their corresponding update flags, can be tested. For these change of mind situations both possibilities, decreasing or increasing the target distance shall be tested.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 48 | 16654854.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | PreprocessingPreprocessing Raw{
"ID": "16654854.0",
"ASIL": " ",
"Text": "Preprocessing",
"Type": "Folder",
"Status": "",
"Summary": "Preprocessing",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181269.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 49 | 16654855.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | For the signal preprocessing the variables FlgUpdLimD, FlgAcvLimD, DTarLimD and FlgReqAcv are introduced.For the signal preprocessing the variables FlgUpdLimD, FlgAcvLimD, DTarLimD and FlgReqAcv are introduced. Raw{
"ID": "16654855.0",
"ASIL": " ",
"Text": "For the signal preprocessing the variables FlgUpdLimD, FlgAcvLimD, DTarLimD and FlgReqAcv are introduced.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214985.0",
"Description": "For the signal preprocessing the variables FlgUpdLimD, FlgAcvLimD, DTarLimD and FlgReqAcv are introduced.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 50 | 16654856.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | Both flags FlgUpdLimD, FlgAcvLimD are always not true if not required differently in this chapter.Both flags FlgUpdLimD, FlgAcvLimD are always not true if not required differently in this chapter. Raw{
"ID": "16654856.0",
"ASIL": " QM",
"Text": "Both flags FlgUpdLimD, FlgAcvLimD are always not true if not required differently in this chapter.",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1218087.0",
"Description": "Both flags FlgUpdLimD, FlgAcvLimD are always not true if not required differently in this chapter.",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 51 | 16654857.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF [AND(1,2)] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgAcvLimD is true THIF [AND(1,2)] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgAcvLimD is true THEN: FlgAcvLimD is true Raw{
"ID": "16654857.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgAcvLimD is true",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1218082.0",
"Description": "IF [AND(1,2)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgAcvLimD is true",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 52 | 16654858.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF [AND(1,2)] 1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) ARBLLCSC_s_LgtCtl_FlgAcvLimD is tIF [AND(1,2)] 1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true THEN: FlgAcvLimD is true Raw{
"ID": "16654858.0",
"ASIL": " QM",
"Text": "IF [AND(1,2)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgAcvLimD is true",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1218084.0",
"Description": "IF [AND(1,2)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgAcvLimD is true",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 53 | 16654859.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [OR(AND(1,2),AND(3,4))] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgAcvLimIF [OR(AND(1,2),AND(3,4))] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgAcvLimD is true 3) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 4) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true THEN: FlgAcvLimD is true ELSE: FlgAcvLimD is false Raw{
"ID": "16654859.0",
"ASIL": " QM",
"Text": "IF [OR(AND(1,2),AND(3,4))]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r4) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\rTHEN:\n\rFlgAcvLimD is true\n\rELSE:\n\rFlgAcvLimD is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1361132.0",
"Description": "IF [OR(AND(1,2),AND(3,4))]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r4) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\rTHEN:\n\rFlgAcvLimD is true\n\rELSE:\n\rFlgAcvLimD is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 54 | 16654860.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF [AND(1,OR(2,3),4)] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgUpdLimD isIF [AND(1,OR(2,3),4)] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgUpdLimD is true 3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle 4) TVCOP_s_LgtCtl_FlgAcvLimD is true THEN: FlgUpdLimD is true Raw{
"ID": "16654860.0",
"ASIL": " QM",
"Text": "IF [AND(1,OR(2,3),4)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgUpdLimD is true",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214702.0",
"Description": "IF [AND(1,OR(2,3),4)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgUpdLimD is true",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 55 | 16654861.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF [AND(1,OR(2,3),4)] 1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) ARBLLCSC_s_LgtCtl_FlgUpdLIF [AND(1,OR(2,3),4)] 1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) ARBLLCSC_s_LgtCtl_FlgUpdLimD is true 3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle 4) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true THEN: FlgUpdLimD is true Raw{
"ID": "16654861.0",
"ASIL": " QM",
"Text": "IF [AND(1,OR(2,3),4)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) ARBLLCSC_s_LgtCtl_FlgUpdLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgUpdLimD is true",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214718.0",
"Description": "IF [AND(1,OR(2,3),4)]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) ARBLLCSC_s_LgtCtl_FlgUpdLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgUpdLimD is true",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 56 | 16654862.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [OR(AND(1,OR(2,3),4),AND(5,OR(3,6),7)) ] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_sIF [OR(AND(1,OR(2,3),4),AND(5,OR(3,6),7)) ] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgUpdLimD is true 3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle 4) TVCOP_s_LgtCtl_FlgAcvLimD is true 5) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 6) ARBLLCSC_s_LgtCtl_FlgUpdLimD is true 7) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true THEN: FlgUpdLimD is true ELSE: FlgUpdLimD is false Raw{
"ID": "16654862.0",
"ASIL": " QM",
"Text": "IF [OR(AND(1,OR(2,3),4),AND(5,OR(3,6),7)) ]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r5) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r6) ARBLLCSC_s_LgtCtl_FlgUpdLimD is true\n\r7) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgUpdLimD is true\n\r \n\rELSE:\n\rFlgUpdLimD is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1361134.0",
"Description": "IF [OR(AND(1,OR(2,3),4),AND(5,OR(3,6),7)) ]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD is true\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r5) ARBLLCSC_s_LgtCtl_StAcv is not equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r6) ARBLLCSC_s_LgtCtl_FlgUpdLimD is true\n\r7) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r \n\rTHEN:\n\rFlgUpdLimD is true\n\r \n\rELSE:\n\rFlgUpdLimD is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 57 | 23223925.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [OR(AND(1,OR(2,3),4),AND(NOT(1),OR(3,5),6))] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCIF [OR(AND(1,OR(2,3),4),AND(NOT(1),OR(3,5),6))] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgUpdLimD has a rising edge 3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle 4) TVCOP_s_LgtCtl_FlgAcvLimD is true 5) ARBLLCSC_s_LgtCtl_FlgUpdLimD has a rising edge 6) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true THEN: FlgUpdLimD is true ELSE: FlgUpdLimD is false Raw{
"ID": "23223925.0",
"ASIL": " QM",
"Text": "IF [OR(AND(1,OR(2,3),4),AND(NOT(1),OR(3,5),6))]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD has a rising edge\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r5) ARBLLCSC_s_LgtCtl_FlgUpdLimD has a rising edge\n\r6) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\rTHEN:\n\rFlgUpdLimD is true\n\r \n\rELSE:\n\rFlgUpdLimD is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [OR(AND(1,OR(2,3),4),AND(NOT(1),OR(3,5),6))]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD has a rising edge\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r5) ARBLLCSC_s_LgtCtl_FlgUpdLimD has a rising edge\n\r6) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\rTHEN:\n\rFlgUpdLimD is true\n\r \n\rELSE:\n\rFlgUpdLimD is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 58 | 36715087.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2,3)] 1) LOCDC_s_LgtCtlV_FlgInDTlr is false 2) HMSOP_s_StHldAcv is equal to VMMP_HMSHC_c_StHldAcvHld 3) Condition 1 aIF [AND(1,2,3)] 1) LOCDC_s_LgtCtlV_FlgInDTlr is false 2) HMSOP_s_StHldAcv is equal to VMMP_HMSHC_c_StHldAcvHld 3) Condition 1 and Condition 2 have been true for longer than VMMP_LOCDL_p_LgtLimD_TiDebLimDReqRst THEN: FlgHldOutDTlr is true ELSE: FlgHldOutDTlr is false Raw{
"ID": "36715087.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,3)]\n\r1) LOCDC_s_LgtCtlV_FlgInDTlr is false\n\r2) HMSOP_s_StHldAcv is equal to VMMP_HMSHC_c_StHldAcvHld\n\r3) Condition 1 and Condition 2 have been true for longer than VMMP_LOCDL_p_LgtLimD_TiDebLimDReqRst\n\r \n\rTHEN:\n\rFlgHldOutDTlr is true\n\r \n\rELSE:\n\rFlgHldOutDTlr is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [AND(1,2,3)]\n\r1) LOCDC_s_LgtCtlV_FlgInDTlr is false\n\r2) HMSOP_s_StHldAcv is equal to VMMP_HMSHC_c_StHldAcvHld\n\r3) Condition 1 and Condition 2 have been true for longer than VMMP_LOCDL_p_LgtLimD_TiDebLimDReqRst\n\r \n\rTHEN:\n\rFlgHldOutDTlr is true\n\r \n\rELSE:\n\rFlgHldOutDTlr is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 59 | 36715047.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [OR(AND(1,OR(2,3,7),4),AND(NOT(1),OR(3,5,7),6))] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2)IF [OR(AND(1,OR(2,3,7),4),AND(NOT(1),OR(3,5,7),6))] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 2) TVCOP_s_LgtCtl_FlgUpdLimD has a rising edge 3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle 4) TVCOP_s_LgtCtl_FlgAcvLimD is true 5) ARBLLCSC_s_LgtCtl_FlgUpdLimD has a rising edge 6) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true 7) FlgHldOutDTlr has a rising edge THEN: FlgUpdLimD is true ELSE: FlgUpdLimD is false Raw{
"ID": "36715047.0",
"ASIL": " QM",
"Text": "IF [OR(AND(1,OR(2,3,7),4),AND(NOT(1),OR(3,5,7),6))]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD has a rising edge\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r5) ARBLLCSC_s_LgtCtl_FlgUpdLimD has a rising edge\n\r6) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r7) FlgHldOutDTlr has a rising edge\n\r \n\rTHEN:\n\rFlgUpdLimD is true\n\r \n\rELSE:\n\rFlgUpdLimD is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [OR(AND(1,OR(2,3,7),4),AND(NOT(1),OR(3,5,7),6))]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r2) TVCOP_s_LgtCtl_FlgUpdLimD has a rising edge\n\r3) ARBLLCSC_s_LgtCtl_StAcv has changed since the last computation cycle\n\r4) TVCOP_s_LgtCtl_FlgAcvLimD is true\n\r5) ARBLLCSC_s_LgtCtl_FlgUpdLimD has a rising edge\n\r6) ARBLLCSC_s_LgtCtl_FlgAcvLimD is true\n\r7) FlgHldOutDTlr has a rising edge\n\r \n\rTHEN:\n\rFlgUpdLimD is true\n\r \n\rELSE:\n\rFlgUpdLimD is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 60 | 16654863.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [1] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl THEN: DTarLimD is equal to TVCOP_s_LgtCtl_DTarIF [1] 1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl THEN: DTarLimD is equal to TVCOP_s_LgtCtl_DTarLimD ELSE: DTarLimD is equal to ARBLLCSC_s_LgtCtl_DTarLimD Raw{
"ID": "16654863.0",
"ASIL": " QM",
"Text": "IF [1]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN:\n\rDTarLimD is equal to TVCOP_s_LgtCtl_DTarLimD\n\rELSE:\n\rDTarLimD is equal to ARBLLCSC_s_LgtCtl_DTarLimD",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214721.0",
"Description": "IF [1]\n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN:\n\rDTarLimD is equal to TVCOP_s_LgtCtl_DTarLimD\n\rELSE:\n\rDTarLimD is equal to ARBLLCSC_s_LgtCtl_DTarLimD",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 61 | 16654864.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | LgtLimA_DTar is the distance that must not be exceeded since activation:LgtLimA_DTar is the distance that must not be exceeded since activation: Raw{
"ID": "16654864.0",
"ASIL": " ",
"Text": "LgtLimA_DTar is the distance that must not be exceeded since activation:",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215498.0",
"Description": "LgtLimA_DTar is the distance that must not be exceeded since activation:",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 62 | 16654865.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [OR(1,2)] 1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle 2) FlgUpdLimD is greater than FlgUpdLiIF [OR(1,2)] 1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle 2) FlgUpdLimD is greater than FlgUpdLimD from the previous computation cycle THEN: LgtLimA_DTar is equal to DTarLimD ELSE: LgtLimA_DTar is equal to LgtLimA_DTar from the previous computation cycle Raw{
"ID": "16654865.0",
"ASIL": " QM",
"Text": "IF [OR(1,2)]\n\r1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle\n\r2) FlgUpdLimD is greater than FlgUpdLimD from the previous computation cycle\n\r \n\rTHEN:\n\rLgtLimA_DTar is equal to DTarLimD\n\r \n\rELSE:\n\rLgtLimA_DTar is equal to LgtLimA_DTar from the previous computation cycle",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214742.0",
"Description": "IF [OR(1,2)]\n\r1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle\n\r2) FlgUpdLimD is greater than FlgUpdLimD from the previous computation cycle\n\r \n\rTHEN:\n\rLgtLimA_DTar is equal to DTarLimD\n\r \n\rELSE:\n\rLgtLimA_DTar is equal to LgtLimA_DTar from the previous computation cycle",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 63 | 23224029.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1]: 1) FlgAcvLimD is smaller than FlgAcvLimD from the previous computation cycle THEN: LgtLimA_DTar is equal to -1 ELSEIF [IF[1]: 1) FlgAcvLimD is smaller than FlgAcvLimD from the previous computation cycle THEN: LgtLimA_DTar is equal to -1 ELSEIF [OR(1,2)] 1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle 2) FlgUpdLimD is true THEN: LgtLimA_DTar is equal to DTarLimD ELSE: LgtLimA_DTar is equal to LgtLimA_DTar from the previous computation cycle Raw{
"ID": "23224029.0",
"ASIL": " QM",
"Text": "IF[1]:\n\r1) FlgAcvLimD is smaller than FlgAcvLimD from the previous computation cycle\n\rTHEN:\n\rLgtLimA_DTar is equal to -1\n\r \n\rELSEIF [OR(1,2)]\n\r1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle\n\r2) FlgUpdLimD is true\n\rTHEN:\n\rLgtLimA_DTar is equal to DTarLimD \n\r \n\rELSE:\n\rLgtLimA_DTar is equal to LgtLimA_DTar from the previous computation cycle",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]:\n\r1) FlgAcvLimD is smaller than FlgAcvLimD from the previous computation cycle\n\rTHEN:\n\rLgtLimA_DTar is equal to -1\n\r \n\rELSEIF [OR(1,2)]\n\r1) FlgAcvLimD is greater than FlgAcvLimD from the previous computation cycle\n\r2) FlgUpdLimD is true\n\rTHEN:\n\rLgtLimA_DTar is equal to DTarLimD \n\r \n\rELSE:\n\rLgtLimA_DTar is equal to LgtLimA_DTar from the previous computation cycle",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 64 | 16654866.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF [AND(1,2,OR(3,4,5,6))] 1) FlgAcvLimD is true 2) LgtLimA_DTar delayed by one computation cycle is greater than -1 3) VMMP_LOCIF [AND(1,2,OR(3,4,5,6))] 1) FlgAcvLimD is true 2) LgtLimA_DTar delayed by one computation cycle is greater than -1 3) VMMP_LOCDL_p_SwtActClcOff is false 4) FlgUpdLimD is false 5) DTarLimD is smaller than or equal to DToStop from the last computation cycle 6) DTarLimD is smaller than or equal to (VMMP_LOC_p_LgtD_DDifAFrz +2*VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor+2*VMMP_c_TiSmpl^2*VSOEM_s_ALgtVehCor) THEN: FlgReqAcv is true ELSE: FlgReqAcv is false Raw{
"ID": "16654866.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,OR(3,4,5,6))]\n\r1) FlgAcvLimD is true\n\r2) LgtLimA_DTar delayed by one computation cycle is greater than -1\n\r3) VMMP_LOCDL_p_SwtActClcOff is false\n\r4) FlgUpdLimD is false\n\r5) DTarLimD is smaller than or equal to DToStop from the last computation cycle\n\r6) DTarLimD is smaller than or equal to (VMMP_LOC_p_LgtD_DDifAFrz +2*VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor+2*VMMP_c_TiSmpl^2*VSOEM_s_ALgtVehCor)\n\r \n\rTHEN:\n\rFlgReqAcv is true\n\r \n\rELSE:\n\rFlgReqAcv is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1258734.0",
"Description": "IF [AND(1,2,OR(3,4,5,6))]\n\r1) FlgAcvLimD is true\n\r2) LgtLimA_DTar delayed by one computation cycle is greater than -1\n\r3) VMMP_LOCDL_p_SwtActClcOff is false\n\r4) FlgUpdLimD is false\n\r5) DTarLimD is smaller than or equal to DToStop from the last computation cycle\n\r6) DTarLimD is smaller than or equal to (VMMP_LOC_p_LgtD_DDifAFrz +2*VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor+2*VMMP_c_TiSmpl^2*VSOEM_s_ALgtVehCor)\n\r \n\rTHEN:\n\rFlgReqAcv is true\n\r \n\rELSE:\n\rFlgReqAcv is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 65 | 23224093.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | IF [AND(1,2,OR(3,4,5,6))] 1) FlgAcvLimD is true 2) LgtLimA_DTar delayed by one computation cycle is greater than -1 3) VMMP_LOCIF [AND(1,2,OR(3,4,5,6))] 1) FlgAcvLimD is true 2) LgtLimA_DTar delayed by one computation cycle is greater than -1 3) VMMP_LOCDL_p_SwtActClcOff is false 4) FlgUpdLimD is false 5) DTarLimD is smaller than or equal to DToStop from the last computation cycle 6) DTarLimD is smaller than or equal to (VMMP_LOC_p_LgtD_DDifAFrz +2*VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor+2*VMMP_c_TiSmpl^2*VSOEM_s_ALgtVehCor) THEN: FlgReqAcv is true ELSE: FlgReqAcv is not true Raw{
"ID": "23224093.0",
"ASIL": " QM",
"Text": "IF [AND(1,2,OR(3,4,5,6))]\n\r1) FlgAcvLimD is true\n\r2) LgtLimA_DTar delayed by one computation cycle is greater than -1\n\r3) VMMP_LOCDL_p_SwtActClcOff is false\n\r4) FlgUpdLimD is false\n\r5) DTarLimD is smaller than or equal to DToStop from the last computation cycle\n\r6) DTarLimD is smaller than or equal to (VMMP_LOC_p_LgtD_DDifAFrz +2*VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor+2*VMMP_c_TiSmpl^2*VSOEM_s_ALgtVehCor)\n\rTHEN:\n\rFlgReqAcv is true\n\r \n\rELSE:\n\rFlgReqAcv is not true",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF [AND(1,2,OR(3,4,5,6))]\n\r1) FlgAcvLimD is true\n\r2) LgtLimA_DTar delayed by one computation cycle is greater than -1\n\r3) VMMP_LOCDL_p_SwtActClcOff is false\n\r4) FlgUpdLimD is false\n\r5) DTarLimD is smaller than or equal to DToStop from the last computation cycle\n\r6) DTarLimD is smaller than or equal to (VMMP_LOC_p_LgtD_DDifAFrz +2*VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor+2*VMMP_c_TiSmpl^2*VSOEM_s_ALgtVehCor)\n\rTHEN:\n\rFlgReqAcv is true\n\r \n\rELSE:\n\rFlgReqAcv is not true",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 66 | 16654867.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | OutputOutput Raw{
"ID": "16654867.0",
"ASIL": " ",
"Text": "Output",
"Type": "Folder",
"Status": "",
"Summary": "Output",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214952.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 67 | 16654868.0 | Non-functional | Released | no | False | type_not_target, relevance_filtered | For the implemented controler the vehicle physics reaction is important, so feedbacked signals like the vehicle velocity and the vFor the implemented controler the vehicle physics reaction is important, so feedbacked signals like the vehicle velocity and the vehicle acceleration are essential. Therefore the testing of the output signals must be done in-the-loop with the provided vehicle physics model. Detailed information of the provided vehicle physics model is described in Chapter Vehicle physics model. Raw{
"ID": "16654868.0",
"ASIL": " QM",
"Text": "For the implemented controler the vehicle physics reaction is important, so feedbacked signals like the vehicle velocity and the vehicle acceleration are essential. Therefore the testing of the output signals must be done in-the-loop with the provided vehicle physics model. Detailed information of the provided vehicle physics model is described in Chapter Vehicle physics model.",
"Type": "Non-functional",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215276.0",
"Description": "For the implemented controler the vehicle physics reaction is important, so feedbacked signals like the vehicle velocity and the vehicle acceleration are essential. Therefore the testing of the output signals must be done in-the-loop with the provided vehicle physics model. Detailed information of the provided vehicle physics model is described in Chapter Vehicle physics model.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 68 | 16654869.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | ADmd AlgorithmADmd Algorithm Raw{
"ID": "16654869.0",
"ASIL": " ",
"Text": "ADmd Algorithm",
"Type": "Folder",
"Status": "",
"Summary": "ADmd Algorithm",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214989.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 69 | 16654871.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | If the current vehicle deceleration is not sufficient to stop the vehicle (VSOEM_s_VLgtVehCor is equal to zero) at the received tIf the current vehicle deceleration is not sufficient to stop the vehicle (VSOEM_s_VLgtVehCor is equal to zero) at the received target distance LgtLimA_DTar, an acceleration LOCDL_s_LgtLimA_ADmd is calculated to decelerate the vehicle in such a way, that it reaches standstill in the requested distance. If the necessary deceleration to stop exceeds a certain value, the mechanism can also be triggered, not depending on the current deceleration. This parameter is equal to VMMP_LOCDL_p_LgtLimA_ADeceTar, but it must not be comprehended as an exact threshold, since other values like the estimated time constants and maximal deceleration gradients are also taken into account. If the current deceleration leads to standstill before the target distance is reached, no measures are taken, since this module is only responsible for the distance limitation, with the exception that the necessary deceleration to stop does not exceed the value mentioned above. Raw{
"ID": "16654871.0",
"ASIL": " ",
"Text": "If the current vehicle deceleration is not sufficient to stop the vehicle\n\r(VSOEM_s_VLgtVehCor is equal to zero) at the received target distance LgtLimA_DTar, an acceleration LOCDL_s_LgtLimA_ADmd is calculated to decelerate the vehicle in such a way, that it reaches standstill in the requested distance.\n\rIf the necessary deceleration to stop exceeds a certain value, the mechanism can also be triggered, not depending on the current deceleration. This parameter is equal to VMMP_LOCDL_p_LgtLimA_ADeceTar, but it must not be comprehended as an exact threshold, since other values like the estimated time constants and maximal deceleration gradients are also taken into account.\n\rIf the current deceleration leads to standstill before the target distance is reached, no measures are taken, since this module is only responsible for the distance limitation, with the exception that the necessary deceleration to stop does not exceed the value mentioned above.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1181282.0",
"Description": "If the current vehicle deceleration is not sufficient to stop the vehicle\n\r(VSOEM_s_VLgtVehCor is equal to zero) at the received target distance LgtLimA_DTar, an acceleration LOCDL_s_LgtLimA_ADmd is calculated to decelerate the vehicle in such a way, that it reaches standstill in the requested distance.\n\rIf the necessary deceleration to stop exceeds a certain value, the mechanism can also be triggered, not depending on the current deceleration. This parameter is equal to VMMP_LOCDL_p_LgtLimA_ADeceTar, but it must not be comprehended as an exact threshold, since other values like the estimated time constants and maximal deceleration gradients are also taken into account.\n\rIf the current deceleration leads to standstill before the target distance is reached, no measures are taken, since this module is only responsible for the distance limitation, with the exception that the necessary deceleration to stop does not exceed the value mentioned above.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 70 | 16654872.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | The value of DTot must be calculated by the Testing, since internal signals can't be tested: IF [OR(1,2,3)] 1) FlgReqAcv is greThe value of DTot must be calculated by the Testing, since internal signals can't be tested: IF [OR(1,2,3)] 1) FlgReqAcv is greater than FlgReqAcv from the previous computation cycle 2) FlgUpdLimD is greater than FlgUpdLimD from the previous computation cycle 3) FlgReqAcv is not true THEN: DTot must be equal to zero. ELSE: DTot is the value of the traveled distance and must be calculated by integrating the value of the velocity VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero). The neccessary attributes of VSOEM_s_VLgtVehCor are described in chapter 4.1.2 Vehicle physics model. Raw{
"ID": "16654872.0",
"ASIL": " QM",
"Text": "The value of DTot must be calculated by the Testing, since internal signals can't be tested:\n\r \n\r \n\rIF [OR(1,2,3)] \n\r1) FlgReqAcv is greater than FlgReqAcv from the previous computation cycle \n\r2) FlgUpdLimD is greater than FlgUpdLimD from the previous computation cycle\n\r3) FlgReqAcv is not true\n\r \n\r \n\rTHEN: \n\rDTot must be equal to zero.\n\r \n\r \n\rELSE:\n\rDTot is the value of the traveled distance and must be calculated by integrating the value of the velocity VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero).\n\rThe neccessary attributes of VSOEM_s_VLgtVehCor are described in chapter 4.1.2 Vehicle physics model.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1258700.0",
"Description": "The value of DTot must be calculated by the Testing, since internal signals can't be tested:\n\r \n\r \n\rIF [OR(1,2,3)] \n\r1) FlgReqAcv is greater than FlgReqAcv from the previous computation cycle \n\r2) FlgUpdLimD is greater than FlgUpdLimD from the previous computation cycle\n\r3) FlgReqAcv is not true\n\r \n\r \n\rTHEN: \n\rDTot must be equal to zero.\n\r \n\r \n\rELSE:\n\rDTot is the value of the traveled distance and must be calculated by integrating the value of the velocity VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero).\n\rThe neccessary attributes of VSOEM_s_VLgtVehCor are described in chapter 4.1.2 Vehicle physics model.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 71 | 23509352.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | The value of DTot must be calculated by the Testing, since internal signals can't be tested: IF [OR(1,2,3)] 1) FlgAcvLimD is grThe value of DTot must be calculated by the Testing, since internal signals can't be tested: IF [OR(1,2,3)] 1) FlgAcvLimD is greater than FlgReqAcv from the previous computation cycle 2) FlgUpdLimD is true 3) FlgReqAcv is false THEN: DTot must be equal to VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor ELSE: DTot is the value of the traveled distance and must be calculated by integrating the value of the velocity VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero). The neccessary attributes of VSOEM_s_VLgtVehCor are described in chapter 4.1.2 Vehicle physics model. Raw{
"ID": "23509352.0",
"ASIL": " QM",
"Text": "The value of DTot must be calculated by the Testing, since internal signals can't be tested:\n\r \n\r \n\rIF [OR(1,2,3)] \n\r1) FlgAcvLimD is greater than FlgReqAcv from the previous computation cycle \n\r2) FlgUpdLimD is true\n\r3) FlgReqAcv is false\n\rTHEN: \n\rDTot must be equal to VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor\n\r \n\rELSE:\n\rDTot is the value of the traveled distance and must be calculated by integrating the value of the velocity VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero).\n\rThe neccessary attributes of VSOEM_s_VLgtVehCor are described in chapter 4.1.2 Vehicle physics model.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "The value of DTot must be calculated by the Testing, since internal signals can't be tested:\n\r \n\r \n\rIF [OR(1,2,3)] \n\r1) FlgAcvLimD is greater than FlgReqAcv from the previous computation cycle \n\r2) FlgUpdLimD is true\n\r3) FlgReqAcv is false\n\rTHEN: \n\rDTot must be equal to VMMP_c_TiSmpl*VSOEM_s_VLgtVehCor\n\r \n\rELSE:\n\rDTot is the value of the traveled distance and must be calculated by integrating the value of the velocity VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero).\n\rThe neccessary attributes of VSOEM_s_VLgtVehCor are described in chapter 4.1.2 Vehicle physics model.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 72 | 16654873.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DRem is the difference of LgtLimA_DTar and DTot.DRem is the difference of LgtLimA_DTar and DTot. Raw{
"ID": "16654873.0",
"ASIL": " QM",
"Text": "DRem is the difference of LgtLimA_DTar and DTot.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1258745.0",
"Description": "DRem is the difference of LgtLimA_DTar and DTot.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 73 | 23509618.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1]: 1)LOCDL_FlgAcvLimD is false THEN: TiDlyCtlSys is equal to LOCAP_s_TiDlyCtlSys ELSE: TiDlyCtlSys is reduced by VMMP_c_TIF[1]: 1)LOCDL_FlgAcvLimD is false THEN: TiDlyCtlSys is equal to LOCAP_s_TiDlyCtlSys ELSE: TiDlyCtlSys is reduced by VMMP_c_TiSmpl Note: TiDlyCtlSys is initially equal to LOCAP_s_TiDlyCtlSys Raw{
"ID": "23509618.0",
"ASIL": " QM",
"Text": "IF[1]:\n\r1)LOCDL_FlgAcvLimD is false\n\rTHEN:\n\rTiDlyCtlSys is equal to LOCAP_s_TiDlyCtlSys\n\rELSE:\n\rTiDlyCtlSys is reduced by VMMP_c_TiSmpl\n\r \n\rNote:\n\rTiDlyCtlSys is initially equal to LOCAP_s_TiDlyCtlSys",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]:\n\r1)LOCDL_FlgAcvLimD is false\n\rTHEN:\n\rTiDlyCtlSys is equal to LOCAP_s_TiDlyCtlSys\n\rELSE:\n\rTiDlyCtlSys is reduced by VMMP_c_TiSmpl\n\r \n\rNote:\n\rTiDlyCtlSys is initially equal to LOCAP_s_TiDlyCtlSys",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 74 | 37605949.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1]: 1)LOCDL_FlgAcvLimD is false THEN: TiDlyCtlSys is equal to VMMP_LOCDL_p_LgtLimD_TiDCmp ELSE: TiDlyCtlSys is reduced byIF[1]: 1)LOCDL_FlgAcvLimD is false THEN: TiDlyCtlSys is equal to VMMP_LOCDL_p_LgtLimD_TiDCmp ELSE: TiDlyCtlSys is reduced by VMMP_c_TiSmpl Note: TiDlyCtlSys is initially equal to VMMP_LOCDL_p_LgtLimD_TiDCmp Raw{
"ID": "37605949.0",
"ASIL": " QM",
"Text": "IF[1]:\n\r1)LOCDL_FlgAcvLimD is false\n\rTHEN:\n\rTiDlyCtlSys is equal to VMMP_LOCDL_p_LgtLimD_TiDCmp\n\rELSE:\n\rTiDlyCtlSys is reduced by VMMP_c_TiSmpl\n\r \n\rNote:\n\rTiDlyCtlSys is initially equal to VMMP_LOCDL_p_LgtLimD_TiDCmp",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]:\n\r1)LOCDL_FlgAcvLimD is false\n\rTHEN:\n\rTiDlyCtlSys is equal to VMMP_LOCDL_p_LgtLimD_TiDCmp\n\rELSE:\n\rTiDlyCtlSys is reduced by VMMP_c_TiSmpl\n\r \n\rNote:\n\rTiDlyCtlSys is initially equal to VMMP_LOCDL_p_LgtLimD_TiDCmp",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 75 | 16654874.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSysDCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSys Raw{
"ID": "16654874.0",
"ASIL": " QM",
"Text": "DCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSys",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1430343.0",
"Description": "DCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSys",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 76 | 48952287.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1]: 1) LOCDL_FlgAcvLimD is false THEN: TiDlyCtlSysDCmp is equal to 0 ELSE: TiDlyCtlSysDCmp is increased by VMMP_c_TiSmpl eIF[1]: 1) LOCDL_FlgAcvLimD is false THEN: TiDlyCtlSysDCmp is equal to 0 ELSE: TiDlyCtlSysDCmp is increased by VMMP_c_TiSmpl each time step Note: TiDlyCtlSysDCmp is initially equal to 0 Raw{
"ID": "48952287.0",
"ASIL": " QM",
"Text": "IF[1]:\n\r1) LOCDL_FlgAcvLimD is false\n\rTHEN:\n\rTiDlyCtlSysDCmp is equal to 0\n\rELSE:\n\rTiDlyCtlSysDCmp is increased by VMMP_c_TiSmpl each time step\n\r \n\rNote:\n\rTiDlyCtlSysDCmp is initially equal to 0",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]:\n\r1) LOCDL_FlgAcvLimD is false\n\rTHEN:\n\rTiDlyCtlSysDCmp is equal to 0\n\rELSE:\n\rTiDlyCtlSysDCmp is increased by VMMP_c_TiSmpl each time step\n\r \n\rNote:\n\rTiDlyCtlSysDCmp is initially equal to 0",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 77 | 48952192.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true THEN: DCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnIF[1] 1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true THEN: DCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSys ELSE: DCmp is the product of VSOEM_s_VLgtVehCor and the difference between VMMP_LOCDL_p_LgtLimA_TiDCmp and the minimum of VMMP_LOCDL_p_LgtLimA_TiDCmp and TiDlyCtlSysDCmp Raw{
"ID": "48952192.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true\n\rTHEN:\n\rDCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSys\n\rELSE:\n\rDCmp is the product of VSOEM_s_VLgtVehCor and the difference between VMMP_LOCDL_p_LgtLimA_TiDCmp and the minimum of VMMP_LOCDL_p_LgtLimA_TiDCmp and TiDlyCtlSysDCmp",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true\n\rTHEN:\n\rDCmp is the product of VSOEM_s_VLgtVehCor and the sum of LOCAP_s_TiCnstCtlSys + the maximum of LOCAP_s_TiDlyATqAct and TiDlyCtlSys\n\rELSE:\n\rDCmp is the product of VSOEM_s_VLgtVehCor and the difference between VMMP_LOCDL_p_LgtLimA_TiDCmp and the minimum of VMMP_LOCDL_p_LgtLimA_TiDCmp and TiDlyCtlSysDCmp",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 78 | 48958456.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DCmp is equal to or greater than zeroDCmp is equal to or greater than zero Raw{
"ID": "48958456.0",
"ASIL": " QM",
"Text": "DCmp is equal to or greater than zero",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "DCmp is equal to or greater than zero",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 79 | 36601117.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1)VMMP_LOCDC_p_LgtCtlD_SwtCnstTiDCmp is true THEN: DCmp is equal to MAX(0,VMMP_LOCDL_p_LgtLimD_TiDCmp *VSOEM_s_VLgtVehCorIF[1] 1)VMMP_LOCDC_p_LgtCtlD_SwtCnstTiDCmp is true THEN: DCmp is equal to MAX(0,VMMP_LOCDL_p_LgtLimD_TiDCmp *VSOEM_s_VLgtVehCor) ELSE: DCmp is equal to MAX(0,TiDlyCtlSys*VSOEM_s_VLgtVehCor) Raw{
"ID": "36601117.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1)VMMP_LOCDC_p_LgtCtlD_SwtCnstTiDCmp is true\n\rTHEN:\n\rDCmp is equal to MAX(0,VMMP_LOCDL_p_LgtLimD_TiDCmp *VSOEM_s_VLgtVehCor)\n\rELSE:\n\rDCmp is equal to MAX(0,TiDlyCtlSys*VSOEM_s_VLgtVehCor)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1)VMMP_LOCDC_p_LgtCtlD_SwtCnstTiDCmp is true\n\rTHEN:\n\rDCmp is equal to MAX(0,VMMP_LOCDL_p_LgtLimD_TiDCmp *VSOEM_s_VLgtVehCor)\n\rELSE:\n\rDCmp is equal to MAX(0,TiDlyCtlSys*VSOEM_s_VLgtVehCor)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 80 | 23510405.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[1] 1) FlgReqAcv is true THEN: LgtLimA_ADmdLimDDly is equal to LgtLimA_ADmdLimD from the previous computation cycle ELSE:IF[1] 1) FlgReqAcv is true THEN: LgtLimA_ADmdLimDDly is equal to LgtLimA_ADmdLimD from the previous computation cycle ELSE: LgtLimA_ADmdLimDDly is equal to VMMP_LOCDL_p_LgtLimA_ADeceTar Raw{
"ID": "23510405.0",
"ASIL": " QM",
"Text": "IF[1]\n\r1) FlgReqAcv is true\n\rTHEN:\n\r LgtLimA_ADmdLimDDly is equal to LgtLimA_ADmdLimD \n\rfrom the previous computation cycle\n\rELSE:\n\rLgtLimA_ADmdLimDDly is equal to VMMP_LOCDL_p_LgtLimA_ADeceTar",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF[1]\n\r1) FlgReqAcv is true\n\rTHEN:\n\r LgtLimA_ADmdLimDDly is equal to LgtLimA_ADmdLimD \n\rfrom the previous computation cycle\n\rELSE:\n\rLgtLimA_ADmdLimDDly is equal to VMMP_LOCDL_p_LgtLimA_ADeceTar",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 81 | 16654875.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | AGrdMaxDec is the output of the Look-Up-Table with following properties Input: (x-axis) LgtLimA_ADmdLimDDly on VMMP_LOCDL_px_ADmdAGrdMaxDec is the output of the Look-Up-Table with following properties Input: (x-axis) LgtLimA_ADmdLimDDly on VMMP_LOCDL_px_ADmdAGrdMaxDec Output: (y-axis) VMMP_LOCDL_p1_AGrdMaxDec Raw{
"ID": "16654875.0",
"ASIL": " QM",
"Text": "AGrdMaxDec is the output of the Look-Up-Table with following properties\n\rInput: (x-axis) LgtLimA_ADmdLimDDly on VMMP_LOCDL_px_ADmdAGrdMaxDec\n\rOutput: (y-axis) VMMP_LOCDL_p1_AGrdMaxDec",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1430306.0",
"Description": "AGrdMaxDec is the output of the Look-Up-Table with following properties\n\rInput: (x-axis) LgtLimA_ADmdLimDDly on VMMP_LOCDL_px_ADmdAGrdMaxDec\n\rOutput: (y-axis) VMMP_LOCDL_p1_AGrdMaxDec",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 82 | 36593575.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | AGrdMaxDecToStop is equal to AGrdMaxDec multiplied by the output of the Look-Up-Table with following properties Input: (x-axis) VAGrdMaxDecToStop is equal to AGrdMaxDec multiplied by the output of the Look-Up-Table with following properties Input: (x-axis) VSOEM_s_VLgtVehCor on VMMP_LOCDL_px_LgtLimA_VLgtVeh Output: (z-axis) VMMP_LOCDL_p1_LgtLimA_FacAGrdMaxDec Raw{
"ID": "36593575.0",
"ASIL": " QM",
"Text": "AGrdMaxDecToStop is equal to AGrdMaxDec multiplied by the output of the Look-Up-Table with following properties\n\rInput: (x-axis) VSOEM_s_VLgtVehCor on VMMP_LOCDL_px_LgtLimA_VLgtVeh\n\rOutput: (z-axis) VMMP_LOCDL_p1_LgtLimA_FacAGrdMaxDec",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "AGrdMaxDecToStop is equal to AGrdMaxDec multiplied by the output of the Look-Up-Table with following properties\n\rInput: (x-axis) VSOEM_s_VLgtVehCor on VMMP_LOCDL_px_LgtLimA_VLgtVeh\n\rOutput: (z-axis) VMMP_LOCDL_p1_LgtLimA_FacAGrdMaxDec",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 83 | 36626016.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | AGrdMaxDecToStop is equal to AGrdMaxDec.AGrdMaxDecToStop is equal to AGrdMaxDec. Raw{
"ID": "36626016.0",
"ASIL": " QM",
"Text": "AGrdMaxDecToStop is equal to AGrdMaxDec.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "AGrdMaxDecToStop is equal to AGrdMaxDec.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 84 | 16654876.0 | Folder | no | False | type_not_target, status_filtered, relevance_filtered | DToStopDToStop Raw{
"ID": "16654876.0",
"ASIL": " QM",
"Text": "DToStop",
"Type": "Folder",
"Status": "",
"Summary": "DToStop",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523350.0",
"Description": "",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} | |
| 85 | 16654877.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | Parameter VMMP_LOCDL_p_LgtLimA_ADeceTar must be upwards limited to -0.1.Parameter VMMP_LOCDL_p_LgtLimA_ADeceTar must be upwards limited to -0.1. Raw{
"ID": "16654877.0",
"ASIL": " QM",
"Text": "Parameter VMMP_LOCDL_p_LgtLimA_ADeceTar must be upwards limited to -0.1.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523548.0",
"Description": "Parameter VMMP_LOCDL_p_LgtLimA_ADeceTar must be upwards limited to -0.1.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 86 | 16654878.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | In order to calculate DToStop, parameter VMMP_LOCDL_p_SwtDToStopCorEna must be true.In order to calculate DToStop, parameter VMMP_LOCDL_p_SwtDToStopCorEna must be true. Raw{
"ID": "16654878.0",
"ASIL": " QM",
"Text": "In order to calculate DToStop, parameter VMMP_LOCDL_p_SwtDToStopCorEna must be true.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523550.0",
"Description": "In order to calculate DToStop, parameter VMMP_LOCDL_p_SwtDToStopCorEna must be true.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 87 | 16654879.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | AGrdMaxDecToStop must be upwards limited to -0.01.AGrdMaxDecToStop must be upwards limited to -0.01. Raw{
"ID": "16654879.0",
"ASIL": " QM",
"Text": "AGrdMaxDecToStop must be upwards limited to -0.01.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523577.0",
"Description": "AGrdMaxDecToStop must be upwards limited to -0.01.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 88 | 16654880.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1)VSOEM_s_ALgtVehCor is smaller than or equal to VMMP_LOCDL_p_LgtLimA_ADeceTar THEN: FlgATarRampDeac is true ELSE: FlgIF:[1] 1)VSOEM_s_ALgtVehCor is smaller than or equal to VMMP_LOCDL_p_LgtLimA_ADeceTar THEN: FlgATarRampDeac is true ELSE: FlgATarRampDeac is false Raw{
"ID": "16654880.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1)VSOEM_s_ALgtVehCor is smaller than or equal to VMMP_LOCDL_p_LgtLimA_ADeceTar\n\rTHEN:\n\rFlgATarRampDeac is true\n\rELSE:\n\rFlgATarRampDeac is false",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523197.0",
"Description": "IF:[1]\n\r1)VSOEM_s_ALgtVehCor is smaller than or equal to VMMP_LOCDL_p_LgtLimA_ADeceTar\n\rTHEN:\n\rFlgATarRampDeac is true\n\rELSE:\n\rFlgATarRampDeac is false",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 89 | 16654881.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | TiRamp is equal to the quotient between (VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) and AGrdMaxDecToStopTiRamp is equal to the quotient between (VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) and AGrdMaxDecToStop Raw{
"ID": "16654881.0",
"ASIL": " QM",
"Text": "TiRamp is equal to the quotient between (VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) and AGrdMaxDecToStop",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523199.0",
"Description": "TiRamp is equal to the quotient between (VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) and AGrdMaxDecToStop",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 90 | 16654882.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1)VSOEM_s_VLgtVehCor is greater than 0. THEN: TiToStop is calculated by the following formula: TiTosStop = (-VSOEM_s_ALIF:[1] 1)VSOEM_s_VLgtVehCor is greater than 0. THEN: TiToStop is calculated by the following formula: TiTosStop = (-VSOEM_s_ALgtVehCor-sqrt(VSOEM_s_ALgtVehCor^2-2*VSOEM_s_VLgtVehCor*AGrdMaxDecToStop))/AGrdMaxDecToStop ELSE: TiToStop is equal to 0. Raw{
"ID": "16654882.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1)VSOEM_s_VLgtVehCor is greater than 0.\n\rTHEN:\n\rTiToStop is calculated by the following formula:\n\rTiTosStop = (-VSOEM_s_ALgtVehCor-sqrt(VSOEM_s_ALgtVehCor^2-2*VSOEM_s_VLgtVehCor*AGrdMaxDecToStop))/AGrdMaxDecToStop\n\rELSE:\n\rTiToStop is equal to 0.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523201.0",
"Description": "IF:[1]\n\r1)VSOEM_s_VLgtVehCor is greater than 0.\n\rTHEN:\n\rTiToStop is calculated by the following formula:\n\rTiTosStop = (-VSOEM_s_ALgtVehCor-sqrt(VSOEM_s_ALgtVehCor^2-2*VSOEM_s_VLgtVehCor*AGrdMaxDecToStop))/AGrdMaxDecToStop\n\rELSE:\n\rTiToStop is equal to 0.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 91 | 16654883.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1)FlgATarRampDeac is true THEN: DToStop is calculated by the following formula: DToStop is equal to MAX(0, - VSOEM_s_VIF:[1] 1)FlgATarRampDeac is true THEN: DToStop is calculated by the following formula: DToStop is equal to MAX(0, - VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor) +VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys) ) ELSEIF:[1] 1)TiToStop is smaller than or equal to TiRamp THEN: DToStop is calculated by the following formula: DToStop = MAX(0, 1/6*AGrdMaxDecToStop*TiToStop^3 +1/2*VSOEM_s_ALgtVehCor*TiToStop^2 +VSOEM_s_VLgtVehCor*TiToStop +VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys) ) ELSE: DToStop is calculated by the following formula: DToStop = MAX(0, 1/6*AGrdMaxDecToStop*TiRamp^3 +1/2*VSOEM_s_ALgtVehCor*TiRamp ^2 +VSOEM_s_VLgtVehCor*TiRamp -(1/2*AGrdMaxDecToStop*TiRamp^2 +VSOEM_s_ALgtVehCor*TiRamp +VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar) +VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys) ) Raw{
"ID": "16654883.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1)FlgATarRampDeac is true\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop is equal to MAX(0,\n\r- VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor)\n\r+VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys)\n\r)\n\r \n\rELSEIF:[1]\n\r1)TiToStop is smaller than or equal to TiRamp\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiToStop^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiToStop^2\n\r+VSOEM_s_VLgtVehCor*TiToStop\n\r+VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys)\n\r)\n\r \n\rELSE:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiRamp^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiRamp ^2\n\r+VSOEM_s_VLgtVehCor*TiRamp\n\r-(1/2*AGrdMaxDecToStop*TiRamp^2\n\r +VSOEM_s_ALgtVehCor*TiRamp\n\r +VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar)\n\r+VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys)\n\r)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1523203.0",
"Description": "IF:[1]\n\r1)FlgATarRampDeac is true\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop is equal to MAX(0,\n\r- VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor)\n\r+VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys)\n\r)\n\r \n\rELSEIF:[1]\n\r1)TiToStop is smaller than or equal to TiRamp\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiToStop^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiToStop^2\n\r+VSOEM_s_VLgtVehCor*TiToStop\n\r+VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys)\n\r)\n\r \n\rELSE:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiRamp^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiRamp ^2\n\r+VSOEM_s_VLgtVehCor*TiRamp\n\r-(1/2*AGrdMaxDecToStop*TiRamp^2\n\r +VSOEM_s_ALgtVehCor*TiRamp\n\r +VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar)\n\r+VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + LOCAP_s_TiCnstCtlSys * VMMP_LOC_LgtLimD_p_FacTiCnstCtlSys)\n\r)",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 92 | 48949693.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true THEN: DTiSysCmp is the sum of LOCAP_s_TiDlyCtlSys and LOCAP_s_TiCnstCtlSysIF:[1] 1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true THEN: DTiSysCmp is the sum of LOCAP_s_TiDlyCtlSys and LOCAP_s_TiCnstCtlSys * VMMP_LOC_p_LgtLimD_FacTiCnstCtlSys ELSE: DTiSysCmp is equal to VMMP_LOCDL_p_LgtLimA_TiDCmp Raw{
"ID": "48949693.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true\n\rTHEN:\n\rDTiSysCmp is the sum of LOCAP_s_TiDlyCtlSys and LOCAP_s_TiCnstCtlSys * VMMP_LOC_p_LgtLimD_FacTiCnstCtlSys\n\rELSE:\n\rDTiSysCmp is equal to VMMP_LOCDL_p_LgtLimA_TiDCmp",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF:[1]\n\r1) VMMP_LOCDL_p_LgtLimA_SwtCnstTiDCmp is true\n\rTHEN:\n\rDTiSysCmp is the sum of LOCAP_s_TiDlyCtlSys and LOCAP_s_TiCnstCtlSys * VMMP_LOC_p_LgtLimD_FacTiCnstCtlSys\n\rELSE:\n\rDTiSysCmp is equal to VMMP_LOCDL_p_LgtLimA_TiDCmp",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 93 | 18398176.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1)FlgATarRampDeac is true THEN: DToStop is calculated by the following formula: DToStop is equal to MAX(0, - VSOEM_s_VIF:[1] 1)FlgATarRampDeac is true THEN: DToStop is calculated by the following formula: DToStop is equal to MAX(0, - VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor) +VSOEM_s_VLgtVehCor * DTiSysCmp ) ELSEIF:[1] 1)TiToStop is smaller than or equal to TiRamp THEN: DToStop is calculated by the following formula: DToStop = MAX(0, 1/6*AGrdMaxDecToStop*TiToStop^3 +1/2*VSOEM_s_ALgtVehCor*TiToStop^2 +VSOEM_s_VLgtVehCor*TiToStop +VSOEM_s_VLgtVehCor * DTiSysCmp) ) ELSE: DToStop is calculated by the following formula: DToStop = MAX(0, 1/6*AGrdMaxDecToStop*TiRamp^3 +1/2*VSOEM_s_ALgtVehCor*TiRamp ^2 +VSOEM_s_VLgtVehCor*TiRamp -(1/2*AGrdMaxDecToStop*TiRamp^2 +VSOEM_s_ALgtVehCor*TiRamp +VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar) +VSOEM_s_VLgtVehCor * DTiSysCmp) ) Raw{
"ID": "18398176.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1)FlgATarRampDeac is true\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop is equal to MAX(0,\n\r- VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor)\n\r+VSOEM_s_VLgtVehCor * DTiSysCmp\n\r)\n\r \n\rELSEIF:[1]\n\r1)TiToStop is smaller than or equal to TiRamp\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiToStop^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiToStop^2\n\r+VSOEM_s_VLgtVehCor*TiToStop\n\r+VSOEM_s_VLgtVehCor * DTiSysCmp)\n\r)\n\r \n\rELSE:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiRamp^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiRamp ^2\n\r+VSOEM_s_VLgtVehCor*TiRamp\n\r-(1/2*AGrdMaxDecToStop*TiRamp^2\n\r+VSOEM_s_ALgtVehCor*TiRamp\n\r+VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar)\n\r+VSOEM_s_VLgtVehCor * DTiSysCmp)\n\r)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1525749.0",
"Description": "IF:[1]\n\r1)FlgATarRampDeac is true\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop is equal to MAX(0,\n\r- VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor)\n\r+VSOEM_s_VLgtVehCor * DTiSysCmp\n\r)\n\r \n\rELSEIF:[1]\n\r1)TiToStop is smaller than or equal to TiRamp\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiToStop^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiToStop^2\n\r+VSOEM_s_VLgtVehCor*TiToStop\n\r+VSOEM_s_VLgtVehCor * DTiSysCmp)\n\r)\n\r \n\rELSE:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiRamp^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiRamp ^2\n\r+VSOEM_s_VLgtVehCor*TiRamp\n\r-(1/2*AGrdMaxDecToStop*TiRamp^2\n\r+VSOEM_s_ALgtVehCor*TiRamp\n\r+VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar)\n\r+VSOEM_s_VLgtVehCor * DTiSysCmp)\n\r)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 94 | 39384000.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1)FlgATarRampDeac is true THEN: DToStop is calculated by the following formula: DToStop is equal to MAX(0, - VSOEM_s_VIF:[1] 1)FlgATarRampDeac is true THEN: DToStop is calculated by the following formula: DToStop is equal to MAX(0, - VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor) +MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp) ) ELSEIF:[1] 1)TiToStop is smaller than or equal to TiRamp THEN: DToStop is calculated by the following formula: DToStop = MAX(0, 1/6*AGrdMaxDecToStop*TiToStop^3 +1/2*VSOEM_s_ALgtVehCor*TiToStop^2 +VSOEM_s_VLgtVehCor*TiToStop +MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp) ) ELSE: DToStop is calculated by the following formula: DToStop = MAX(0, 1/6*AGrdMaxDecToStop*TiRamp^3 +1/2*VSOEM_s_ALgtVehCor*TiRamp ^2 +VSOEM_s_VLgtVehCor*TiRamp -(1/2*AGrdMaxDecToStop*TiRamp^2 +VSOEM_s_ALgtVehCor*TiRamp +VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar) +MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp) ) Raw{
"ID": "39384000.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1)FlgATarRampDeac is true\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop is equal to MAX(0,\n\r- VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor)\n\r+MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp)\n\r)\n\r \n\rELSEIF:[1]\n\r1)TiToStop is smaller than or equal to TiRamp\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiToStop^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiToStop^2\n\r+VSOEM_s_VLgtVehCor*TiToStop\n\r+MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp)\n\r)\n\r \n\rELSE:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiRamp^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiRamp ^2\n\r+VSOEM_s_VLgtVehCor*TiRamp\n\r-(1/2*AGrdMaxDecToStop*TiRamp^2\n\r+VSOEM_s_ALgtVehCor*TiRamp\n\r+VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar)\n\r+MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp)\n\r)",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF:[1]\n\r1)FlgATarRampDeac is true\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop is equal to MAX(0,\n\r- VSOEM_s_VLgtVehCor^2/(2*VSOEM_s_ALgtVehCor)\n\r+MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp)\n\r)\n\r \n\rELSEIF:[1]\n\r1)TiToStop is smaller than or equal to TiRamp\n\rTHEN:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiToStop^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiToStop^2\n\r+VSOEM_s_VLgtVehCor*TiToStop\n\r+MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp)\n\r)\n\r \n\rELSE:\n\rDToStop is calculated by the following formula:\n\rDToStop = MAX(0,\n\r1/6*AGrdMaxDecToStop*TiRamp^3\n\r+1/2*VSOEM_s_ALgtVehCor*TiRamp ^2\n\r+VSOEM_s_VLgtVehCor*TiRamp\n\r-(1/2*AGrdMaxDecToStop*TiRamp^2\n\r+VSOEM_s_ALgtVehCor*TiRamp\n\r+VSOEM_s_VLgtVehCor)^2/(2*VMMP_LOCDL_p_LgtLimA_ADeceTar)\n\r+MAX(0,VSOEM_s_VLgtVehCor * VMMP_LOCDL_p_LgtLimD_TiDCmp)\n\r)",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 95 | 19726733.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DToStopMin is calculated in a look-up-table. (Input: VSOEM_s_VLgtVehCor, parameter x-axis: VMMP_LOCDL_px_VDMaxTrig) Output: VMMPDToStopMin is calculated in a look-up-table. (Input: VSOEM_s_VLgtVehCor, parameter x-axis: VMMP_LOCDL_px_VDMaxTrig) Output: VMMP_LOCDL_p1_DMaxTrig Lookup method: Interpolation-Use End Values Raw{
"ID": "19726733.0",
"ASIL": " QM",
"Text": "DToStopMin is calculated in a look-up-table.\n\r(Input: VSOEM_s_VLgtVehCor, parameter x-axis: VMMP_LOCDL_px_VDMaxTrig)\n\rOutput: VMMP_LOCDL_p1_DMaxTrig\n\r \n\rLookup method: Interpolation-Use End Values",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "DToStopMin is calculated in a look-up-table.\n\r(Input: VSOEM_s_VLgtVehCor, parameter x-axis: VMMP_LOCDL_px_VDMaxTrig)\n\rOutput: VMMP_LOCDL_p1_DMaxTrig\n\r \n\rLookup method: Interpolation-Use End Values",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 96 | 19726986.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | DToStop must be upwards limited to DToStopMin.DToStop must be upwards limited to DToStopMin. Raw{
"ID": "19726986.0",
"ASIL": " QM",
"Text": "DToStop must be upwards limited to DToStopMin.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "DToStop must be upwards limited to DToStopMin.",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 97 | 23216946.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF:[1] 1)VSOEM_s_VLgtVehCor is greater than 0. THEN: DToStop must be upwards limited to DToStopMin. ELSE: DToStop must be equIF:[1] 1)VSOEM_s_VLgtVehCor is greater than 0. THEN: DToStop must be upwards limited to DToStopMin. ELSE: DToStop must be equal to 0. Raw{
"ID": "23216946.0",
"ASIL": " QM",
"Text": "IF:[1]\n\r1)VSOEM_s_VLgtVehCor is greater than 0.\n\rTHEN:\n\rDToStop must be upwards limited to DToStopMin.\n\rELSE:\n\rDToStop must be equal to 0.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "",
"Description": "IF:[1]\n\r1)VSOEM_s_VLgtVehCor is greater than 0.\n\rTHEN:\n\rDToStop must be upwards limited to DToStopMin.\n\rELSE:\n\rDToStop must be equal to 0.",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 98 | 16654884.0 | Pre Condition | Obsolete | no | False | type_not_target, status_filtered, relevance_filtered | DToStop is calculated by the following formula: DToStop = Max(0,(VSOEM_s_VLgtVehCor)² / (2 * VMMP_LOCDL_p_LgtLimA_ADeceTar) + (DToStop is calculated by the following formula: DToStop = Max(0,(VSOEM_s_VLgtVehCor)² / (2 * VMMP_LOCDL_p_LgtLimA_ADeceTar) + ( VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor)³ / (6 * (AGrdMaxDec)²) + VSOEM_s_ALgtVehCor * ( VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor)² / (2 * (AGrdMaxDec)²) + VSOEM_s_VLgtVehCor * ( VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) / (AGrdMaxDec) + VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + (LOCAP_s_TiCnstCtlSys * VMMP_LOCDL_LgtLimA_p_FacTiCnstCtlSys))) Raw{
"ID": "16654884.0",
"ASIL": " QM",
"Text": "DToStop is calculated by the following formula:\n\rDToStop = Max(0,(VSOEM_s_VLgtVehCor)² / (2 * VMMP_LOCDL_p_LgtLimA_ADeceTar) + (\n\rVMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor)³ / (6 * (AGrdMaxDec)²) + VSOEM_s_ALgtVehCor * (\n\rVMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor)² / (2 * (AGrdMaxDec)²) + VSOEM_s_VLgtVehCor * ( VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) / (AGrdMaxDec) + VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + (LOCAP_s_TiCnstCtlSys * VMMP_LOCDL_LgtLimA_p_FacTiCnstCtlSys)))",
"Type": "Pre Condition",
"Status": "Obsolete",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1321619.0",
"Description": "DToStop is calculated by the following formula:\n\rDToStop = Max(0,(VSOEM_s_VLgtVehCor)² / (2 * VMMP_LOCDL_p_LgtLimA_ADeceTar) + (\n\rVMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor)³ / (6 * (AGrdMaxDec)²) + VSOEM_s_ALgtVehCor * (\n\rVMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor)² / (2 * (AGrdMaxDec)²) + VSOEM_s_VLgtVehCor * ( VMMP_LOCDL_p_LgtLimA_ADeceTar - VSOEM_s_ALgtVehCor) / (AGrdMaxDec) + VSOEM_s_VLgtVehCor * (LOCAP_s_TiDlyCtlSys + (LOCAP_s_TiCnstCtlSys * VMMP_LOCDL_LgtLimA_p_FacTiCnstCtlSys)))",
"Vehicle Launch": "",
"Vehicle Platform": ""
} |
| 99 | 16654885.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(OR(1,2),3] 1) DRem is smaller than or equal to DToStop 2) LOCDL_FlgAcvLimD was true in the previous computation cycle 3IF[AND(OR(1,2),3] 1) DRem is smaller than or equal to DToStop 2) LOCDL_FlgAcvLimD was true in the previous computation cycle 3) FlgReqAcv is true in den current computation cycle THEN: LOCDL_FlgAcvLimD is true ELSE: LOCDL_FlgAcvLimD is not true Raw{
"ID": "16654885.0",
"ASIL": " QM",
"Text": "IF[AND(OR(1,2),3] \n\r1) DRem is smaller than or equal to DToStop\n\r2) LOCDL_FlgAcvLimD was true in the previous computation cycle\n\r3) FlgReqAcv is true in den current computation cycle\n\rTHEN:\n\rLOCDL_FlgAcvLimD is true\n\rELSE:\n\rLOCDL_FlgAcvLimD is not true",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214998.0",
"Description": "IF[AND(OR(1,2),3] \n\r1) DRem is smaller than or equal to DToStop\n\r2) LOCDL_FlgAcvLimD was true in the previous computation cycle\n\r3) FlgReqAcv is true in den current computation cycle\n\rTHEN:\n\rLOCDL_FlgAcvLimD is true\n\rELSE:\n\rLOCDL_FlgAcvLimD is not true",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 100 | 16654886.0 | Pre Condition | Released | no | False | type_not_target, relevance_filtered | IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is false 2) FlgReqAcv is true THEN: DTot must never exceed LgtLimA_DTar with a tolerance of +IF[AND(1,2)] 1) LOCDL_FlgAcvLimD is false 2) FlgReqAcv is true THEN: DTot must never exceed LgtLimA_DTar with a tolerance of + 0.02 m. Raw{
"ID": "16654886.0",
"ASIL": " QM",
"Text": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is false\n\r2) FlgReqAcv is true\n\rTHEN:\n\rDTot must never exceed LgtLimA_DTar with a tolerance of + 0.02 m.",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1214933.0",
"Description": "IF[AND(1,2)]\n\r1) LOCDL_FlgAcvLimD is false\n\r2) FlgReqAcv is true\n\rTHEN:\n\rDTot must never exceed LgtLimA_DTar with a tolerance of + 0.02 m.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |
| 101 | 16654887.0 | Information | no | False | type_not_target, status_filtered, relevance_filtered | For testing purposes LOCDL_FlgAcvLimD can easily be activated, for example if the initial acceleration is set to zero and the initFor testing purposes LOCDL_FlgAcvLimD can easily be activated, for example if the initial acceleration is set to zero and the initial velocity is greater than zero. After some time the deceleration threshold to reach standstill in LgtLimA_DTar is exceeded and Trigger will be true. Raw{
"ID": "16654887.0",
"ASIL": " ",
"Text": "For testing purposes LOCDL_FlgAcvLimD can easily be activated, for example if the initial acceleration is set to zero and the initial velocity is greater than zero. After some time the deceleration threshold to reach standstill in LgtLimA_DTar is exceeded and Trigger will be true.",
"Type": "Information",
"Status": "",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1215248.0",
"Description": "For testing purposes LOCDL_FlgAcvLimD can easily be activated, for example if the initial acceleration is set to zero and the initial velocity is greater than zero. After some time the deceleration threshold to reach standstill in LgtLimA_DTar is exceeded and Trigger will be true.",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
} |