Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

Mapping and Neutral-Value-Handling of CustFctIn_LgtLimA_StAcv

IF [AND(1,2)]: 

1) CustFctIn_LgtLimA_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

2) LgtLimA-Inputs are NOT neutral (LgtLimA-Inputs not neutral) 

THEN: 

CustFctOut_LgtLimA_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

ELSEIF [AND(1,2,3)]: 

1) CustFctIn_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctAcv 

2) LgtLimA-Inputs are neutral (LgtLimA-Inputs neutral) 

3) Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true 

THEN: 

CustFctOut_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctAcvNeut 

ELSE: 

CustFctOut_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctNoReq

Note: The expression "Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression "Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true" shall be true.

{
  "ID": "16665631.0",
  "ASIL": "  QM",
  "Text": "Mapping and Neutral-Value-Handling of CustFctIn_LgtLimA_StAcv\n\r \n\rIF [AND(1,2)]: \n\r1) CustFctIn_LgtLimA_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) LgtLimA-Inputs are NOT neutral (LgtLimA-Inputs not neutral) \n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r \n\rELSEIF [AND(1,2,3)]: \n\r1) CustFctIn_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctAcv \n\r2) LgtLimA-Inputs are neutral (LgtLimA-Inputs neutral) \n\r3) Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true \n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctAcvNeut \n\r \n\rELSE: \n\rCustFctOut_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true\" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression \"Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true\" shall be true.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343414.0",
  "Description": "Mapping and Neutral-Value-Handling of CustFctIn_LgtLimA_StAcv\n\r \n\rIF [AND(1,2)]: \n\r1) CustFctIn_LgtLimA_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) LgtLimA-Inputs are NOT neutral (LgtLimA-Inputs not neutral) \n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r \n\rELSEIF [AND(1,2,3)]: \n\r1) CustFctIn_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctAcv \n\r2) LgtLimA-Inputs are neutral (LgtLimA-Inputs neutral) \n\r3) Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true \n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctAcvNeut \n\r \n\rELSE: \n\rCustFctOut_LgtLimA_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true\" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression \"Bit position VMMP_SINFCT_c_LgtLimA_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_LgtLimA_BitFldConf is true\" shall be true.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtLimA Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_LgtLimA_TurnOff

*FlgIniExcDet equal to CustFctIn_LgtLimA_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_LgtLimA_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_LgtLimA_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665632.0",
  "ASIL": "  QM",
  "Text": "LgtLimA Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LgtLimA_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LgtLimA_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LgtLimA_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LgtLimA_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343420.0",
  "Description": "LgtLimA Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LgtLimA_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LgtLimA_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LgtLimA_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LgtLimA_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the LgtLimA Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665633.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the LgtLimA Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343412.0",
  "Description": "The following functional requirement describes the valid case of the LgtLimA Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_LgtLimA_StAcv = CustFctIn_LgtLimA_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LgtLimA_StAcv)

CustFctOut_LgtLimA_ADmd = CustFctIn_LgtLimA_ADmd 

CustFctOut_LgtLimA_APredTar = CustFctIn_LgtLimA_APredTar 

CustFctOut_LgtLimA_AGrdMaxDec = CustFctIn_LgtLimA_AGrdMaxDec 

CustFctOut_LgtLimA_AGrdMaxInc = CustFctIn_LgtLimA_AGrdMaxInc 

CustFctOut_LgtLimA_ATlrHiTar = CustFctIn_LgtLimA_ATlrHiTar 

CustFctOut_LgtLimA_ATlrHiDyn = CustFctIn_LgtLimA_ATlrHiDyn 

CustFctOut_LgtLimA_MdTarDyn = CustFctIn_LgtLimA_MdTarDyn

{
  "ID": "16665634.0",
  "ASIL": "  QM",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv = CustFctIn_LgtLimA_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LgtLimA_StAcv)\n\rCustFctOut_LgtLimA_ADmd = CustFctIn_LgtLimA_ADmd \n\rCustFctOut_LgtLimA_APredTar = CustFctIn_LgtLimA_APredTar \n\rCustFctOut_LgtLimA_AGrdMaxDec = CustFctIn_LgtLimA_AGrdMaxDec \n\rCustFctOut_LgtLimA_AGrdMaxInc = CustFctIn_LgtLimA_AGrdMaxInc \n\rCustFctOut_LgtLimA_ATlrHiTar = CustFctIn_LgtLimA_ATlrHiTar \n\rCustFctOut_LgtLimA_ATlrHiDyn = CustFctIn_LgtLimA_ATlrHiDyn \n\rCustFctOut_LgtLimA_MdTarDyn = CustFctIn_LgtLimA_MdTarDyn",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343419.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv = CustFctIn_LgtLimA_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LgtLimA_StAcv)\n\rCustFctOut_LgtLimA_ADmd = CustFctIn_LgtLimA_ADmd \n\rCustFctOut_LgtLimA_APredTar = CustFctIn_LgtLimA_APredTar \n\rCustFctOut_LgtLimA_AGrdMaxDec = CustFctIn_LgtLimA_AGrdMaxDec \n\rCustFctOut_LgtLimA_AGrdMaxInc = CustFctIn_LgtLimA_AGrdMaxInc \n\rCustFctOut_LgtLimA_ATlrHiTar = CustFctIn_LgtLimA_ATlrHiTar \n\rCustFctOut_LgtLimA_ATlrHiDyn = CustFctIn_LgtLimA_ATlrHiDyn \n\rCustFctOut_LgtLimA_MdTarDyn = CustFctIn_LgtLimA_MdTarDyn",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

* CustFctOut_LgtLimA_StAcv is set to a defined value or frozen to the last valid value.

* All other Outputs will be frozen to the last valid value.

{
  "ID": "16665635.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LgtLimA_StAcv is set to a defined value or frozen to the last valid value.\n\r* All other Outputs will be frozen to the last valid value.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343417.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LgtLimA_StAcv is set to a defined value or frozen to the last valid value.\n\r* All other Outputs will be frozen to the last valid value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_LgtLimA_StAcv = VMMP_c_StReqCusFctNoReq

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

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

NotVld Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_LgtLimA_StAcv = VMMP_c_StReqCusFctNoReq

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

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

Fail Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_LgtLimA_StAcv = VMMP_c_StReqCusFctNoReq

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

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

Init

 Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_LgtLimA_StAcv = VMMP_c_StReqCusFctNoReq

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

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

Susp Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_LgtLimA_StAcv shall be 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": "16665640.0",
  "ASIL": "  QM",
  "Text": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv shall be 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": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343418.0",
  "Description": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LgtLimA_StAcv shall be 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"
}

LatCtl Service Bridge

{
  "ID": "16665641.0",
  "ASIL": "  ",
  "Text": "LatCtl Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "LatCtl Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343467.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Inputs 

Signal-Values:

CustFctIn_LatCtl_StAcv 

CustFctIn_LatCtlCrvtCtl_CrvtDmd 

CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd 

CustFctIn_LatCtlCrvtCtl_FacSsty 

CustFctIn_LatCtlCrvtCtl_StLimCtlFReq

CustFctIn_CrvtCtl_CrvtDmdTiStamp

CustFctIn_LatCtlSlipAgCtl_AgDmd 

CustFctIn_LatCtlSlipAgCtl_AgGrdDmd

CustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd 

Signal-Classifier:

CustFctIn_LatCtl_StAcv_sc 

CustFctIn_LatCtlCrvtCtl_CrvtDmd_sc 

CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc 

CustFctIn_LatCtlCrvtCtl_FacSsty_sc 

CustFctIn_LatCtlCrvtCtl_StLimCtlFReq_sc

CustFctIn_LatCtlSlipAgCtl_AgDmd_sc 

CustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc

CustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd_sc

Parameters 

CustFctIn_LatCtl_FlgIniExcDet

CustFctIn_LatCtl_FlgErrQlfAcv

CustFctIn_LatCtl_TurnOff

{
  "ID": "16665642.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_LatCtl_StAcv \n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd \n\rCustFctIn_LatCtlCrvtCtl_FacSsty \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq\n\rCustFctIn_CrvtCtl_CrvtDmdTiStamp\n\r \n\rCustFctIn_LatCtlSlipAgCtl_AgDmd \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd\n\r \n\rCustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd \n\r \n\rSignal-Classifier:\n\rCustFctIn_LatCtl_StAcv_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_FacSsty_sc \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq_sc\n\r \n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc\n\r \n\rCustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd_sc\n\r \n\rParameters \n\rCustFctIn_LatCtl_FlgIniExcDet\n\rCustFctIn_LatCtl_FlgErrQlfAcv\n\rCustFctIn_LatCtl_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343472.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_LatCtl_StAcv \n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd \n\rCustFctIn_LatCtlCrvtCtl_FacSsty \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq\n\rCustFctIn_CrvtCtl_CrvtDmdTiStamp\n\r \n\rCustFctIn_LatCtlSlipAgCtl_AgDmd \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd\n\r \n\rCustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd \n\r \n\rSignal-Classifier:\n\rCustFctIn_LatCtl_StAcv_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_FacSsty_sc \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq_sc\n\r \n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc\n\r \n\rCustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd_sc\n\r \n\rParameters \n\rCustFctIn_LatCtl_FlgIniExcDet\n\rCustFctIn_LatCtl_FlgErrQlfAcv\n\rCustFctIn_LatCtl_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

StAcv

CustFctOut_LatCtl_StAcv

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp

CustFctOut_LatCtlSlipAgCtl_FlgAcv

All other Outputs

CustFctOut_LatCtlCrvtCtl_CrvtDmd

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd

CustFctOut_LatCtlCrvtCtl_FacSsty

CustFctOut_LatCtlCrvtCtl_StLimCtlFReq

CustFctOut_LatCtlSlipAgCtl_AgDmd

CustFctOut_LatCtlSlipAgCtl_AgGrdDmd

CustFctOut_LatCtlStgStiCtl_AgOffStgWhlDmd

States

CustFctOut_LatCtl_StDiagEve

{
  "ID": "16665643.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rStAcv\n\rCustFctOut_LatCtl_StAcv\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv\n\r \n\rAll other Outputs\n\rCustFctOut_LatCtlCrvtCtl_CrvtDmd\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd\n\rCustFctOut_LatCtlCrvtCtl_FacSsty\n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq\n\rCustFctOut_LatCtlSlipAgCtl_AgDmd\n\rCustFctOut_LatCtlSlipAgCtl_AgGrdDmd\n\rCustFctOut_LatCtlStgStiCtl_AgOffStgWhlDmd\n\r \n\rStates\n\rCustFctOut_LatCtl_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343474.0",
  "Description": "Outputs\n\rStAcv\n\rCustFctOut_LatCtl_StAcv\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv\n\r \n\rAll other Outputs\n\rCustFctOut_LatCtlCrvtCtl_CrvtDmd\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd\n\rCustFctOut_LatCtlCrvtCtl_FacSsty\n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq\n\rCustFctOut_LatCtlSlipAgCtl_AgDmd\n\rCustFctOut_LatCtlSlipAgCtl_AgGrdDmd\n\rCustFctOut_LatCtlStgStiCtl_AgOffStgWhlDmd\n\r \n\rStates\n\rCustFctOut_LatCtl_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of LatCtl input signal classifiers

(Note: The classifier information of all LatCtl input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)

IF BitwiseOR: 

one or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

CustFctIn_LatCtl_StAcv_sc 

CustFctIn_LatCtlCrvtCtl_CrvtDmd_sc 

CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc 

CustFctIn_LatCtlCrvtCtl_FacSsty_sc 

CustFctIn_LatCtlCrvtCtl_StLimCtlFReq_sc

CustFctIn_LatCtlSlipAgCtl_AgDmd_sc 

CustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc

CustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd_sc

THEN:

the corresponding Bits of the merged classifier (internal) are true

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

ELSE:

the corresponding Bits of the merged classifier (internal) are false

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

{
  "ID": "16665644.0",
  "ASIL": "  QM",
  "Text": "Merged classifier of LatCtl input signal classifiers\n\r(Note: The classifier information of all LatCtl input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_LatCtl_StAcv_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_FacSsty_sc \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq_sc\n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc\n\rCustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343470.0",
  "Description": "Merged classifier of LatCtl input signal classifiers\n\r(Note: The classifier information of all LatCtl input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_LatCtl_StAcv_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_FacSsty_sc \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq_sc\n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc\n\rCustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping and Neutral-Value-Handling of CustFctIn_LatCtl_StAcv

IF: 

CustFctIn_LatCtl_StAcv is not equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

THEN: 

CustFctOut_LatCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_LatCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

2) Bit1 of BitwiseOR (

CustFctIn_LatCtlCrvtCtl_CrvtDmd_sc 

CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc 

CustFctIn_LatCtlCrvtCtl_FacSsty_sc

CustFctIn_LatCtlSlipAgCtl_AgDmd_sc) 

is set 

THEN: 

CustFctOut_LatCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSE: 

CustFctOut_LatCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

{
  "ID": "16665645.0",
  "ASIL": "  QM",
  "Text": "Mapping and Neutral-Value-Handling of CustFctIn_LatCtl_StAcv\n\r \n\r\n\rIF: \n\rCustFctIn_LatCtl_StAcv is not equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_LatCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) Bit1 of BitwiseOR (\n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_FacSsty_sc\n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc) \n\ris set \n\rTHEN: \n\rCustFctOut_LatCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSE: \n\rCustFctOut_LatCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343478.0",
  "Description": "Mapping and Neutral-Value-Handling of CustFctIn_LatCtl_StAcv\n\r \n\r\n\rIF: \n\rCustFctIn_LatCtl_StAcv is not equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_LatCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) Bit1 of BitwiseOR (\n\rCustFctIn_LatCtlCrvtCtl_CrvtDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_CrvtGrdDmd_sc \n\rCustFctIn_LatCtlCrvtCtl_FacSsty_sc\n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc) \n\ris set \n\rTHEN: \n\rCustFctOut_LatCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSE: \n\rCustFctOut_LatCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping of CustFctIn_LatCtlCrvtCtl_StLimCtlFReq 

IF: 

CustFctIn_LatCtlCrvtCtl_StLimCtlFReq > VMMP_SINFCT_c_SrvLatCtlCrvtCtl_StLimCtlFReqRngLimHi 

THEN: 

CustFctOut_LatCtlCrvtCtl_StLimCtlFReq is equal to VMMP_c_StReqCusFctNoReq

ELSE:

CustFctOut_LatCtlCrvtCtl_StLimCtlFReq is equal to CustFctIn_LatCtlCrvtCtl_StLimCtlFReq

{
  "ID": "16665646.0",
  "ASIL": "  QM",
  "Text": "Mapping of CustFctIn_LatCtlCrvtCtl_StLimCtlFReq \n\r \n\rIF: \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq > VMMP_SINFCT_c_SrvLatCtlCrvtCtl_StLimCtlFReqRngLimHi \n\rTHEN: \n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq is equal to VMMP_c_StReqCusFctNoReq\n\rELSE:\n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq is equal to CustFctIn_LatCtlCrvtCtl_StLimCtlFReq",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343476.0",
  "Description": "Mapping of CustFctIn_LatCtlCrvtCtl_StLimCtlFReq \n\r \n\rIF: \n\rCustFctIn_LatCtlCrvtCtl_StLimCtlFReq > VMMP_SINFCT_c_SrvLatCtlCrvtCtl_StLimCtlFReqRngLimHi \n\rTHEN: \n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq is equal to VMMP_c_StReqCusFctNoReq\n\rELSE:\n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq is equal to CustFctIn_LatCtlCrvtCtl_StLimCtlFReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Calculation of output signal CustFctOut_LatCtlCrvtCtl_FlgGrdExtp 

IF:

CustFctIn_CrvtCtl_CrvtDmdTiStamp of the previous computation cycle is equal to the current computational cycle

THEN:

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 1 (true)

ELSE:

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)

{
  "ID": "16665647.0",
  "ASIL": "  QM",
  "Text": "Calculation of output signal CustFctOut_LatCtlCrvtCtl_FlgGrdExtp \n\r \n\r\n\rIF:\n\rCustFctIn_CrvtCtl_CrvtDmdTiStamp of the previous computation cycle is equal to the current computational cycle\n\rTHEN:\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 1 (true)\n\rELSE:\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343477.0",
  "Description": "Calculation of output signal CustFctOut_LatCtlCrvtCtl_FlgGrdExtp \n\r \n\r\n\rIF:\n\rCustFctIn_CrvtCtl_CrvtDmdTiStamp of the previous computation cycle is equal to the current computational cycle\n\rTHEN:\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 1 (true)\n\rELSE:\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Calculation of output signal CustFctOut_LatCtlSlipAgCtl_FlgAcv 

IF:

Bit1 of BitwiseOR (

CustFctIn_LatCtlSlipAgCtl_AgDmd_sc 

CustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc)

is set

THEN:

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

ELSE:

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 1 (true)

{
  "ID": "16665648.0",
  "ASIL": "  QM",
  "Text": "Calculation of output signal CustFctOut_LatCtlSlipAgCtl_FlgAcv \n\r \n\r\n\rIF:\n\rBit1 of BitwiseOR (\n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc)\n\ris set\n\rTHEN:\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rELSE:\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 1 (true)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343464.0",
  "Description": "Calculation of output signal CustFctOut_LatCtlSlipAgCtl_FlgAcv \n\r \n\r\n\rIF:\n\rBit1 of BitwiseOR (\n\rCustFctIn_LatCtlSlipAgCtl_AgDmd_sc \n\rCustFctIn_LatCtlSlipAgCtl_AgGrdDmd_sc)\n\ris set\n\rTHEN:\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rELSE:\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 1 (true)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LatCtl Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_LatCtl_TurnOff

*FlgIniExcDet equal to CustFctIn_LatCtl_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_LatCtl_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_LatCtl_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665649.0",
  "ASIL": "  QM",
  "Text": "LatCtl Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LatCtl_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LatCtl_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LatCtl_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LatCtl_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343462.0",
  "Description": "LatCtl Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LatCtl_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LatCtl_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LatCtl_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LatCtl_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the LatCtl Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665650.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the LatCtl Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343471.0",
  "Description": "The following functional requirement describes the valid case of the LatCtl Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_LatCtl_StAcv = CustFctIn_LatCtl_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LatCtl_StAcv)

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = CustFctIn_CrvtCtl_CrvtDmdTiStamp (considering Calculation of output signal CustFctOut_LatCtlCrvtCtl_FlgGrdExtp)

CustFctOut_LatCtlSlipAgCtl_FlgAcv is calculated by Calculation of output signal CustFctOut_LatCtlSlipAgCtl_FlgAcv

CustFctOut_LatCtlCrvtCtl_CrvtDmd = CustFctIn_LatCtlCrvtCtl_CrvtDmd 

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd 

CustFctOut_LatCtlCrvtCtl_FacSsty = CustFctIn_LatCtlCrvtCtl_FacSsty 

CustFctOut_LatCtlCrvtCtl_StLimCtlFReq = CustFctIn_LatCtlCrvtCtl_StLimCtlFReq (considering Mapping of CustFctIn_LatCtlCrvtCtl_StLimCtlFReq) 

CustFctOut_LatCtlSlipAgCtl_AgDmd = CustFctIn_LatCtlSlipAgCtl_AgDmd 

CustFctOut_LatCtlSlipAgCtl_AgGrdDmd = CustFctIn_LatCtlSlipAgCtl_AgGrdDmd 

CustFctOut_LatCtlStgStiCtl_AgOffStgWhlDmd = CustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd

{
  "ID": "16665651.0",
  "ASIL": "  QM",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = CustFctIn_LatCtl_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LatCtl_StAcv)\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = CustFctIn_CrvtCtl_CrvtDmdTiStamp (considering Calculation of output signal CustFctOut_LatCtlCrvtCtl_FlgGrdExtp)\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv is calculated by Calculation of output signal CustFctOut_LatCtlSlipAgCtl_FlgAcv\n\rCustFctOut_LatCtlCrvtCtl_CrvtDmd = CustFctIn_LatCtlCrvtCtl_CrvtDmd \n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd \n\rCustFctOut_LatCtlCrvtCtl_FacSsty = CustFctIn_LatCtlCrvtCtl_FacSsty \n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq = CustFctIn_LatCtlCrvtCtl_StLimCtlFReq (considering Mapping of CustFctIn_LatCtlCrvtCtl_StLimCtlFReq) \n\rCustFctOut_LatCtlSlipAgCtl_AgDmd = CustFctIn_LatCtlSlipAgCtl_AgDmd \n\rCustFctOut_LatCtlSlipAgCtl_AgGrdDmd = CustFctIn_LatCtlSlipAgCtl_AgGrdDmd \n\rCustFctOut_LatCtlStgStiCtl_AgOffStgWhlDmd = CustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343465.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = CustFctIn_LatCtl_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LatCtl_StAcv)\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = CustFctIn_CrvtCtl_CrvtDmdTiStamp (considering Calculation of output signal CustFctOut_LatCtlCrvtCtl_FlgGrdExtp)\n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv is calculated by Calculation of output signal CustFctOut_LatCtlSlipAgCtl_FlgAcv\n\rCustFctOut_LatCtlCrvtCtl_CrvtDmd = CustFctIn_LatCtlCrvtCtl_CrvtDmd \n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = CustFctIn_LatCtlCrvtCtl_CrvtGrdDmd \n\rCustFctOut_LatCtlCrvtCtl_FacSsty = CustFctIn_LatCtlCrvtCtl_FacSsty \n\rCustFctOut_LatCtlCrvtCtl_StLimCtlFReq = CustFctIn_LatCtlCrvtCtl_StLimCtlFReq (considering Mapping of CustFctIn_LatCtlCrvtCtl_StLimCtlFReq) \n\rCustFctOut_LatCtlSlipAgCtl_AgDmd = CustFctIn_LatCtlSlipAgCtl_AgDmd \n\rCustFctOut_LatCtlSlipAgCtl_AgGrdDmd = CustFctIn_LatCtlSlipAgCtl_AgGrdDmd \n\rCustFctOut_LatCtlStgStiCtl_AgOffStgWhlDmd = CustFctIn_LatCtlStgStiCtl_AgOffStgWhlDmd",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

* CustFctOut_LatCtl_StAcv, CustFctOut_LatCtlCrvtCtl_FlgGrdExtp and CustFctOut_LatCtlSlipAgCtl_FlgAcv are set to a defined value or frozen to the last valid value.

* All other Outputs will be frozen to the last valid value.

{
  "ID": "16665652.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LatCtl_StAcv, CustFctOut_LatCtlCrvtCtl_FlgGrdExtp and CustFctOut_LatCtlSlipAgCtl_FlgAcv are set to a defined value or frozen to the last valid value.\n\r* All other Outputs will be frozen to the last valid value.",
  "Type": "Information",
  "Status": "",
  "Summary": "Note for different cases of errors",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343463.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LatCtl_StAcv, CustFctOut_LatCtlCrvtCtl_FlgGrdExtp and CustFctOut_LatCtlSlipAgCtl_FlgAcv are set to a defined value or frozen to the last valid value.\n\r* All other Outputs will be frozen to the last valid value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

* CustFctOut_LatCtl_StAcv and CustFctOut_LatCtlSlipAgCtl_FlgAcv are set to a defined value or frozen to the last valid value.

* CustFctOut_LatCtlCrvtCtl_FlgGrdExtp and CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd are set to a defined value.

* All other Outputs will be frozen to the last valid value.

{
  "ID": "23567556.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LatCtl_StAcv and CustFctOut_LatCtlSlipAgCtl_FlgAcv are set to a defined value or frozen to the last valid value.\n\r* CustFctOut_LatCtlCrvtCtl_FlgGrdExtp and CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd are set to a defined value.\n\r* All other Outputs will be frozen to the last valid value.",
  "Type": "Information",
  "Status": "",
  "Summary": "Note for different cases of errors",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LatCtl_StAcv and CustFctOut_LatCtlSlipAgCtl_FlgAcv are set to a defined value or frozen to the last valid value.\n\r* CustFctOut_LatCtlCrvtCtl_FlgGrdExtp and CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd are set to a defined value.\n\r* All other Outputs will be frozen to the last valid value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "16665653.0",
  "ASIL": "  QM",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigDi\n\r \n\r \n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Disable Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343466.0",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigDi\n\r \n\r \n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "23567557.0",
  "ASIL": "  QM",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Disable Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

NotVld Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "16665654.0",
  "ASIL": "  QM",
  "Text": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "NotVld Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343469.0",
  "Description": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

NotVld Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "23567567.0",
  "ASIL": "  QM",
  "Text": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "NotVld Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fail Case:

IF: 

CustFctOut_LatCtl_DiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "16665655.0",
  "ASIL": "  QM",
  "Text": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_DiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Fail Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343473.0",
  "Description": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_DiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fail Case:

IF: 

CustFctOut_LatCtl_DiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "23567569.0",
  "ASIL": "  QM",
  "Text": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_DiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Fail Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_DiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Init

 Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "16665656.0",
  "ASIL": "  QM",
  "Text": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Init Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343475.0",
  "Description": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Init

 Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 

CustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)

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

{
  "ID": "23567572.0",
  "ASIL": "  QM",
  "Text": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Init Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv = 0 (false)\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Susp Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_LatCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp shall be equal to the value of previous computation cycle (Hold Last Value) 

CustFctOut_LatCtlSlipAgCtl_FlgAcv shall be 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": "16665657.0",
  "ASIL": "  QM",
  "Text": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp shall be equal to the value of previous computation cycle (Hold Last Value) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv shall be 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": "1343468.0",
  "Description": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp shall be equal to the value of previous computation cycle (Hold Last Value) \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv shall be 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"
}

Susp Case:

IF: 

CustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_LatCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)

CustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)

CustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 

CustFctOut_LatCtlSlipAgCtl_FlgAcv shall be 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": "23567573.0",
  "ASIL": "  QM",
  "Text": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LatCtl_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv shall be 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_LatCtl_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LatCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LatCtlCrvtCtl_FlgGrdExtp = 0 (false)\n\rCustFctOut_LatCtlCrvtCtl_CrvtGrdDmd = 0 \n\rCustFctOut_LatCtlSlipAgCtl_FlgAcv shall be 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"
}

PrkCtlAly Service Bridge

{
  "ID": "16665658.0",
  "ASIL": "  ",
  "Text": "PrkCtlAly Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "PrkCtlAly Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343871.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Inputs 

Signal-Values:

CustFctIn_PrkCtl_StAlyReq 

Signal-Classifier:

CustFctIn_PrkCtl_StAlyReq_sc

Parameters 

CustFctIn_PrkCtlAly_BitFldConf

CustFctIn_PrkCtlAly_FlgIniExcDet

CustFctIn_PrkCtlAly_FlgErrQlfAcv

CustFctIn_PrkCtlAly_TurnOff

{
  "ID": "16665659.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_PrkCtl_StAlyReq \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StAlyReq_sc\n\r \n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf\n\rCustFctIn_PrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343870.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_PrkCtl_StAlyReq \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StAlyReq_sc\n\r \n\rParameters \n\rCustFctIn_PrkCtlAly_BitFldConf\n\rCustFctIn_PrkCtlAly_FlgIniExcDet\n\rCustFctIn_PrkCtlAly_FlgErrQlfAcv\n\rCustFctIn_PrkCtlAly_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Request

CustFctOut_PrkCtl_StAlyReq

States

CustFctOut_PrkCtlAly_StDiagEve

{
  "ID": "16665660.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rRequest\n\rCustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCustFctOut_PrkCtlAly_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343876.0",
  "Description": "Outputs\n\rRequest\n\rCustFctOut_PrkCtl_StAlyReq\n\rStates\n\rCustFctOut_PrkCtlAly_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of PrkCtlAly input signal classifiers

(Note: The classifier information of all PrkCtlAly input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)

IF BitwiseOR: 

one or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

CustFctIn_PrkCtl_StAlyReq_sc

THEN:

the corresponding Bits of the merged classifier (internal) are true

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

ELSE:

the corresponding Bits of the merged classifier (internal) are false

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

{
  "ID": "16665661.0",
  "ASIL": "  ASIL B",
  "Text": "Merged classifier of PrkCtlAly input signal classifiers\n\r(Note: The classifier information of all PrkCtlAly input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_PrkCtl_StAlyReq_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343877.0",
  "Description": "Merged classifier of PrkCtlAly input signal classifiers\n\r(Note: The classifier information of all PrkCtlAly input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_PrkCtl_StAlyReq_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping and Calculation of output signal CustFctOut_PrkCtl_StAlyReq 

IF: 

CustFctIn_PrkCtl_StAlyReq > VMMP_SINFCT_c_SrvPrkCtlAly_StAlyReqRngLimHi 

THEN: 

CustFctOut_PrkCtl_StAlyReq is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_PrkCtl_StAlyReq is equal to VMMP_SINFCT_c_PrkCtlAly_StReqPrkBrkOnly

2) Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true

THEN: 

CustFctOut_PrkCtl_StAlyReq is equal to VMMP_SINFCT_c_PrkCtlAly_StReqPrkWithP

ELSE: 

CustFctOut_PrkCtl_StAlyReq is equal to CustFctIn_PrkCtl_StAlyReq

Note: The expression "Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression "Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true" shall be true.

{
  "ID": "16665662.0",
  "ASIL": "  ASIL B",
  "Text": "Mapping and Calculation of output signal CustFctOut_PrkCtl_StAlyReq \n\r \n\rIF: \n\rCustFctIn_PrkCtl_StAlyReq > VMMP_SINFCT_c_SrvPrkCtlAly_StAlyReqRngLimHi \n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq is equal to VMMP_c_StReqCusFctNoReq\n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_PrkCtl_StAlyReq is equal to VMMP_SINFCT_c_PrkCtlAly_StReqPrkBrkOnly\n\r2) Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq is equal to VMMP_SINFCT_c_PrkCtlAly_StReqPrkWithP\n\rELSE: \n\rCustFctOut_PrkCtl_StAlyReq is equal to CustFctIn_PrkCtl_StAlyReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true\" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression \"Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true\" shall be true.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343878.0",
  "Description": "Mapping and Calculation of output signal CustFctOut_PrkCtl_StAlyReq \n\r \n\rIF: \n\rCustFctIn_PrkCtl_StAlyReq > VMMP_SINFCT_c_SrvPrkCtlAly_StAlyReqRngLimHi \n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq is equal to VMMP_c_StReqCusFctNoReq\n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_PrkCtl_StAlyReq is equal to VMMP_SINFCT_c_PrkCtlAly_StReqPrkBrkOnly\n\r2) Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq is equal to VMMP_SINFCT_c_PrkCtlAly_StReqPrkWithP\n\rELSE: \n\rCustFctOut_PrkCtl_StAlyReq is equal to CustFctIn_PrkCtl_StAlyReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true\" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression \"Bit position VMMP_SINFCT_c_PrkCtlAly_BitMaskReqAlyWithP of the input CustFctIn_PrkCtlAly_BitFldConf is true\" shall be true.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

PrkCtlAly Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_PrkCtlAly_TurnOff

*FlgIniExcDet equal to CustFctIn_PrkCtlAly_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_PrkCtlAly_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_PrkCtlAly_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665663.0",
  "ASIL": "  ASIL B",
  "Text": "PrkCtlAly Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_PrkCtlAly_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_PrkCtlAly_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_PrkCtlAly_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_PrkCtlAly_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343879.0",
  "Description": "PrkCtlAly Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_PrkCtlAly_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_PrkCtlAly_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_PrkCtlAly_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_PrkCtlAly_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the PrkCtlAly Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665664.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the PrkCtlAly Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343872.0",
  "Description": "The following functional requirement describes the valid case of the PrkCtlAly Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_PrkCtl_StAlyReq = CustFctIn_PrkCtl_StAlyReq (considering Mapping and Calculation of output signal CustFctOut_PrkCtl_StAlyReq)

{
  "ID": "16665665.0",
  "ASIL": "  ASIL B",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = CustFctIn_PrkCtl_StAlyReq (considering Mapping and Calculation of output signal CustFctOut_PrkCtl_StAlyReq)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343873.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = CustFctIn_PrkCtl_StAlyReq (considering Mapping and Calculation of output signal CustFctOut_PrkCtl_StAlyReq)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

{
  "ID": "16665666.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1343874.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665667.0",
  "ASIL": "  ASIL B",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343875.0",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

NotVld Case:

IF: 

CustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665668.0",
  "ASIL": "  ASIL B",
  "Text": "NotVld Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343866.0",
  "Description": "NotVld Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fail Case:

IF: 

CustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665669.0",
  "ASIL": "  ASIL B",
  "Text": "Fail Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343867.0",
  "Description": "Fail Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Init

 Case:

IF: 

CustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665670.0",
  "ASIL": "  ASIL B",
  "Text": "Init\n\r Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343868.0",
  "Description": "Init\n\r Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Susp Case:

IF: 

CustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_PrkCtl_StAlyReq shall be equal to the value of previous computation cycle (Hold Last Value)

{
  "ID": "16665671.0",
  "ASIL": "  ASIL B",
  "Text": "Susp Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343869.0",
  "Description": "Susp Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkCtlAly_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_PrkCtl_StAlyReq shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

PrkLockCtl Service Bridge

{
  "ID": "16665672.0",
  "ASIL": "  ",
  "Text": "PrkLockCtl Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "PrkLockCtl Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344091.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Inputs 

Signal-Values:

CustFctIn_PrkCtl_StPrkLockReq 

Signal-Classifier:

CustFctIn_PrkCtl_StPrkLockReq_sc

Parameters 

CustFctIn_PrkLockCtl_FlgIniExcDet

CustFctIn_PrkLockCtl_FlgErrQlfAcv

CustFctIn_PrkLockCtl_TurnOff

{
  "ID": "16665673.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_PrkCtl_StPrkLockReq \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StPrkLockReq_sc\n\r \n\rParameters \n\rCustFctIn_PrkLockCtl_FlgIniExcDet\n\rCustFctIn_PrkLockCtl_FlgErrQlfAcv\n\rCustFctIn_PrkLockCtl_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344099.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_PrkCtl_StPrkLockReq \n\r \n\rSignal-Classifier:\n\rCustFctIn_PrkCtl_StPrkLockReq_sc\n\r \n\rParameters \n\rCustFctIn_PrkLockCtl_FlgIniExcDet\n\rCustFctIn_PrkLockCtl_FlgErrQlfAcv\n\rCustFctIn_PrkLockCtl_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Request

CustFctOut_PrkCtl_StPrkLockReq

States

CustFctOut_PrkLockCtl_StDiagEve

{
  "ID": "16665674.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rRequest\n\rCustFctOut_PrkCtl_StPrkLockReq\n\rStates\n\rCustFctOut_PrkLockCtl_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344092.0",
  "Description": "Outputs\n\rRequest\n\rCustFctOut_PrkCtl_StPrkLockReq\n\rStates\n\rCustFctOut_PrkLockCtl_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of PrkLockCtl input signal classifiers

(Note: The classifier information of all PrkLockCtl input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)

IF BitwiseOR: 

one or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

CustFctIn_PrkCtl_StPrkLockReq_sc

THEN:

the corresponding Bits of the merged classifier (internal) are true

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

ELSE:

the corresponding Bits of the merged classifier (internal) are false

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

{
  "ID": "16665675.0",
  "ASIL": "  QM",
  "Text": "Merged classifier of PrkLockCtl input signal classifiers\n\r(Note: The classifier information of all PrkLockCtl input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_PrkCtl_StPrkLockReq_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344093.0",
  "Description": "Merged classifier of PrkLockCtl input signal classifiers\n\r(Note: The classifier information of all PrkLockCtl input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_PrkCtl_StPrkLockReq_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

PrkLockCtl Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_PrkLockCtl_TurnOff

*FlgIniExcDet equal to CustFctIn_PrkLockCtl_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_PrkLockCtl_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_PrkLockCtl_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665676.0",
  "ASIL": "  QM",
  "Text": "PrkLockCtl Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_PrkLockCtl_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_PrkLockCtl_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_PrkLockCtl_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_PrkLockCtl_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344087.0",
  "Description": "PrkLockCtl Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_PrkLockCtl_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_PrkLockCtl_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_PrkLockCtl_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_PrkLockCtl_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the PrkLockCtl Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665677.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the PrkLockCtl Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344088.0",
  "Description": "The following functional requirement describes the valid case of the PrkLockCtl Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_PrkCtl_StPrkLockReq = CustFctIn_PrkCtl_StPrkLockReq

{
  "ID": "16665678.0",
  "ASIL": "  QM",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = CustFctIn_PrkCtl_StPrkLockReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344089.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = CustFctIn_PrkCtl_StPrkLockReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

{
  "ID": "16665679.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344090.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665680.0",
  "ASIL": "  QM",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344095.0",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

NotVld Case:

IF: 

CustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665681.0",
  "ASIL": "  QM",
  "Text": "NotVld Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344096.0",
  "Description": "NotVld Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fail Case:

IF: 

CustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665682.0",
  "ASIL": "  QM",
  "Text": "Fail Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344097.0",
  "Description": "Fail Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Init

 Case:

IF: 

CustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_PrkCtl_StPrkLockReq = VMMP_SINFCT_c_PrkCtlLock_StReqPrkLckIni

{
  "ID": "16665683.0",
  "ASIL": "  QM",
  "Text": "Init\n\r Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_SINFCT_c_PrkCtlLock_StReqPrkLckIni",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344098.0",
  "Description": "Init\n\r Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq = VMMP_SINFCT_c_PrkCtlLock_StReqPrkLckIni",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Susp Case:

IF: 

CustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_PrkCtl_StPrkLockReq shall be equal to the value of previous computation cycle (Hold Last Value)

{
  "ID": "16665684.0",
  "ASIL": "  QM",
  "Text": "Susp Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344094.0",
  "Description": "Susp Case:\n\r \n\r\n\rIF: \n\rCustFctOut_PrkLockCtl_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_PrkCtl_StPrkLockReq shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtLimV Service Bridge

{
  "ID": "16665685.0",
  "ASIL": "  ",
  "Text": "LgtLimV Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "LgtLimV Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344111.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Inputs 

Signal-Values:

CustFctIn_LgtLimV_StAcv 

CustFctIn_LgtLimV_VDmd 

Signal-Classifier:

CustFctIn_LgtLimV_StAcv_sc 

CustFctIn_LgtLimV_VDmd_sc 

Parameters 

CustFctIn_LgtLimV_BitFldConf

CustFctIn_LgtLimV_FlgIniExcDet

CustFctIn_LgtLimV_FlgErrQlfAcv

CustFctIn_LgtLimV_TurnOff

{
  "ID": "16665686.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_LgtLimV_StAcv \n\rCustFctIn_LgtLimV_VDmd \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtLimV_StAcv_sc \n\rCustFctIn_LgtLimV_VDmd_sc \n\r \n\rParameters \n\rCustFctIn_LgtLimV_BitFldConf\n\rCustFctIn_LgtLimV_FlgIniExcDet\n\rCustFctIn_LgtLimV_FlgErrQlfAcv\n\rCustFctIn_LgtLimV_TurnOff",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344101.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_LgtLimV_StAcv \n\rCustFctIn_LgtLimV_VDmd \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtLimV_StAcv_sc \n\rCustFctIn_LgtLimV_VDmd_sc \n\r \n\rParameters \n\rCustFctIn_LgtLimV_BitFldConf\n\rCustFctIn_LgtLimV_FlgIniExcDet\n\rCustFctIn_LgtLimV_FlgErrQlfAcv\n\rCustFctIn_LgtLimV_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

StAcv

CustFctOut_LgtLimV_StAcv

All other Outputs

CustFctOut_LgtLimV_VDmd

States

CustFctOut_LgtLimV_StDiagEve

{
  "ID": "16665687.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rStAcv\n\rCustFctOut_LgtLimV_StAcv\n\r \n\rAll other Outputs\n\rCustFctOut_LgtLimV_VDmd\n\rStates\n\rCustFctOut_LgtLimV_StDiagEve",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344102.0",
  "Description": "Outputs\n\rStAcv\n\rCustFctOut_LgtLimV_StAcv\n\r \n\rAll other Outputs\n\rCustFctOut_LgtLimV_VDmd\n\rStates\n\rCustFctOut_LgtLimV_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of LgtLimV input signal classifiers

(Note: The classifier information of all LgtLimV input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)

IF BitwiseOR: 

one or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

CustFctIn_LgtLimV_StAcv_sc 

CustFctIn_LgtLimV_VDmd_sc

THEN:

the corresponding Bits of the merged classifier (internal) are true

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

ELSE:

the corresponding Bits of the merged classifier (internal) are false

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

{
  "ID": "16665688.0",
  "ASIL": "  QM",
  "Text": "Merged classifier of LgtLimV input signal classifiers\n\r(Note: The classifier information of all LgtLimV input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_LgtLimV_StAcv_sc \n\rCustFctIn_LgtLimV_VDmd_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344100.0",
  "Description": "Merged classifier of LgtLimV input signal classifiers\n\r(Note: The classifier information of all LgtLimV input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_LgtLimV_StAcv_sc \n\rCustFctIn_LgtLimV_VDmd_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping and Neutral-Value-Handling of CustFctIn_LgtLimV_StAcv

IF [AND(1,2)]: 

1) CustFctIn_LgtLimV_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

2) Bit1 of CustFctIn_LgtLimV_VDmd_sc is NOT set 

THEN: 

CustFctOut_LgtLimV_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

ELSEIF [AND(1,2,3)]: 

1) CustFctIn_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctAcv 

2) Bit1 of CustFctIn_LgtLimV_VDmd_sc is set 

3) Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true 

THEN: 

CustFctOut_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctAcvNeut

ELSE: 

CustFctOut_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctNoReq

Note: The expression "Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression "Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true" shall be true.

{
  "ID": "16665689.0",
  "ASIL": "  QM",
  "Text": "Mapping and Neutral-Value-Handling of CustFctIn_LgtLimV_StAcv\n\r \n\r\n\rIF [AND(1,2)]: \n\r1) CustFctIn_LgtLimV_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) Bit1 of CustFctIn_LgtLimV_VDmd_sc is NOT set \n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r \n\rELSEIF [AND(1,2,3)]: \n\r1) CustFctIn_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctAcv \n\r2) Bit1 of CustFctIn_LgtLimV_VDmd_sc is set \n\r3) Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true \n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctAcvNeut\n\r \n\r\n\rELSE: \n\rCustFctOut_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true\" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression \"Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true\" shall be true.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344105.0",
  "Description": "Mapping and Neutral-Value-Handling of CustFctIn_LgtLimV_StAcv\n\r \n\r\n\rIF [AND(1,2)]: \n\r1) CustFctIn_LgtLimV_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) Bit1 of CustFctIn_LgtLimV_VDmd_sc is NOT set \n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r \n\rELSEIF [AND(1,2,3)]: \n\r1) CustFctIn_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctAcv \n\r2) Bit1 of CustFctIn_LgtLimV_VDmd_sc is set \n\r3) Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true \n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctAcvNeut\n\r \n\r\n\rELSE: \n\rCustFctOut_LgtLimV_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true\" means that the Bit position, described by the mentioned constant, shall be evaluated in the input signal. If constant is equal to 1, Bit1 of the input signal shall be evaluated. If Bit position is true, the expression \"Bit position VMMP_SINFCT_c_LgtLimV_IdxBitMaskMdNeutArbAcv of the input CustFctIn_LgtLimV_BitFldConf is true\" shall be true.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtLimV Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_LgtLimV_TurnOff

*FlgIniExcDet equal to CustFctIn_LgtLimV_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_LgtLimV_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_LgtLimV_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665690.0",
  "ASIL": "  QM",
  "Text": "LgtLimV Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LgtLimV_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LgtLimV_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LgtLimV_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LgtLimV_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344104.0",
  "Description": "LgtLimV Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LgtLimV_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LgtLimV_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LgtLimV_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LgtLimV_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the LgtLimV Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665691.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the LgtLimV Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344112.0",
  "Description": "The following functional requirement describes the valid case of the LgtLimV Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_LgtLimV_StAcv = CustFctIn_LgtLimV_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LgtLimV_StAcv)

CustFctOut_LgtLimV_ADmd = CustFctIn_LgtLimV_ADmd

{
  "ID": "16665692.0",
  "ASIL": "  QM",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = CustFctIn_LgtLimV_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LgtLimV_StAcv)\n\rCustFctOut_LgtLimV_ADmd = CustFctIn_LgtLimV_ADmd",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344103.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = CustFctIn_LgtLimV_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_LgtLimV_StAcv)\n\rCustFctOut_LgtLimV_ADmd = CustFctIn_LgtLimV_ADmd",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

* CustFctOut_LgtLimV_StAcv and CustFctOut_LgtLimV_VDmd are set to a defined value or frozen to the last valid value.

{
  "ID": "16665693.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LgtLimV_StAcv and CustFctOut_LgtLimV_VDmd are set to a defined value or frozen to the last valid value.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1344108.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.\n\r* CustFctOut_LgtLimV_StAcv and CustFctOut_LgtLimV_VDmd are set to a defined value or frozen to the last valid value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft

{
  "ID": "16665694.0",
  "ASIL": "  QM",
  "Text": "Disable Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344107.0",
  "Description": "Disable Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

NotVld Case:

IF: 

CustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft

{
  "ID": "16665695.0",
  "ASIL": "  QM",
  "Text": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344106.0",
  "Description": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fail Case:

IF: 

CustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft

{
  "ID": "16665696.0",
  "ASIL": "  QM",
  "Text": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344113.0",
  "Description": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Init

 Case:

IF: 

CustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft

{
  "ID": "16665697.0",
  "ASIL": "  QM",
  "Text": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344110.0",
  "Description": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimV_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_LgtLimV_VDmd = VMMP_ARBLGLSCV_c_LgtLimV_VDmdDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Susp Case:

IF: 

CustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_LgtLimV_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)

CustFctOut_LgtLimV_VDmd shall be equal to the value of previous computation cycle (Hold Last Value)

{
  "ID": "16665698.0",
  "ASIL": "  QM",
  "Text": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LgtLimV_VDmd shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1344109.0",
  "Description": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_LgtLimA_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_LgtLimV_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_LgtLimV_VDmd shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

FailSafeStop Service Bridge

{
  "ID": "16665699.0",
  "ASIL": "  ",
  "Text": "FailSafeStop Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "FailSafeStop Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349469.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Inputs 

Signal-Values:

CustFctIn_FailSafeStop_StEnReq

CustFctIn_FailSafeStop_StStopReq

Signal-Classifier:

CustFctIn_FailSafeStop_StEnReq_sc

CustFctIn_FailSafeStop_StStopReq_sc

Parameters 

CustFctIn_FailSafeStop_FlgIniExcDet

CustFctIn_FailSafeStop_FlgErrQlfAcv

CustFctIn_FailSafeStop_TurnOff

{
  "ID": "16665700.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_FailSafeStop_StEnReq\n\rCustFctIn_FailSafeStop_StStopReq\n\r \n\rSignal-Classifier:\n\rCustFctIn_FailSafeStop_StEnReq_sc\n\rCustFctIn_FailSafeStop_StStopReq_sc\n\r \n\rParameters \n\rCustFctIn_FailSafeStop_FlgIniExcDet\n\rCustFctIn_FailSafeStop_FlgErrQlfAcv\n\rCustFctIn_FailSafeStop_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349468.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_FailSafeStop_StEnReq\n\rCustFctIn_FailSafeStop_StStopReq\n\r \n\rSignal-Classifier:\n\rCustFctIn_FailSafeStop_StEnReq_sc\n\rCustFctIn_FailSafeStop_StStopReq_sc\n\r \n\rParameters \n\rCustFctIn_FailSafeStop_FlgIniExcDet\n\rCustFctIn_FailSafeStop_FlgErrQlfAcv\n\rCustFctIn_FailSafeStop_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Request

CustFctOut_FailSafeStop_StEnReq

CustFctOut_FailSafeStop_StStopReq

States

CustFctOut_FailSafeStop_StDiagEve

{
  "ID": "16665701.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rRequest\n\rCustFctOut_FailSafeStop_StEnReq\n\rCustFctOut_FailSafeStop_StStopReq\n\rStates\n\rCustFctOut_FailSafeStop_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349475.0",
  "Description": "Outputs\n\rRequest\n\rCustFctOut_FailSafeStop_StEnReq\n\rCustFctOut_FailSafeStop_StStopReq\n\rStates\n\rCustFctOut_FailSafeStop_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of FailSafeStop input signal classifiers

(Note: The classifier information of all FailSafeStop input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)

IF BitwiseOR: 

one or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

CustFctIn_FailSafeStop_StEnReq_sc

CustFctIn_FailSafeStop_StStopReq_sc

THEN:

the corresponding Bits of the merged classifier (internal) are true

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

ELSE:

the corresponding Bits of the merged classifier (internal) are false

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

{
  "ID": "16665702.0",
  "ASIL": "  ASIL B",
  "Text": "Merged classifier of FailSafeStop input signal classifiers\n\r(Note: The classifier information of all FailSafeStop input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_FailSafeStop_StEnReq_sc\n\rCustFctIn_FailSafeStop_StStopReq_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349476.0",
  "Description": "Merged classifier of FailSafeStop input signal classifiers\n\r(Note: The classifier information of all FailSafeStop input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_FailSafeStop_StEnReq_sc\n\rCustFctIn_FailSafeStop_StStopReq_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping of CustFctIn_FailSafeStop_StEnReq

IF: 

CustFctIn_FailSafeStop_StEnReq > 2 

THEN: 

CustFctOut_FailSafeStop_StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqNoReq

ELSE:

CustFctOut_FailSafeStop_StEnReq is equal to CustFctIn_FailSafeStop_StEnReq

{
  "ID": "16665703.0",
  "ASIL": "  ASIL B",
  "Text": "Mapping of CustFctIn_FailSafeStop_StEnReq\n\r \n\rIF: \n\rCustFctIn_FailSafeStop_StEnReq > 2 \n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqNoReq\n\rELSE:\n\rCustFctOut_FailSafeStop_StEnReq is equal to CustFctIn_FailSafeStop_StEnReq",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349477.0",
  "Description": "Mapping of CustFctIn_FailSafeStop_StEnReq\n\r \n\rIF: \n\rCustFctIn_FailSafeStop_StEnReq > 2 \n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqNoReq\n\rELSE:\n\rCustFctOut_FailSafeStop_StEnReq is equal to CustFctIn_FailSafeStop_StEnReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping of CustFctIn_FailSafeStop_StStopReq

IF: 

CustFctIn_FailSafeStop_StStopReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StStopReqStopReq 

THEN: 

CustFctOut_FailSafeStop_StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq

ELSE:

CustFctOut_FailSafeStop_StStopReq is equal to CustFctIn_FailSafeStop_StStopReq

{
  "ID": "16665704.0",
  "ASIL": "  ASIL B",
  "Text": "Mapping of CustFctIn_FailSafeStop_StStopReq\n\r \n\rIF: \n\rCustFctIn_FailSafeStop_StStopReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StStopReqStopReq \n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq\n\rELSE:\n\rCustFctOut_FailSafeStop_StStopReq is equal to CustFctIn_FailSafeStop_StStopReq",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349470.0",
  "Description": "Mapping of CustFctIn_FailSafeStop_StStopReq\n\r \n\rIF: \n\rCustFctIn_FailSafeStop_StStopReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StStopReqStopReq \n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StStopReqNoReq\n\rELSE:\n\rCustFctOut_FailSafeStop_StStopReq is equal to CustFctIn_FailSafeStop_StStopReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

FailSafeStop Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_FailSafeStop_TurnOff

*FlgIniExcDet equal to CustFctIn_FailSafeStop_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_FailSafeStop_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_FailSafeStop_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665705.0",
  "ASIL": "  ASIL B",
  "Text": "FailSafeStop Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_FailSafeStop_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_FailSafeStop_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_FailSafeStop_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_FailSafeStop_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349478.0",
  "Description": "FailSafeStop Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_FailSafeStop_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_FailSafeStop_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_FailSafeStop_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_FailSafeStop_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the FailSafeStop Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665706.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the FailSafeStop Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349471.0",
  "Description": "The following functional requirement describes the valid case of the FailSafeStop Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_FailSafeStop_StEnReq = CustFctIn_FailSafeStop_StEnReq (considering Mapping of CustFctIn_FailSafeStop_StEnReq)

CustFctOut_FailSafeStop_StStopReq = CustFctIn_FailSafeStop_StStopReq (considering Mapping of CustFctIn_FailSafeStop_StStopReq)

{
  "ID": "16665707.0",
  "ASIL": "  ASIL B",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = CustFctIn_FailSafeStop_StEnReq (considering Mapping of CustFctIn_FailSafeStop_StEnReq)\n\rCustFctOut_FailSafeStop_StStopReq = CustFctIn_FailSafeStop_StStopReq (considering Mapping of CustFctIn_FailSafeStop_StStopReq)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349472.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = CustFctIn_FailSafeStop_StEnReq (considering Mapping of CustFctIn_FailSafeStop_StEnReq)\n\rCustFctOut_FailSafeStop_StStopReq = CustFctIn_FailSafeStop_StStopReq (considering Mapping of CustFctIn_FailSafeStop_StStopReq)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

{
  "ID": "16665708.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349473.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq

CustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665709.0",
  "ASIL": "  ASIL B",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349474.0",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

NotVld Case:

IF: 

CustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq

CustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665710.0",
  "ASIL": "  ASIL B",
  "Text": "NotVld Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349479.0",
  "Description": "NotVld Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigNotVld\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Fail Case:

IF: 

CustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq

CustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665711.0",
  "ASIL": "  ASIL B",
  "Text": "Fail Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349480.0",
  "Description": "Fail Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigFail\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Init

 Case:

IF: 

CustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq

CustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq

{
  "ID": "16665712.0",
  "ASIL": "  ASIL B",
  "Text": "Init\n\r Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349481.0",
  "Description": "Init\n\r Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigIni\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_FailSafeStop_StStopReq = VMMP_c_StReqCusFctNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Susp Case:

IF: 

CustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

CustFctOut_FailSafeStop_StEnReq shall be equal to the value of previous computation cycle (Hold Last Value)

CustFctOut_FailSafeStop_StStopReq shall be equal to the value of previous computation cycle (Hold Last Value)

{
  "ID": "16665713.0",
  "ASIL": "  ASIL B",
  "Text": "Susp Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_FailSafeStop_StStopReq shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349482.0",
  "Description": "Susp Case:\n\r \n\r\n\rIF: \n\rCustFctOut_FailSafeStop_StDiagEve = VMMP_c_DiagEveSigSusp\n\rTHEN: \n\rCustFctOut_FailSafeStop_StEnReq shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_FailSafeStop_StStopReq shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

CrvtLim Service Bridge

{
  "ID": "16665714.0",
  "ASIL": "  ",
  "Text": "CrvtLim Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "CrvtLim Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349495.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Inputs 

Signal-Values:

CustFctIn_CrvtLim_StAcv 

CustFctIn_CrvtLim_CrvtRiDmd

CustFctIn_CrvtLim_CrvtLeDmd

Signal-Classifier:

CustFctIn_CrvtLim_StAcv_sc

CustFctIn_CrvtLim_CrvtRiDmd_sc

CustFctIn_CrvtLim_CrvtLeDmd_sc

Parameters 

CustFctIn_CrvtLim_FlgIniExcDet

CustFctIn_CrvtLim_FlgErrQlfAcv

CustFctIn_CrvtLim_TurnOff

{
  "ID": "16665715.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_CrvtLim_StAcv \n\rCustFctIn_CrvtLim_CrvtRiDmd\n\rCustFctIn_CrvtLim_CrvtLeDmd\n\r \n\rSignal-Classifier:\n\rCustFctIn_CrvtLim_StAcv_sc\n\rCustFctIn_CrvtLim_CrvtRiDmd_sc\n\rCustFctIn_CrvtLim_CrvtLeDmd_sc\n\r \n\rParameters \n\rCustFctIn_CrvtLim_FlgIniExcDet\n\rCustFctIn_CrvtLim_FlgErrQlfAcv\n\rCustFctIn_CrvtLim_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349494.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_CrvtLim_StAcv \n\rCustFctIn_CrvtLim_CrvtRiDmd\n\rCustFctIn_CrvtLim_CrvtLeDmd\n\r \n\rSignal-Classifier:\n\rCustFctIn_CrvtLim_StAcv_sc\n\rCustFctIn_CrvtLim_CrvtRiDmd_sc\n\rCustFctIn_CrvtLim_CrvtLeDmd_sc\n\r \n\rParameters \n\rCustFctIn_CrvtLim_FlgIniExcDet\n\rCustFctIn_CrvtLim_FlgErrQlfAcv\n\rCustFctIn_CrvtLim_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

StAcv

CustFctOut_CrvtLim_StAcv

All other Outputs

CustFctOut_CrvtLim_CrvtRiDmd

CustFctOut_CrvtLim_CrvtLeDmd

States

CustFctOut_CrvtLim_StDiagEve

{
  "ID": "16665716.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rStAcv\n\rCustFctOut_CrvtLim_StAcv\n\r \n\rAll other Outputs\n\rCustFctOut_CrvtLim_CrvtRiDmd\n\rCustFctOut_CrvtLim_CrvtLeDmd\n\r \n\rStates\n\rCustFctOut_CrvtLim_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349496.0",
  "Description": "Outputs\n\rStAcv\n\rCustFctOut_CrvtLim_StAcv\n\r \n\rAll other Outputs\n\rCustFctOut_CrvtLim_CrvtRiDmd\n\rCustFctOut_CrvtLim_CrvtLeDmd\n\r \n\rStates\n\rCustFctOut_CrvtLim_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of CrvtLim input signal classifiers

(Note: The classifier information of all CrvtLim input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)

IF BitwiseOR: 

one or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

CustFctIn_CrvtLim_StAcv_sc

CustFctIn_CrvtLim_CrvtRiDmd_sc

CustFctIn_CrvtLim_CrvtLeDmd_sc

THEN:

the corresponding Bits of the merged classifier (internal) are true

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

ELSE:

the corresponding Bits of the merged classifier (internal) are false

(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)

{
  "ID": "16665717.0",
  "ASIL": "  QM",
  "Text": "Merged classifier of CrvtLim input signal classifiers\n\r(Note: The classifier information of all CrvtLim input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_CrvtLim_StAcv_sc\n\rCustFctIn_CrvtLim_CrvtRiDmd_sc\n\rCustFctIn_CrvtLim_CrvtLeDmd_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349487.0",
  "Description": "Merged classifier of CrvtLim input signal classifiers\n\r(Note: The classifier information of all CrvtLim input signals are merged to one single internal classifier (merged classifier) by a bitwise OR operation)\n\r \n\rIF BitwiseOR: \n\rone or more of the following classifier Bits are true (Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rCustFctIn_CrvtLim_StAcv_sc\n\rCustFctIn_CrvtLim_CrvtRiDmd_sc\n\rCustFctIn_CrvtLim_CrvtLeDmd_sc\n\rTHEN:\n\rthe corresponding Bits of the merged classifier (internal) are true\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)\n\rELSE:\n\rthe corresponding Bits of the merged classifier (internal) are false\n\r(Bit0, Bit1, Bit2, Bit3, Bit4, Bit5, Bit6, Bit7)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv

IF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLe

2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimRi

2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi

2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi

2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSE: 

CustFctOut_CrvtLim_StAcv is equal to CustFctIn_CrvtLim_StAcv

{
  "ID": "16665718.0",
  "ASIL": "  QM",
  "Text": "Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv\n\r \n\rIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLe\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\r\n\rELSE: \n\rCustFctOut_CrvtLim_StAcv is equal to CustFctIn_CrvtLim_StAcv",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349488.0",
  "Description": "Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv\n\r \n\rIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLe\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\r\n\rELSE: \n\rCustFctOut_CrvtLim_StAcv is equal to CustFctIn_CrvtLim_StAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv

IF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLe

2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimRi

2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi

2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF [AND(1,2)]: 

1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi

2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSEIF: 

CustFctIn_CrvtLim_StAcv > VMMP_SINFCT_c_SrvCrvtLim_StAcvRngLimHi

THEN: 

CustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq

ELSE: 

CustFctOut_CrvtLim_StAcv is equal to CustFctIn_CrvtLim_StAcv

{
  "ID": "36923444.0",
  "ASIL": "  QM",
  "Text": "Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv\n\r \n\rIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLe\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF: \n\rCustFctIn_CrvtLim_StAcv > VMMP_SINFCT_c_SrvCrvtLim_StAcvRngLimHi\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\r\n\rELSE: \n\rCustFctOut_CrvtLim_StAcv is equal to CustFctIn_CrvtLim_StAcv",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv\n\r \n\rIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLe\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtLeDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF [AND(1,2)]: \n\r1) CustFctIn_CrvtLim_StAcv is equal to VMMP_c_CrvtLim_StAcvLimLeAndRi\n\r2) Bit1 of CustFctIn_CrvtLim_CrvtRiDmd_sc is set\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rELSEIF: \n\rCustFctIn_CrvtLim_StAcv > VMMP_SINFCT_c_SrvCrvtLim_StAcvRngLimHi\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\r\n\rELSE: \n\rCustFctOut_CrvtLim_StAcv is equal to CustFctIn_CrvtLim_StAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

CrvtLim Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_CrvtLim_TurnOff

*FlgIniExcDet equal to CustFctIn_CrvtLim_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_CrvtLim_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_CrvtLim_StDiagEve equal to *StDiagEve

Note: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).

Summary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:

specific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information

(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)

{
  "ID": "16665719.0",
  "ASIL": "  QM",
  "Text": "CrvtLim Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_CrvtLim_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_CrvtLim_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_CrvtLim_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_CrvtLim_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349489.0",
  "Description": "CrvtLim Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_CrvtLim_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_CrvtLim_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_CrvtLim_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_CrvtLim_StDiagEve equal to *StDiagEve\n\r \n\r \n\rNote: This PreCondition and the Service Bridge connect the service specific customer function input information (Input: CustFctIn_*, merged classifier, RangeCheck) to the the generic Signalmonitoring (input of Signalmonitoring). Moreover this PreCondition connects also the generic *StDiagEve information (output of Signalmonitoring) to the service specific customer function output information (Output: CustFctOut_*).\n\rSummary: This PreConditions defines the connection between customer function, Service Bridge and Signalmonitoring in the following way:\n\rspecific customer function input information --> Service Bridge input --> Signalmonitoring input --> Signalmonitoring output --> Service Bridge output --> specific customer function output information\n\r \n\r(This concept is used to allow the generic description of Signalmonitoring and Service Bridge once for all customer functions)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the CrvtLim Service Bridge.

Note:

The following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal "*_StDiagEve" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.

* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

* 

 Disable Case:

* 

 NotVld Case:

* 

 Fail Case:

* 

 Init Case:

* 

 Susp Case:

For example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.

{
  "ID": "16665720.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the CrvtLim Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349490.0",
  "Description": "The following functional requirement describes the valid case of the CrvtLim Service Bridge.\n\r \n\rNote:\n\rThe following functional requirements for case description do not need an Else-Path because only one case will be set at the same time (all cases refer to the signal \"*_StDiagEve\" and check one specific value). If one case is not set, an other case will be set. It is not possible that no case is set. It is also not possible that two or more cases are set at the same time.\n\r* Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\r* \n\r \n\r \n\r Disable Case:\n\r* \n\r \n\r \n\r NotVld Case:\n\r* \n\r \n\r \n\r Fail Case:\n\r* \n\r \n\r \n\r Init Case:\n\r* \n\r \n\r \n\r Susp Case:\n\rFor example: It can't be defined which case is set, if Valid Case is not set. Therefore a general Else-Path is not useful.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)

IF: 

CustFctOut_CrvtLim_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_CrvtLim_StAcv = CustFctIn_CrvtLim_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv)

CustFctOut_CrvtLim_CrvtRiDmd = CustFctIn_CrvtLim_CrvtRiDmd

CustFctOut_CrvtLim_CrvtLeDmd = CustFctIn_CrvtLim_CrvtLeDmd

{
  "ID": "16665721.0",
  "ASIL": "  QM",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_CrvtLim_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv = CustFctIn_CrvtLim_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv)\n\rCustFctOut_CrvtLim_CrvtRiDmd = CustFctIn_CrvtLim_CrvtRiDmd\n\rCustFctOut_CrvtLim_CrvtLeDmd = CustFctIn_CrvtLim_CrvtLeDmd",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349483.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_CrvtLim_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv = CustFctIn_CrvtLim_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_CrvtLim_StAcv)\n\rCustFctOut_CrvtLim_CrvtRiDmd = CustFctIn_CrvtLim_CrvtRiDmd\n\rCustFctOut_CrvtLim_CrvtLeDmd = CustFctIn_CrvtLim_CrvtLeDmd",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.

{
  "ID": "16665722.0",
  "ASIL": "  ",
  "Text": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1349484.0",
  "Description": "The following functional requirements describe different cases of errors. In cases of errors, the result of input signal monitoring (*StDiagEve) determines the output signal behaviour.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_CrvtLim_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_CrvtLim_StAcv = VMMP_c_StReqCusFctNoReq

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

{
  "ID": "16665723.0",
  "ASIL": "  QM",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_CrvtLim_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv = VMMP_c_StReqCusFctNoReq\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349485.0",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_CrvtLim_StDiagEve = VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_CrvtLim_StAcv = VMMP_c_StReqCusFctNoReq\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}