Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBWBA.xlsx · source records

Susp Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_LgtLimA_StAcv = is equal to the value of previous computation cycle (Hold Last Value)

CustFctOut_LgtLimA_StAcvMd = is equal to the value of previous computation cycle (Hold Last Value)

All other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)

{
  "ID": "59546840.0",
  "ASIL": "  ASIL C",
  "Text": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv = is equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LgtLimA_StAcvMd = is equal to the value of previous computation cycle (Hold Last Value)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Susp Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv = is equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LgtLimA_StAcvMd = is equal to the value of previous computation cycle (Hold Last Value)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Definition of specific information for AEB LgtLimA

{
  "ID": "59554530.0",
  "ASIL": "  ",
  "Text": "Definition of specific information for AEB LgtLimA",
  "Type": "Folder",
  "Status": "",
  "Summary": "Definition of specific information for AEB LgtLimA",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Replace generic input signals by specific input signal values, signal classifiers and parameters

Inputs

Signal-Values:

CustFctIn_LgtLimA_StAcv = AEB_s_LgtLimA_StAcv 

CustFctIn_LgtLimA_ADmd = AEB_s_LgtLimA_ADmd 

CustFctIn_LgtLimA_AGrdMaxDec = AEB_s_LgtLimA_AGrdMaxDec 

Signal-Classifier:

CustFctIn_LgtLimA_StAcv_sc = AEB_sc_LgtLimA_StAcv 

CustFctIn_LgtLimA_ADmd_sc = AEB_sc_LgtLimA_ADmd 

CustFctIn_LgtLimA_AGrdMaxDec_sc = AEB_sc_LgtLimA_AGrdMaxDec 

Parameters 

CustFctIn_LgtLimA_BitFldConf = VMMP_CFBWBA_p_AEBLgtLimA_BitFldConf

CustFctIn_LgtLimA_FlgIniExcDet = VMMP_CFBWBA_c_AEBLgtLimA_FlgIniExcDet

CustFctIn_LgtLimA_FlgErrQlfAcv = VMMP_CFBWBA_c_AEBLgtLimA_FlgErrQlfAcv

CustFctIn_LgtLimA_TurnOff = VMMP_CFBWBA_p_AEBLgtLimA_TurnOff

{
  "ID": "59554537.0",
  "ASIL": "  ASIL C",
  "Text": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCustFctIn_LgtLimA_StAcv = AEB_s_LgtLimA_StAcv \n\rCustFctIn_LgtLimA_ADmd = AEB_s_LgtLimA_ADmd \n\rCustFctIn_LgtLimA_AGrdMaxDec = AEB_s_LgtLimA_AGrdMaxDec \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtLimA_StAcv_sc = AEB_sc_LgtLimA_StAcv \n\rCustFctIn_LgtLimA_ADmd_sc = AEB_sc_LgtLimA_ADmd \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc = AEB_sc_LgtLimA_AGrdMaxDec \n\r \n\rParameters \n\rCustFctIn_LgtLimA_BitFldConf = VMMP_CFBWBA_p_AEBLgtLimA_BitFldConf\n\rCustFctIn_LgtLimA_FlgIniExcDet = VMMP_CFBWBA_c_AEBLgtLimA_FlgIniExcDet\n\rCustFctIn_LgtLimA_FlgErrQlfAcv = VMMP_CFBWBA_c_AEBLgtLimA_FlgErrQlfAcv\n\rCustFctIn_LgtLimA_TurnOff = VMMP_CFBWBA_p_AEBLgtLimA_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Replace generic input signals by specific input signal values, signal classifiers and parameters",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCustFctIn_LgtLimA_StAcv = AEB_s_LgtLimA_StAcv \n\rCustFctIn_LgtLimA_ADmd = AEB_s_LgtLimA_ADmd \n\rCustFctIn_LgtLimA_AGrdMaxDec = AEB_s_LgtLimA_AGrdMaxDec \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtLimA_StAcv_sc = AEB_sc_LgtLimA_StAcv \n\rCustFctIn_LgtLimA_ADmd_sc = AEB_sc_LgtLimA_ADmd \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc = AEB_sc_LgtLimA_AGrdMaxDec \n\r \n\rParameters \n\rCustFctIn_LgtLimA_BitFldConf = VMMP_CFBWBA_p_AEBLgtLimA_BitFldConf\n\rCustFctIn_LgtLimA_FlgIniExcDet = VMMP_CFBWBA_c_AEBLgtLimA_FlgIniExcDet\n\rCustFctIn_LgtLimA_FlgErrQlfAcv = VMMP_CFBWBA_c_AEBLgtLimA_FlgErrQlfAcv\n\rCustFctIn_LgtLimA_TurnOff = VMMP_CFBWBA_p_AEBLgtLimA_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

RangeCheck: Check if input signal range is valid

There is no RangeCheck for AEB LgtLimA-Service: Signal range is valid is always applied. (Signal range is invalid is never applied).

{
  "ID": "59554547.0",
  "ASIL": "  QM",
  "Text": "RangeCheck: Check if input signal range is valid\n\r \n\r \n\rThere is no RangeCheck for AEB LgtLimA-Service: Signal range is valid is always applied. (Signal range is invalid is never applied).",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "RangeCheck: Check if input signal range is valid",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "RangeCheck: Check if input signal range is valid\n\r \n\r \n\rThere is no RangeCheck for AEB LgtLimA-Service: Signal range is valid is always applied. (Signal range is invalid is never applied).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fault Tolerant Time Interval (FTTI) 

Note: The Fault Tolerant Time Interval describes minimum time-span from the occurrence of a fault (e.g. receiving Error Bit2) to a possible occurrence of a hazardous event, if the safety mechanism is not activated (e.g. *StDiagEve = VMMP_c_DiagEveSigFail).

If there is no specific Fault Tolerant Time Interval (FTTI) defined, the fault reaction shall be done within 10 ms (one computational cycle).

{
  "ID": "59554538.0",
  "ASIL": "  QM",
  "Text": "Fault Tolerant Time Interval (FTTI) \n\rNote: The Fault Tolerant Time Interval describes minimum time-span from the occurrence of a fault (e.g. receiving Error Bit2) to a possible occurrence of a hazardous event, if the safety mechanism is not activated (e.g. *StDiagEve = VMMP_c_DiagEveSigFail).\n\r \n\rIf there is no specific Fault Tolerant Time Interval (FTTI) defined, the fault reaction shall be done within 10 ms (one computational cycle).",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "Fault Tolerant Time Interval (FTTI)",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Fault Tolerant Time Interval (FTTI) \n\rNote: The Fault Tolerant Time Interval describes minimum time-span from the occurrence of a fault (e.g. receiving Error Bit2) to a possible occurrence of a hazardous event, if the safety mechanism is not activated (e.g. *StDiagEve = VMMP_c_DiagEveSigFail).\n\r \n\rIf there is no specific Fault Tolerant Time Interval (FTTI) defined, the fault reaction shall be done within 10 ms (one computational cycle).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Assign generic output signals to specific output signals 

Outputs

StAcv

CFBWBA_s_AEBLgtLimA_StAcv = CustFctOut_LgtLimA_StAcv

CFBWBA_s_AEBLgtLimA_StAcvMd = CustFctOut_LgtLimA_StAcvMd

All other Outputs

CFBWBA_s_AEBLgtLimA_ADmd = CustFctOut_LgtLimA_ADmd

CFBWBA_s_AEBLgtLimA_APredTar = CustFctOut_LgtLimA_ADmd

CFBWBA_s_AEBLgtLimA_ATlrHiDyn = CustFctOut_LgtLimA_ADmd

CFBWBA_s_AEBLgtLimA_ATlrHiTar = CustFctOut_LgtLimA_ADmd

CFBWBA_s_AEBLgtLimA_AGrdMaxDec = CustFctOut_LgtLimA_AGrdMaxDec

States

CFBWBA_s_DiagAEBLgtLimA_StEve = CustFctOut_LgtLimA_StDiagEve

Calculation of CFBWBA_s_AEBLgtLimA_StDeceCritMax

IF:

CFBWBA_s_AEBLgtLimA_StAcvMd = VMMP_SINFCT_c_CusFctAEBLgtLimA_StReqAcvASILC

THEN:

CFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritASILC

ELSEIF:

CFBWBA_s_AEBLgtLimA_StAcvMd = VMMP_SINFCT_c_CusFctAEBLgtLimA_StReqAcvASILB

THEN:

CFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritASILB

ELSE:

CFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritQM

{
  "ID": "59554539.0",
  "ASIL": "  ASIL C",
  "Text": "Assign generic output signals to specific output signals \n\r\n\rOutputs\n\rStAcv\n\rCFBWBA_s_AEBLgtLimA_StAcv = CustFctOut_LgtLimA_StAcv\n\rCFBWBA_s_AEBLgtLimA_StAcvMd = CustFctOut_LgtLimA_StAcvMd\n\r \n\rAll other Outputs\n\rCFBWBA_s_AEBLgtLimA_ADmd = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_APredTar = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_ATlrHiDyn = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_ATlrHiTar = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_AGrdMaxDec = CustFctOut_LgtLimA_AGrdMaxDec\n\r \n\r \n\rStates\n\rCFBWBA_s_DiagAEBLgtLimA_StEve = CustFctOut_LgtLimA_StDiagEve\n\r \n\rCalculation of CFBWBA_s_AEBLgtLimA_StDeceCritMax\n\rIF:\n\rCFBWBA_s_AEBLgtLimA_StAcvMd = VMMP_SINFCT_c_CusFctAEBLgtLimA_StReqAcvASILC\n\rTHEN:\n\rCFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritASILC\n\rELSEIF:\n\rCFBWBA_s_AEBLgtLimA_StAcvMd = VMMP_SINFCT_c_CusFctAEBLgtLimA_StReqAcvASILB\n\rTHEN:\n\rCFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritASILB\n\rELSE:\n\rCFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritQM",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Assign generic output signals to specific output signals",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Assign generic output signals to specific output signals \n\r\n\rOutputs\n\rStAcv\n\rCFBWBA_s_AEBLgtLimA_StAcv = CustFctOut_LgtLimA_StAcv\n\rCFBWBA_s_AEBLgtLimA_StAcvMd = CustFctOut_LgtLimA_StAcvMd\n\r \n\rAll other Outputs\n\rCFBWBA_s_AEBLgtLimA_ADmd = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_APredTar = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_ATlrHiDyn = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_ATlrHiTar = CustFctOut_LgtLimA_ADmd\n\rCFBWBA_s_AEBLgtLimA_AGrdMaxDec = CustFctOut_LgtLimA_AGrdMaxDec\n\r \n\r \n\rStates\n\rCFBWBA_s_DiagAEBLgtLimA_StEve = CustFctOut_LgtLimA_StDiagEve\n\r \n\rCalculation of CFBWBA_s_AEBLgtLimA_StDeceCritMax\n\rIF:\n\rCFBWBA_s_AEBLgtLimA_StAcvMd = VMMP_SINFCT_c_CusFctAEBLgtLimA_StReqAcvASILC\n\rTHEN:\n\rCFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritASILC\n\rELSEIF:\n\rCFBWBA_s_AEBLgtLimA_StAcvMd = VMMP_SINFCT_c_CusFctAEBLgtLimA_StReqAcvASILB\n\rTHEN:\n\rCFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritASILB\n\rELSE:\n\rCFBWBA_s_AEBLgtLimA_StDeceCritMax = VMMP_c_IdxSafeCritQM",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}