Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

HVLM PrkCtlAly Service

{
  "ID": "16666417.0",
  "ASIL": "  ",
  "Text": "HVLM PrkCtlAly Service",
  "Type": "Folder",
  "Status": "",
  "Summary": "HVLM PrkCtlAly Service",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352254.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

Inputs

Signal-Values:

CusFctIn_s_PrkCtl_StAlyReq = HVLM_s_PrkCtl_StAlyReq

Signal-Classifier:

CusFctIn_s_PrkCtl_StAlyReq_sc = HVLM_sc_PrkCtl_StAlyReq

Parameters 

CustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_HVLMPrkCtl_BitFldConfAly

CustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_HVLMPrkCtlAly_FlgIniExcDet

CustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_HVLMPrkCtlAly_FlgErrQlfAcv

CustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_HVLMPrkCtlAly_TurnOff

{
  "ID": "16666418.0",
  "ASIL": "  QM",
  "Text": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCusFctIn_s_PrkCtl_StAlyReq = HVLM_s_PrkCtl_StAlyReq\n\r \n\rSignal-Classifier:\n\rCusFctIn_s_PrkCtl_StAlyReq_sc = HVLM_sc_PrkCtl_StAlyReq\n\r \n\r\n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_HVLMPrkCtl_BitFldConfAly\n\rCustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_HVLMPrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_HVLMPrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_HVLMPrkCtlAly_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352256.0",
  "Description": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCusFctIn_s_PrkCtl_StAlyReq = HVLM_s_PrkCtl_StAlyReq\n\r \n\rSignal-Classifier:\n\rCusFctIn_s_PrkCtl_StAlyReq_sc = HVLM_sc_PrkCtl_StAlyReq\n\r \n\r\n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_HVLMPrkCtl_BitFldConfAly\n\rCustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_HVLMPrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_HVLMPrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_HVLMPrkCtlAly_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

RangeCheck: Check if input signal range is valid

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

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

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": "16666420.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": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1388018.0",
  "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": ""
}

Assign generic output signals to specific output signals

Outputs

Request

 CFBVSP_s_HVLMPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq

States

CFBVSP_s_DiagHVLMPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve

{
  "ID": "16666421.0",
  "ASIL": "  QM",
  "Text": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_HVLMPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCFBVSP_s_DiagHVLMPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1352258.0",
  "Description": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_HVLMPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCFBVSP_s_DiagHVLMPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

RSt Customer Function

{
  "ID": "16666422.0",
  "ASIL": "  ",
  "Text": "RSt Customer Function",
  "Type": "Folder",
  "Status": "",
  "Summary": "RSt Customer Function",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352283.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

RSt PrkCtlAly Service

{
  "ID": "16666423.0",
  "ASIL": "  ",
  "Text": "RSt PrkCtlAly Service",
  "Type": "Folder",
  "Status": "",
  "Summary": "RSt PrkCtlAly Service",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352284.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

Inputs

Signal-Values:

CusFctIn_s_PrkCtl_StAlyReq = RSt_s_PrkCtl_StAlyReq 

Signal-Classifier:

CusFctIn_s_PrkCtl_StAlyReq_sc = RSt_sc_PrkCtl_StAlyReq

Parameters 

CustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_RStPrkCtl_BitFldConfAly

CustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_RStPrkCtlAly_FlgIniExcDet

CustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_RStPrkCtlAly_FlgErrQlfAcv

CustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_RStPrkCtlAly_TurnOff

{
  "ID": "16666424.0",
  "ASIL": "  QM",
  "Text": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCusFctIn_s_PrkCtl_StAlyReq = RSt_s_PrkCtl_StAlyReq \n\r \n\rSignal-Classifier:\n\rCusFctIn_s_PrkCtl_StAlyReq_sc = RSt_sc_PrkCtl_StAlyReq\n\r \n\r\n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_RStPrkCtl_BitFldConfAly\n\rCustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_RStPrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_RStPrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_RStPrkCtlAly_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352292.0",
  "Description": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCusFctIn_s_PrkCtl_StAlyReq = RSt_s_PrkCtl_StAlyReq \n\r \n\rSignal-Classifier:\n\rCusFctIn_s_PrkCtl_StAlyReq_sc = RSt_sc_PrkCtl_StAlyReq\n\r \n\r\n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_RStPrkCtl_BitFldConfAly\n\rCustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_RStPrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_RStPrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_RStPrkCtlAly_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

RangeCheck: Check if input signal range is valid

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

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

Assignment for Mapping *StDiagEve to *StVld:

*StDiagEve = CFBVSP_s_DiagRStPrkCtlAly_StEve

{
  "ID": "16666426.0",
  "ASIL": "  QM",
  "Text": "Assignment for Mapping *StDiagEve to *StVld:\n\r \n\r*StDiagEve = CFBVSP_s_DiagRStPrkCtlAly_StEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352381.0",
  "Description": "Assignment for Mapping *StDiagEve to *StVld:\n\r \n\r*StDiagEve = CFBVSP_s_DiagRStPrkCtlAly_StEve",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Mapping *StDiagEve to *StVld

IF: 

*StDiagEve = VMMP_c_DiagEveSigNotVld

THEN:

*StVld = 3

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigFail

THEN:

*StVld = 3

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigDi

THEN:

*StVld = 2

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigIni

THEN:

*StVld = 2

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigSusp

THEN:

*StVld = 0

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigNone

THEN:

*StVld = 1

{
  "ID": "16666427.0",
  "ASIL": "  QM",
  "Text": "Mapping *StDiagEve to *StVld\n\r \n\r\n\rIF: \n\r*StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN:\n\r*StVld = 0\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN:\n\r*StVld = 1",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352383.0",
  "Description": "Mapping *StDiagEve to *StVld\n\r \n\r\n\rIF: \n\r*StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN:\n\r*StVld = 0\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN:\n\r*StVld = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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": "16666428.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": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1388019.0",
  "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": ""
}

Assign generic output signals to specific output signals

Outputs

Request

 CFBVSP_s_RStPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq

States

CFBVSP_s_DiagRStPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve

CFBVSP_s_RStPrkCtl_StVld = *StVld

{
  "ID": "16666429.0",
  "ASIL": "  QM",
  "Text": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_RStPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCFBVSP_s_DiagRStPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve\n\rCFBVSP_s_RStPrkCtl_StVld = *StVld",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1352294.0",
  "Description": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_RStPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCFBVSP_s_DiagRStPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve\n\rCFBVSP_s_RStPrkCtl_StVld = *StVld",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

KFG Customer Function

{
  "ID": "16666430.0",
  "ASIL": "  ",
  "Text": "KFG Customer Function",
  "Type": "Folder",
  "Status": "",
  "Summary": "KFG Customer Function",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352313.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Enable KFG Customer Function

IF: 

VSOCH_s_FlgKFG_Ena = 0 (false) within the initial timestep

THEN: 

All KFG outputs are equal to the Init Values in the signal specification file

ELSEIF:

VSOCH_s_FlgKFG_Ena = 0 (false) while module execution

THEN:

All KFG outputs are equal to the value of previous computation cycle (Hold Last Value)

ELSE:

The output behaviour described in the following chapters shall be applied

{
  "ID": "16666431.0",
  "ASIL": "  QM",
  "Text": "Enable KFG Customer Function\n\r \n\rIF: \n\rVSOCH_s_FlgKFG_Ena = 0 (false) within the initial timestep\n\rTHEN: \n\rAll KFG outputs are equal to the Init Values in the signal specification file\n\r \n\rELSEIF:\n\rVSOCH_s_FlgKFG_Ena = 0 (false) while module execution\n\rTHEN:\n\rAll KFG outputs are equal to the value of previous computation cycle (Hold Last Value)\n\r \n\rELSE:\n\rThe output behaviour described in the following chapters shall be applied",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352408.0",
  "Description": "Enable KFG Customer Function\n\r \n\rIF: \n\rVSOCH_s_FlgKFG_Ena = 0 (false) within the initial timestep\n\rTHEN: \n\rAll KFG outputs are equal to the Init Values in the signal specification file\n\r \n\rELSEIF:\n\rVSOCH_s_FlgKFG_Ena = 0 (false) while module execution\n\rTHEN:\n\rAll KFG outputs are equal to the value of previous computation cycle (Hold Last Value)\n\r \n\rELSE:\n\rThe output behaviour described in the following chapters shall be applied",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

KFG PrkCtlAly Service

{
  "ID": "16666432.0",
  "ASIL": "  ",
  "Text": "KFG PrkCtlAly Service",
  "Type": "Folder",
  "Status": "",
  "Summary": "KFG PrkCtlAly Service",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352312.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

Inputs

Signal-Values:

CustFctIn_PrkCtl_StAlyReq = LeavCon_s_PrkCtl_StAlyReqKFG 

Signal-Classifier:

CustFctIn_PrkCtl_StAlyReq_sc = LeavCon_sc_PrkCtl_StAlyReqKFG

Parameters 

CustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_KFGPrkCtl_BitFldConfAly

CustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_KFGPrkCtlAly_FlgIniExcDet

CustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_KFGPrkCtlAly_FlgErrQlfAcv

CustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_KFGPrkCtlAly_TurnOff

{
  "ID": "16666433.0",
  "ASIL": "  QM",
  "Text": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCustFctIn_PrkCtl_StAlyReq = LeavCon_s_PrkCtl_StAlyReqKFG \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StAlyReq_sc = LeavCon_sc_PrkCtl_StAlyReqKFG\n\r \n\r\n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_KFGPrkCtl_BitFldConfAly\n\rCustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_KFGPrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_KFGPrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_KFGPrkCtlAly_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352316.0",
  "Description": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCustFctIn_PrkCtl_StAlyReq = LeavCon_s_PrkCtl_StAlyReqKFG \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StAlyReq_sc = LeavCon_sc_PrkCtl_StAlyReqKFG\n\r \n\r\n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf = VMMP_CFBVSP_p_KFGPrkCtl_BitFldConfAly\n\rCustFctIn_PrkCtlAly_FlgIniExcDet = VMMP_CFBVSP_c_KFGPrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv = VMMP_CFBVSP_c_KFGPrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff = VMMP_CFBVSP_p_KFGPrkCtlAly_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

RangeCheck: Check if input signal range is valid

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

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

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": "16666435.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": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1388020.0",
  "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": ""
}

Assign generic output signals to specific output signals

Outputs

Request

 CFBVSP_s_KFGPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq

States

CFBVSP_s_DiagKFGPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve

{
  "ID": "16666436.0",
  "ASIL": "  QM",
  "Text": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_KFGPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCFBVSP_s_DiagKFGPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1356933.0",
  "Description": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_KFGPrkCtl_StAlyReq = CustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCFBVSP_s_DiagKFGPrkCtlAly_StEve = CustFctOut_PrkCtlAly_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

KFG PrkLockCtl Service

{
  "ID": "16666437.0",
  "ASIL": "  ",
  "Text": "KFG PrkLockCtl Service",
  "Type": "Folder",
  "Status": "",
  "Summary": "KFG PrkLockCtl Service",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352417.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

Inputs

Signal-Values:

CustFctIn_PrkCtl_StPrkLockReq = LeavCon_s_PrkCtl_StPrkLockReqKFG 

Signal-Classifier:

CustFctIn_PrkCtl_StPrkLockReq_sc = LeavCon_sc_PrkCtl_StPrkLockReqKFG

Parameters 

CustFctIn_PrkLockCtl_FlgIniExcDet = VMMP_CFBVSP_c_KFGPrkLockCtl_FlgIniExcDet

CustFctIn_PrkLockCtl_FlgErrQlfAcv = VMMP_CFBVSP_c_KFGPrkLockCtl_FlgErrQlfAcv

CustFctIn_PrkLockCtl_TurnOff = VMMP_CFBVSP_p_KFGPrkLockCtl_TurnOff

{
  "ID": "16666438.0",
  "ASIL": "  QM",
  "Text": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCustFctIn_PrkCtl_StPrkLockReq = LeavCon_s_PrkCtl_StPrkLockReqKFG \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StPrkLockReq_sc = LeavCon_sc_PrkCtl_StPrkLockReqKFG\n\r \n\r\n\rParameters \n\rCustFctIn_PrkLockCtl_FlgIniExcDet = VMMP_CFBVSP_c_KFGPrkLockCtl_FlgIniExcDet\n\rCustFctIn_PrkLockCtl_FlgErrQlfAcv = VMMP_CFBVSP_c_KFGPrkLockCtl_FlgErrQlfAcv\n\rCustFctIn_PrkLockCtl_TurnOff = VMMP_CFBVSP_p_KFGPrkLockCtl_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1352416.0",
  "Description": "Replace generic input signals by specific input signal values, signal classifiers and parameters\n\r \n\rInputs\n\rSignal-Values:\n\rCustFctIn_PrkCtl_StPrkLockReq = LeavCon_s_PrkCtl_StPrkLockReqKFG \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StPrkLockReq_sc = LeavCon_sc_PrkCtl_StPrkLockReqKFG\n\r \n\r\n\rParameters \n\rCustFctIn_PrkLockCtl_FlgIniExcDet = VMMP_CFBVSP_c_KFGPrkLockCtl_FlgIniExcDet\n\rCustFctIn_PrkLockCtl_FlgErrQlfAcv = VMMP_CFBVSP_c_KFGPrkLockCtl_FlgErrQlfAcv\n\rCustFctIn_PrkLockCtl_TurnOff = VMMP_CFBVSP_p_KFGPrkLockCtl_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

RangeCheck: Check if input signal range is valid

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

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

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": "16666440.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": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1388021.0",
  "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": ""
}

Assign generic output signals to specific output signals

Outputs

Request

 CFBVSP_s_KFGPrkCtl_StPrkLckReq = CustFctOut_PrkCtl_StPrkLockReq

States

CFBVSP_s_DiagKFGPrkLckCtl_StEve = CustFctOut_PrkLock_StDiagEve

{
  "ID": "16666441.0",
  "ASIL": "  QM",
  "Text": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_KFGPrkCtl_StPrkLckReq = CustFctOut_PrkCtl_StPrkLockReq\n\rStates\n\rCFBVSP_s_DiagKFGPrkLckCtl_StEve = CustFctOut_PrkLock_StDiagEve",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1356937.0",
  "Description": "Assign generic output signals to specific output signals\n\r \n\r\n\rOutputs\n\rRequest\n\r CFBVSP_s_KFGPrkCtl_StPrkLckReq = CustFctOut_PrkCtl_StPrkLockReq\n\rStates\n\rCFBVSP_s_DiagKFGPrkLckCtl_StEve = CustFctOut_PrkLock_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

The signal CFBVSP_s_KFGPrkCtl_StVld describes the validity of the input signals from the LeavCon customer function. The validity of PrkCltAly-service and PrkLockCtl-service are defined by the diagnostic events CFBVSP_s_DiagKFGPrkCtlAly_StEve and CFBVSP_s_DiagKFGPrkLckCtl_StEve. Both diagnostic events are merged to the signal CFBVSP_s_KFGPrkCtl_StVld.

{
  "ID": "16666442.0",
  "ASIL": "  ",
  "Text": "The signal CFBVSP_s_KFGPrkCtl_StVld describes the validity of the input signals from the LeavCon customer function. The validity of PrkCltAly-service and PrkLockCtl-service are defined by the diagnostic events CFBVSP_s_DiagKFGPrkCtlAly_StEve and CFBVSP_s_DiagKFGPrkLckCtl_StEve. Both diagnostic events are merged to the signal CFBVSP_s_KFGPrkCtl_StVld.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1388054.0",
  "Description": "The signal CFBVSP_s_KFGPrkCtl_StVld describes the validity of the input signals from the LeavCon customer function. The validity of PrkCltAly-service and PrkLockCtl-service are defined by the diagnostic events CFBVSP_s_DiagKFGPrkCtlAly_StEve and CFBVSP_s_DiagKFGPrkLckCtl_StEve. Both diagnostic events are merged to the signal CFBVSP_s_KFGPrkCtl_StVld.",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Assignment for Mapping:

*StDiagEve = CFBVSP_s_DiagKFGPrkLckCtl_StEve

*StDiagEve = CFBVSP_s_DiagKFGPrkCtlAly_StEve

{
  "ID": "16666443.0",
  "ASIL": "  QM",
  "Text": "Assignment for Mapping:\n\r \n\r*StDiagEve = CFBVSP_s_DiagKFGPrkLckCtl_StEve\n\r*StDiagEve = CFBVSP_s_DiagKFGPrkCtlAly_StEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1356929.0",
  "Description": "Assignment for Mapping:\n\r \n\r*StDiagEve = CFBVSP_s_DiagKFGPrkLckCtl_StEve\n\r*StDiagEve = CFBVSP_s_DiagKFGPrkCtlAly_StEve",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Mapping *StDiagEve to *StVld

IF: 

*StDiagEve = VMMP_c_DiagEveSigNotVld

THEN:

*StVld = 3

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigFail

THEN:

*StVld = 3

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigDi

THEN:

*StVld = 2

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigIni

THEN:

*StVld = 2

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigSusp

THEN:

*StVld = 0

ELSEIF:

*StDiagEve = VMMP_c_DiagEveSigNone

THEN:

*StVld = 1

{
  "ID": "16666444.0",
  "ASIL": "  QM",
  "Text": "Mapping *StDiagEve to *StVld\n\r \n\r\n\rIF: \n\r*StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN:\n\r*StVld = 0\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN:\n\r*StVld = 1",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1356927.0",
  "Description": "Mapping *StDiagEve to *StVld\n\r \n\r\n\rIF: \n\r*StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN:\n\r*StVld = 3\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN:\n\r*StVld = 2\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN:\n\r*StVld = 0\n\rELSEIF:\n\r*StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN:\n\r*StVld = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Merging several *StVld to one *StVld considering prioritization:

CFBVSP_s_KFGPrkCtl_StVld = *StVld

Prioritization if different *StVld values are set at the same time (based on *StDiagEve):

Prio 1: *StVld = 3 (Failure)

Prio 2: *StVld = 2 (Init)

Prio 3: *StVld = 0 (Suspicious)

Prio 4: *StVld = 1 (Valid)

{
  "ID": "16666445.0",
  "ASIL": "  QM",
  "Text": "Merging several *StVld to one *StVld considering prioritization:\n\r \n\rCFBVSP_s_KFGPrkCtl_StVld = *StVld\n\r \n\rPrioritization if different *StVld values are set at the same time (based on *StDiagEve):\n\rPrio 1: *StVld = 3 (Failure)\n\rPrio 2: *StVld = 2 (Init)\n\rPrio 3: *StVld = 0 (Suspicious)\n\rPrio 4: *StVld = 1 (Valid)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1356925.0",
  "Description": "Merging several *StVld to one *StVld considering prioritization:\n\r \n\rCFBVSP_s_KFGPrkCtl_StVld = *StVld\n\r \n\rPrioritization if different *StVld values are set at the same time (based on *StDiagEve):\n\rPrio 1: *StVld = 3 (Failure)\n\rPrio 2: *StVld = 2 (Init)\n\rPrio 3: *StVld = 0 (Suspicious)\n\rPrio 4: *StVld = 1 (Valid)",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Check Signal Values of VMMP output signals

The output signals CFBVSP_s_LeavConPrkCtl_StVld, CFBVSP_s_RStPrkCtl_StVld, CFBVSP_s_KFGPrkCtl_StVld must always have the values 0, 1, 2 or 3.

To test this requirement no separate test is necessary. Every implemented test case should check the signal range of *StVld in the end.

{
  "ID": "16666446.0",
  "ASIL": "  QM",
  "Text": "Check Signal Values of VMMP output signals\n\r \n\rThe output signals CFBVSP_s_LeavConPrkCtl_StVld, CFBVSP_s_RStPrkCtl_StVld, CFBVSP_s_KFGPrkCtl_StVld must always have the values 0, 1, 2 or 3.\n\r \n\rTo test this requirement no separate test is necessary. Every implemented test case should check the signal range of *StVld in the end.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1388024.0",
  "Description": "Check Signal Values of VMMP output signals\n\r \n\rThe output signals CFBVSP_s_LeavConPrkCtl_StVld, CFBVSP_s_RStPrkCtl_StVld, CFBVSP_s_KFGPrkCtl_StVld must always have the values 0, 1, 2 or 3.\n\r \n\rTo test this requirement no separate test is necessary. Every implemented test case should check the signal range of *StVld in the end.",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}