Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

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": "16663469.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": "1345965.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": "16663470.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": "1345973.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": "16663471.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": "1345971.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": "16663472.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": "1345972.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": "16663473.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": "1345959.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": "16663474.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": "1345957.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": "16663475.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": "1345966.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": "16663476.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": "1345960.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": "16663477.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": "1345958.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": "23567739.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": "16663478.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": "1345961.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": "23567943.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": "16663479.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": "1345964.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": "23568088.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": "16663480.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": "1345968.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": "23568176.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": "16663481.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": "1345970.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": "23568316.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": "16663482.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": "1345963.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": "23568435.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"
}

LgtLimA Service Bridge

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

Inputs 

Signal-Values:

CustFctIn_LgtLimA_StAcv 

CustFctIn_LgtLimA_ADmd 

CustFctIn_LgtLimA_APredTar 

CustFctIn_LgtLimA_AGrdMaxDec 

CustFctIn_LgtLimA_AGrdMaxInc 

CustFctIn_LgtLimA_ATlrHiTar 

CustFctIn_LgtLimA_ATlrHiDyn 

CustFctIn_LgtLimA_MdTarDyn 

Signal-Classifier:

CustFctIn_LgtLimA_StAcv_sc 

CustFctIn_LgtLimA_ADmd_sc 

CustFctIn_LgtLimA_APredTar_sc 

CustFctIn_LgtLimA_AGrdMaxDec_sc 

CustFctIn_LgtLimA_AGrdMaxInc_sc 

CustFctIn_LgtLimA_ATlrHiTar_sc 

CustFctIn_LgtLimA_ATlrHiDyn_sc 

CustFctIn_LgtLimA_MdTarDyn_sc 

Parameters 

CustFctIn_LgtLimA_BitFldConf

CustFctIn_LgtLimA_FlgIniExcDet

CustFctIn_LgtLimA_FlgErrQlfAcv

CustFctIn_LgtLimA_TurnOff

{
  "ID": "16663485.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_LgtLimA_StAcv \n\rCustFctIn_LgtLimA_ADmd \n\rCustFctIn_LgtLimA_APredTar \n\rCustFctIn_LgtLimA_AGrdMaxDec \n\rCustFctIn_LgtLimA_AGrdMaxInc \n\rCustFctIn_LgtLimA_ATlrHiTar \n\rCustFctIn_LgtLimA_ATlrHiDyn \n\rCustFctIn_LgtLimA_MdTarDyn \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtLimA_StAcv_sc \n\rCustFctIn_LgtLimA_ADmd_sc \n\rCustFctIn_LgtLimA_APredTar_sc \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc \n\rCustFctIn_LgtLimA_AGrdMaxInc_sc \n\rCustFctIn_LgtLimA_ATlrHiTar_sc \n\rCustFctIn_LgtLimA_ATlrHiDyn_sc \n\rCustFctIn_LgtLimA_MdTarDyn_sc \n\r \n\rParameters \n\rCustFctIn_LgtLimA_BitFldConf\n\rCustFctIn_LgtLimA_FlgIniExcDet\n\rCustFctIn_LgtLimA_FlgErrQlfAcv\n\rCustFctIn_LgtLimA_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345978.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_LgtLimA_StAcv \n\rCustFctIn_LgtLimA_ADmd \n\rCustFctIn_LgtLimA_APredTar \n\rCustFctIn_LgtLimA_AGrdMaxDec \n\rCustFctIn_LgtLimA_AGrdMaxInc \n\rCustFctIn_LgtLimA_ATlrHiTar \n\rCustFctIn_LgtLimA_ATlrHiDyn \n\rCustFctIn_LgtLimA_MdTarDyn \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtLimA_StAcv_sc \n\rCustFctIn_LgtLimA_ADmd_sc \n\rCustFctIn_LgtLimA_APredTar_sc \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc \n\rCustFctIn_LgtLimA_AGrdMaxInc_sc \n\rCustFctIn_LgtLimA_ATlrHiTar_sc \n\rCustFctIn_LgtLimA_ATlrHiDyn_sc \n\rCustFctIn_LgtLimA_MdTarDyn_sc \n\r \n\rParameters \n\rCustFctIn_LgtLimA_BitFldConf\n\rCustFctIn_LgtLimA_FlgIniExcDet\n\rCustFctIn_LgtLimA_FlgErrQlfAcv\n\rCustFctIn_LgtLimA_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

StAcv

CustFctOut_LgtLimA_StAcv

All other Outputs

CustFctOut_LgtLimA_ADmd

CustFctOut_LgtLimA_APredTar

CustFctOut_LgtLimA_AGrdMaxDec

CustFctOut_LgtLimA_AGrdMaxInc

CustFctOut_LgtLimA_ATlrHiTar

CustFctOut_LgtLimA_ATlrHiDyn

CustFctOut_LgtLimA_MdTarDyn

States

CustFctOut_LgtLimA_StDiagEve

{
  "ID": "16663486.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rStAcv\n\rCustFctOut_LgtLimA_StAcv\n\r \n\rAll other Outputs\n\rCustFctOut_LgtLimA_ADmd\n\rCustFctOut_LgtLimA_APredTar\n\rCustFctOut_LgtLimA_AGrdMaxDec\n\rCustFctOut_LgtLimA_AGrdMaxInc\n\rCustFctOut_LgtLimA_ATlrHiTar\n\rCustFctOut_LgtLimA_ATlrHiDyn\n\rCustFctOut_LgtLimA_MdTarDyn\n\rStates\n\rCustFctOut_LgtLimA_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345983.0",
  "Description": "Outputs\n\rStAcv\n\rCustFctOut_LgtLimA_StAcv\n\r \n\rAll other Outputs\n\rCustFctOut_LgtLimA_ADmd\n\rCustFctOut_LgtLimA_APredTar\n\rCustFctOut_LgtLimA_AGrdMaxDec\n\rCustFctOut_LgtLimA_AGrdMaxInc\n\rCustFctOut_LgtLimA_ATlrHiTar\n\rCustFctOut_LgtLimA_ATlrHiDyn\n\rCustFctOut_LgtLimA_MdTarDyn\n\rStates\n\rCustFctOut_LgtLimA_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of LgtLimA input signal classifiers

(Note: The classifier information of all LgtLimA 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_LgtLimA_StAcv_sc 

CustFctIn_LgtLimA_ADmd_sc 

CustFctIn_LgtLimA_APredTar_sc 

CustFctIn_LgtLimA_AGrdMaxDec_sc 

CustFctIn_LgtLimA_AGrdMaxInc_sc 

CustFctIn_LgtLimA_ATlrHiTar_sc 

CustFctIn_LgtLimA_ATlrHiDyn_sc 

CustFctIn_LgtLimA_MdTarDyn _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": "16663487.0",
  "ASIL": "  ASIL B",
  "Text": "Merged classifier of LgtLimA input signal classifiers\n\r(Note: The classifier information of all LgtLimA 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_LgtLimA_StAcv_sc \n\rCustFctIn_LgtLimA_ADmd_sc \n\rCustFctIn_LgtLimA_APredTar_sc \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc \n\rCustFctIn_LgtLimA_AGrdMaxInc_sc \n\rCustFctIn_LgtLimA_ATlrHiTar_sc \n\rCustFctIn_LgtLimA_ATlrHiDyn_sc \n\rCustFctIn_LgtLimA_MdTarDyn _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": "1345984.0",
  "Description": "Merged classifier of LgtLimA input signal classifiers\n\r(Note: The classifier information of all LgtLimA 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_LgtLimA_StAcv_sc \n\rCustFctIn_LgtLimA_ADmd_sc \n\rCustFctIn_LgtLimA_APredTar_sc \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc \n\rCustFctIn_LgtLimA_AGrdMaxInc_sc \n\rCustFctIn_LgtLimA_ATlrHiTar_sc \n\rCustFctIn_LgtLimA_ATlrHiDyn_sc \n\rCustFctIn_LgtLimA_MdTarDyn _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"
}

Detect neutral LgtLimA-Inputs

Note: Classifier Bit1 (FlgValCod - Neutral value) of all input signals, which have a neutral value, are considered in the neutral value check. "LgtLimA-Inputs are neutral" means, that at least one input signal has neutral values. "LgtLimA-Inputs are NOT neutral" means, that at no input signal has neutral values.

IF: 

Bit1 of BitwiseOR ( 

CustFctIn_LgtLimA_ADmd_sc 

CustFctIn_LgtLimA_APredTar_sc 

CustFctIn_LgtLimA_AGrdMaxDec_sc 

CustFctIn_LgtLimA_AGrdMaxInc_sc 

CustFctIn_LgtLimA_ATlrHiTar_sc 

CustFctIn_LgtLimA_ATlrHiDyn_sc ) 

is set 

THEN: 

LgtLimA-Inputs are neutral (LgtLimA-Inputs neutral) 

ELSE: 

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

{
  "ID": "16663488.0",
  "ASIL": "  ASIL B",
  "Text": "Detect neutral LgtLimA-Inputs\n\rNote: Classifier Bit1 (FlgValCod - Neutral value) of all input signals, which have a neutral value, are considered in the neutral value check. \"LgtLimA-Inputs are neutral\" means, that at least one input signal has neutral values. \"LgtLimA-Inputs are NOT neutral\" means, that at no input signal has neutral values.\n\r \n\rIF: \n\rBit1 of BitwiseOR ( \n\rCustFctIn_LgtLimA_ADmd_sc \n\rCustFctIn_LgtLimA_APredTar_sc \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc \n\rCustFctIn_LgtLimA_AGrdMaxInc_sc \n\rCustFctIn_LgtLimA_ATlrHiTar_sc \n\rCustFctIn_LgtLimA_ATlrHiDyn_sc ) \n\ris set \n\rTHEN: \n\rLgtLimA-Inputs are neutral (LgtLimA-Inputs neutral) \n\rELSE: \n\rLgtLimA-Inputs are NOT neutral (LgtLimA-Inputs not neutral)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345981.0",
  "Description": "Detect neutral LgtLimA-Inputs\n\rNote: Classifier Bit1 (FlgValCod - Neutral value) of all input signals, which have a neutral value, are considered in the neutral value check. \"LgtLimA-Inputs are neutral\" means, that at least one input signal has neutral values. \"LgtLimA-Inputs are NOT neutral\" means, that at no input signal has neutral values.\n\r \n\rIF: \n\rBit1 of BitwiseOR ( \n\rCustFctIn_LgtLimA_ADmd_sc \n\rCustFctIn_LgtLimA_APredTar_sc \n\rCustFctIn_LgtLimA_AGrdMaxDec_sc \n\rCustFctIn_LgtLimA_AGrdMaxInc_sc \n\rCustFctIn_LgtLimA_ATlrHiTar_sc \n\rCustFctIn_LgtLimA_ATlrHiDyn_sc ) \n\ris set \n\rTHEN: \n\rLgtLimA-Inputs are neutral (LgtLimA-Inputs neutral) \n\rELSE: \n\rLgtLimA-Inputs are NOT neutral (LgtLimA-Inputs not neutral)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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": "16663489.0",
  "ASIL": "  ASIL B",
  "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": "1345982.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": "16663490.0",
  "ASIL": "  ASIL B",
  "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": "1345988.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": "16663491.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": "1345980.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": "16663492.0",
  "ASIL": "  ASIL B",
  "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": "1345987.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": "16663493.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": "1345985.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": "16663494.0",
  "ASIL": "  ASIL B",
  "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": "1345976.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": "16663495.0",
  "ASIL": "  ASIL B",
  "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": "1345975.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": "16663496.0",
  "ASIL": "  ASIL B",
  "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": "1345974.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": "16663497.0",
  "ASIL": "  ASIL B",
  "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": "1345979.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": "16663498.0",
  "ASIL": "  ASIL B",
  "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": "1345986.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"
}

TrjCtl Service Bridge

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

Inputs 

Signal-Values:

CustFctIn_TrjCtl_StAcv

CustFctIn_LgtCtl_AltdObstDetFrLe 

CustFctIn_LgtCtl_AltdObstDetFrRi

CustFctIn_LgtCtl_AltdObstDetReLe

CustFctIn_LgtCtl_AltdObstDetReRi

CustFctIn_StTrjVld_StDiagEve

Signal-Classifier:

CustFctIn_TrjCtl_StAcv_sc 

CustFctIn_LgtCtl_AltdObstDetFrLe_sc 

CustFctIn_LgtCtl_AltdObstDetFrRi_sc

CustFctIn_LgtCtl_AltdObstDetReLe_sc

CustFctIn_LgtCtl_AltdObstDetReRi_sc

CustFctIn_TrjCtlMrg_sc 

CustFctIn_TrjCtlMrgNeut_sc

CustFctIn_AgSideSlipMrg_sc

Parameters 

CustFctIn_TrjCtl_BitFldConf

CustFctIn_TrjCtl_StTrjMd

CustFctIn_TrjCtl_FlgIniExcDet

CustFctIn_TrjCtl_FlgErrQlfAcv

CustFctIn_TrjCtl_TurnOff

{
  "ID": "16663500.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_TrjCtl_StAcv\n\rCustFctIn_LgtCtl_AltdObstDetFrLe \n\rCustFctIn_LgtCtl_AltdObstDetFrRi\n\rCustFctIn_LgtCtl_AltdObstDetReLe\n\rCustFctIn_LgtCtl_AltdObstDetReRi\n\r \n\rCustFctIn_StTrjVld_StDiagEve\n\r \n\rSignal-Classifier:\n\rCustFctIn_TrjCtl_StAcv_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrLe_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrRi_sc\n\rCustFctIn_LgtCtl_AltdObstDetReLe_sc\n\rCustFctIn_LgtCtl_AltdObstDetReRi_sc\n\r \n\rCustFctIn_TrjCtlMrg_sc \n\rCustFctIn_TrjCtlMrgNeut_sc\n\rCustFctIn_AgSideSlipMrg_sc\n\r \n\rParameters \n\rCustFctIn_TrjCtl_BitFldConf\n\rCustFctIn_TrjCtl_StTrjMd\n\rCustFctIn_TrjCtl_FlgIniExcDet\n\rCustFctIn_TrjCtl_FlgErrQlfAcv\n\rCustFctIn_TrjCtl_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345991.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_TrjCtl_StAcv\n\rCustFctIn_LgtCtl_AltdObstDetFrLe \n\rCustFctIn_LgtCtl_AltdObstDetFrRi\n\rCustFctIn_LgtCtl_AltdObstDetReLe\n\rCustFctIn_LgtCtl_AltdObstDetReRi\n\r \n\rCustFctIn_StTrjVld_StDiagEve\n\r \n\rSignal-Classifier:\n\rCustFctIn_TrjCtl_StAcv_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrLe_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrRi_sc\n\rCustFctIn_LgtCtl_AltdObstDetReLe_sc\n\rCustFctIn_LgtCtl_AltdObstDetReRi_sc\n\r \n\rCustFctIn_TrjCtlMrg_sc \n\rCustFctIn_TrjCtlMrgNeut_sc\n\rCustFctIn_AgSideSlipMrg_sc\n\r \n\rParameters \n\rCustFctIn_TrjCtl_BitFldConf\n\rCustFctIn_TrjCtl_StTrjMd\n\rCustFctIn_TrjCtl_FlgIniExcDet\n\rCustFctIn_TrjCtl_FlgErrQlfAcv\n\rCustFctIn_TrjCtl_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

StAcv

CustFctOut_TrjCtl_StAcv

FlgVld

CustFctOut_TrjCtl_FlgVldClasCur

All other Outputs

CustFctOut_LgtCtl_AltdObstDetFrLe

CustFctOut_LgtCtl_AltdObstDetFrRi

CustFctOut_LgtCtl_AltdObstDetReLe

CustFctOut_LgtCtl_AltdObstDetReRi

CustFctOut_TrjCtl_StTrjMd

States

CustFctOut_TrjCtl_StDiagEve

{
  "ID": "16663501.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rStAcv\n\rCustFctOut_TrjCtl_StAcv\n\r \n\rFlgVld\n\rCustFctOut_TrjCtl_FlgVldClasCur\n\r \n\rAll other Outputs\n\rCustFctOut_LgtCtl_AltdObstDetFrLe\n\rCustFctOut_LgtCtl_AltdObstDetFrRi\n\rCustFctOut_LgtCtl_AltdObstDetReLe\n\rCustFctOut_LgtCtl_AltdObstDetReRi\n\rCustFctOut_TrjCtl_StTrjMd\n\rStates\n\rCustFctOut_TrjCtl_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345989.0",
  "Description": "Outputs\n\rStAcv\n\rCustFctOut_TrjCtl_StAcv\n\r \n\rFlgVld\n\rCustFctOut_TrjCtl_FlgVldClasCur\n\r \n\rAll other Outputs\n\rCustFctOut_LgtCtl_AltdObstDetFrLe\n\rCustFctOut_LgtCtl_AltdObstDetFrRi\n\rCustFctOut_LgtCtl_AltdObstDetReLe\n\rCustFctOut_LgtCtl_AltdObstDetReRi\n\rCustFctOut_TrjCtl_StTrjMd\n\rStates\n\rCustFctOut_TrjCtl_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of TrjCtl input signal classifiers

(Note: The classifier information of all TrjCtl 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_TrjCtl_StAcv_sc 

CustFctIn_LgtCtl_AltdObstDetFrLe_sc 

CustFctIn_LgtCtl_AltdObstDetFrRi_sc

CustFctIn_LgtCtl_AltdObstDetReLe_sc

CustFctIn_LgtCtl_AltdObstDetReRi_sc

CustFctIn_TrjCtlMrg_sc

CustFctIn_AgSideSlipMrg_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": "16663502.0",
  "ASIL": "  ASIL B",
  "Text": "Merged classifier of TrjCtl input signal classifiers\n\r(Note: The classifier information of all TrjCtl 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_TrjCtl_StAcv_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrLe_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrRi_sc\n\rCustFctIn_LgtCtl_AltdObstDetReLe_sc\n\rCustFctIn_LgtCtl_AltdObstDetReRi_sc\n\rCustFctIn_TrjCtlMrg_sc\n\rCustFctIn_AgSideSlipMrg_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": "1345990.0",
  "Description": "Merged classifier of TrjCtl input signal classifiers\n\r(Note: The classifier information of all TrjCtl 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_TrjCtl_StAcv_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrLe_sc \n\rCustFctIn_LgtCtl_AltdObstDetFrRi_sc\n\rCustFctIn_LgtCtl_AltdObstDetReLe_sc\n\rCustFctIn_LgtCtl_AltdObstDetReRi_sc\n\rCustFctIn_TrjCtlMrg_sc\n\rCustFctIn_AgSideSlipMrg_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_TrjCtl_StAcv

IF [AND(1,2)]: 

1) CustFctIn_TrjCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set 

THEN: 

CustFctOut_TrjCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv

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

1) CustFctIn_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctAcv 

2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is set 

3) Bit position VMMP_SINFCT_c_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_BitFldConf is true 

THEN: 

CustFctOut_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctAcvNeut 

ELSE:

CustFctOut_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq

Note: The expression "Bit position VMMP_SINFCT_c_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_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_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_BitFldConf is true" shall be true.

{
  "ID": "16663503.0",
  "ASIL": "  ASIL B",
  "Text": "Mapping and Neutral-Value-Handling of CustFctIn_TrjCtl_StAcv\n\r \n\r\n\rIF [AND(1,2)]: \n\r1) CustFctIn_TrjCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set \n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r \n\rELSEIF [AND(1,2,3)]: \n\r1) CustFctIn_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctAcv \n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is set \n\r3) Bit position VMMP_SINFCT_c_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_BitFldConf is true \n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctAcvNeut \n\r \n\rELSE:\n\rCustFctOut_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_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_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_BitFldConf is true\" shall be true.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345997.0",
  "Description": "Mapping and Neutral-Value-Handling of CustFctIn_TrjCtl_StAcv\n\r \n\r\n\rIF [AND(1,2)]: \n\r1) CustFctIn_TrjCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set \n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv is equal to VMMP_SINFCT_c_CusFctIn_StReqAcv\n\r \n\rELSEIF [AND(1,2,3)]: \n\r1) CustFctIn_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctAcv \n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is set \n\r3) Bit position VMMP_SINFCT_c_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_BitFldConf is true \n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctAcvNeut \n\r \n\rELSE:\n\rCustFctOut_TrjCtl_StAcv is equal to VMMP_c_StReqCusFctNoReq\n\r \n\rNote: The expression \"Bit position VMMP_SINFCT_c_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_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_TrjCtl_IdxBitFldConfMdNeutArbAcv of the input CustFctIn_TrjCtl_BitFldConf is true\" shall be true.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

(Check if trajectory is valid)

IF [AND(1,2,3,4)]: 

1) Bit2 (FlgErrQlf) of merged classifier is NOT set

2) Bit3 (FlgIni) of merged classifier is NOT set

3) Bit5 (FlgMonNotAcv) of merged classifier is NOT set

4) Bit7 (FlgErrCur) of merged classifier is NOT set

THEN: 

CustFctOut_TrjCtl_FlgVldClasCur = 1 (true)

ELSE:

CustFctOut_TrjCtl_FlgVldClasCur = 0 (false)

{
  "ID": "16663504.0",
  "ASIL": "  ASIL B",
  "Text": "Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\n\r(Check if trajectory is valid)\n\r \n\rIF [AND(1,2,3,4)]: \n\r1) Bit2 (FlgErrQlf) of merged classifier is NOT set\n\r2) Bit3 (FlgIni) of merged classifier is NOT set\n\r3) Bit5 (FlgMonNotAcv) of merged classifier is NOT set\n\r4) Bit7 (FlgErrCur) of merged classifier is NOT set\n\rTHEN: \n\rCustFctOut_TrjCtl_FlgVldClasCur = 1 (true)\n\rELSE:\n\rCustFctOut_TrjCtl_FlgVldClasCur = 0 (false)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345992.0",
  "Description": "Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\n\r(Check if trajectory is valid)\n\r \n\rIF [AND(1,2,3,4)]: \n\r1) Bit2 (FlgErrQlf) of merged classifier is NOT set\n\r2) Bit3 (FlgIni) of merged classifier is NOT set\n\r3) Bit5 (FlgMonNotAcv) of merged classifier is NOT set\n\r4) Bit7 (FlgErrCur) of merged classifier is NOT set\n\rTHEN: \n\rCustFctOut_TrjCtl_FlgVldClasCur = 1 (true)\n\rELSE:\n\rCustFctOut_TrjCtl_FlgVldClasCur = 0 (false)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Calculation of output signal CustFctOut_TrjCtl_StTrjMd

(Deactivate side slip angle control from rear axle steering, if side slip angle input signals are neutral)

IF:

Bit1 of CustFctIn_AgSideSlipMrg_sc is set

THEN:

CustFctOut_TrjCtl_StTrjMd is equal to CustFctIn_TrjCtl_StTrjMd, but Bit1 of CustFctIn_TrjCtl_StTrjMd is set to 0 (false)

ELSE:

CustFctOut_TrjCtl_StTrjMd is equal to CustFctIn_TrjCtl_StTrjMd

{
  "ID": "16663505.0",
  "ASIL": "  ASIL B",
  "Text": "Calculation of output signal CustFctOut_TrjCtl_StTrjMd\n\r(Deactivate side slip angle control from rear axle steering, if side slip angle input signals are neutral)\n\r \n\r\n\rIF:\n\rBit1 of CustFctIn_AgSideSlipMrg_sc is set\n\rTHEN:\n\rCustFctOut_TrjCtl_StTrjMd is equal to CustFctIn_TrjCtl_StTrjMd, but Bit1 of CustFctIn_TrjCtl_StTrjMd is set to 0 (false)\n\rELSE:\n\rCustFctOut_TrjCtl_StTrjMd is equal to CustFctIn_TrjCtl_StTrjMd",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345993.0",
  "Description": "Calculation of output signal CustFctOut_TrjCtl_StTrjMd\n\r(Deactivate side slip angle control from rear axle steering, if side slip angle input signals are neutral)\n\r \n\r\n\rIF:\n\rBit1 of CustFctIn_AgSideSlipMrg_sc is set\n\rTHEN:\n\rCustFctOut_TrjCtl_StTrjMd is equal to CustFctIn_TrjCtl_StTrjMd, but Bit1 of CustFctIn_TrjCtl_StTrjMd is set to 0 (false)\n\rELSE:\n\rCustFctOut_TrjCtl_StTrjMd is equal to CustFctIn_TrjCtl_StTrjMd",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Check if TrjCtl input signal range is valid

(Check if the complete trajectory or only a part of the trajectory consists of neutral values)

IF [AND(1,2)]: 

1) Bit1 of CustFctIn_TrjCtl_StAcv_sc is set

2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set 

THEN: 

Signal range is invalid 

ELSEIF [AND(1,2)]: 

1) Bit1 of CustFctIn_TrjCtlMrg_sc is set

2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set

THEN: 

Signal range is invalid 

ELSE: 

Signal range is valid

{
  "ID": "16663506.0",
  "ASIL": "  ASIL B",
  "Text": "Check if TrjCtl input signal range is valid\n\r(Check if the complete trajectory or only a part of the trajectory consists of neutral values)\n\r \n\rIF [AND(1,2)]: \n\r1) Bit1 of CustFctIn_TrjCtl_StAcv_sc is set\n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set \n\rTHEN: \n\rSignal range is invalid \n\r \n\r\n\rELSEIF [AND(1,2)]: \n\r1) Bit1 of CustFctIn_TrjCtlMrg_sc is set\n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set\n\rTHEN: \n\rSignal range is invalid \n\r \n\rELSE: \n\rSignal range is valid",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345994.0",
  "Description": "Check if TrjCtl input signal range is valid\n\r(Check if the complete trajectory or only a part of the trajectory consists of neutral values)\n\r \n\rIF [AND(1,2)]: \n\r1) Bit1 of CustFctIn_TrjCtl_StAcv_sc is set\n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set \n\rTHEN: \n\rSignal range is invalid \n\r \n\r\n\rELSEIF [AND(1,2)]: \n\r1) Bit1 of CustFctIn_TrjCtlMrg_sc is set\n\r2) Bit1 of CustFctIn_TrjCtlMrgNeut_sc is NOT set\n\rTHEN: \n\rSignal range is invalid \n\r \n\rELSE: \n\rSignal range is valid",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

TrjCtl Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_TrjCtl_TurnOff

*FlgIniExcDet equal to CustFctIn_TrjCtl_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_TrjCtl_FlgErrQlfAcv

merged classifier

RangeCheck shall be equal to result of Check if TrjCtl input signal range is valid

Output:

CustFctOut_TrjCtl_StDiagEve_Int 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": "16663507.0",
  "ASIL": "  ASIL B",
  "Text": "TrjCtl Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\r\n\rInput:\n\r*TurnOff equal to CustFctIn_TrjCtl_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_TrjCtl_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_TrjCtl_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck shall be equal to result of Check if TrjCtl input signal range is valid\n\r \n\rOutput:\n\rCustFctOut_TrjCtl_StDiagEve_Int 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": "1345995.0",
  "Description": "TrjCtl Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\r\n\rInput:\n\r*TurnOff equal to CustFctIn_TrjCtl_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_TrjCtl_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_TrjCtl_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck shall be equal to result of Check if TrjCtl input signal range is valid\n\r \n\rOutput:\n\rCustFctOut_TrjCtl_StDiagEve_Int 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"
}

Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int)

IF [AND(1,2)]: 

1) CustFctIn_StTrjVld_StDiagEve is equal to VMMP_c_DiagEveSigNotVld

2) CustFctOut_TrjCtl_StDiagEve_Int is not equal to VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_TrjCtl_StDiagEve is equal to VMMP_c_DiagEveSigNotVld

ELSE:

CustFctOut_TrjCtl_StDiagEve is equal to CustFctOut_TrjCtl_StDiagEve_Int

{
  "ID": "16663508.0",
  "ASIL": "  ASIL B",
  "Text": "Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int)\n\r \n\r\n\rIF [AND(1,2)]: \n\r1) CustFctIn_StTrjVld_StDiagEve is equal to VMMP_c_DiagEveSigNotVld\n\r2) CustFctOut_TrjCtl_StDiagEve_Int is not equal to VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_TrjCtl_StDiagEve is equal to VMMP_c_DiagEveSigNotVld\n\rELSE:\n\rCustFctOut_TrjCtl_StDiagEve is equal to CustFctOut_TrjCtl_StDiagEve_Int",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1345998.0",
  "Description": "Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int)\n\r \n\r\n\rIF [AND(1,2)]: \n\r1) CustFctIn_StTrjVld_StDiagEve is equal to VMMP_c_DiagEveSigNotVld\n\r2) CustFctOut_TrjCtl_StDiagEve_Int is not equal to VMMP_c_DiagEveSigDi\n\rTHEN: \n\rCustFctOut_TrjCtl_StDiagEve is equal to VMMP_c_DiagEveSigNotVld\n\rELSE:\n\rCustFctOut_TrjCtl_StDiagEve is equal to CustFctOut_TrjCtl_StDiagEve_Int",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirement describes the valid case of the TrjCtl 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": "16663509.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the TrjCtl 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": "1346003.0",
  "Description": "The following functional requirement describes the valid case of the TrjCtl 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_TrjCtl_StDiagEve = VMMP_c_DiagEveSigNone (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))

THEN: 

CustFctOut_TrjCtl_StAcv = CustFctIn_TrjCtl_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_TrjCtl_StAcv)

CustFctOut_LgtCtl_AltdObstDetFrLe = CustFctIn_LgtCtl_AltdObstDetFrLe 

CustFctOut_LgtCtl_AltdObstDetFrRi = CustFctIn_LgtCtl_AltdObstDetFrRi 

CustFctOut_LgtCtl_AltdObstDetReLe = CustFctIn_LgtCtl_AltdObstDetReLe 

CustFctOut_LgtCtl_AltdObstDetReRi = CustFctIn_LgtCtl_AltdObstDetReRi 

CustFctOut_TrjCtl_StTrjMd = CustFctIn_TrjCtl_StTrjMd (considering Calculation of output signal CustFctOut_TrjCtl_StTrjMd)

CustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

{
  "ID": "16663510.0",
  "ASIL": "  ASIL B",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigNone (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = CustFctIn_TrjCtl_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_TrjCtl_StAcv)\n\rCustFctOut_LgtCtl_AltdObstDetFrLe = CustFctIn_LgtCtl_AltdObstDetFrLe \n\rCustFctOut_LgtCtl_AltdObstDetFrRi = CustFctIn_LgtCtl_AltdObstDetFrRi \n\rCustFctOut_LgtCtl_AltdObstDetReLe = CustFctIn_LgtCtl_AltdObstDetReLe \n\rCustFctOut_LgtCtl_AltdObstDetReRi = CustFctIn_LgtCtl_AltdObstDetReRi \n\rCustFctOut_TrjCtl_StTrjMd = CustFctIn_TrjCtl_StTrjMd (considering Calculation of output signal CustFctOut_TrjCtl_StTrjMd)\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346004.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigNone (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = CustFctIn_TrjCtl_StAcv (considering Mapping and Neutral-Value-Handling of CustFctIn_TrjCtl_StAcv)\n\rCustFctOut_LgtCtl_AltdObstDetFrLe = CustFctIn_LgtCtl_AltdObstDetFrLe \n\rCustFctOut_LgtCtl_AltdObstDetFrRi = CustFctIn_LgtCtl_AltdObstDetFrRi \n\rCustFctOut_LgtCtl_AltdObstDetReLe = CustFctIn_LgtCtl_AltdObstDetReLe \n\rCustFctOut_LgtCtl_AltdObstDetReRi = CustFctIn_LgtCtl_AltdObstDetReRi \n\rCustFctOut_TrjCtl_StTrjMd = CustFctIn_TrjCtl_StTrjMd (considering Calculation of output signal CustFctOut_TrjCtl_StTrjMd)\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur",
  "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_TrjCtl_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.

* CustFctOut_TrjCtl_FlgVldClasCur depends not on *StDiagEve

{
  "ID": "16663511.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_TrjCtl_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.\n\r* CustFctOut_TrjCtl_FlgVldClasCur depends not on *StDiagEve",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346005.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_TrjCtl_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.\n\r* CustFctOut_TrjCtl_FlgVldClasCur depends not on *StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Disable Case:

IF: 

CustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigDi (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))

THEN: 

CustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

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

{
  "ID": "16663512.0",
  "ASIL": "  ASIL B",
  "Text": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigDi (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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": "1346006.0",
  "Description": "Disable Case:\n\r \n\r\n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigDi (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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_TrjCtl_StDiagEve = VMMP_c_DiagEveSigNotVld (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))

THEN: 

CustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

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

{
  "ID": "16663513.0",
  "ASIL": "  ASIL B",
  "Text": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigNotVld (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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": "1345999.0",
  "Description": "NotVld Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigNotVld (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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_TrjCtl_StDiagEve = VMMP_c_DiagEveSigFail (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))

THEN: 

CustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

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

{
  "ID": "16663514.0",
  "ASIL": "  ASIL B",
  "Text": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigFail (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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": "1346000.0",
  "Description": "Fail Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigFail (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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_TrjCtl_StDiagEve = VMMP_c_DiagEveSigIni (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))

THEN: 

CustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq

CustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

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

{
  "ID": "16663515.0",
  "ASIL": "  ASIL B",
  "Text": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigIni (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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": "1346001.0",
  "Description": "Init\n\r Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigIni (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv = VMMP_c_StReqCusFctNoReq\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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_TrjCtl_StDiagEve = VMMP_c_DiagEveSigSusp (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))

THEN: 

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

CustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur

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

{
  "ID": "16663516.0",
  "ASIL": "  ASIL B",
  "Text": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigSusp (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\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": "1346002.0",
  "Description": "Susp Case:\n\r \n\rIF: \n\rCustFctOut_TrjCtl_StDiagEve = VMMP_c_DiagEveSigSusp (considering Consider validity of trajectory in result of input signal monitoring (CustFctOut_TrjCtl_StDiagEve_Int))\n\rTHEN: \n\rCustFctOut_TrjCtl_StAcv shall be equal to the value of previous computation cycle (Hold Last Value)\n\rCustFctOut_TrjCtl_FlgVldClasCur = result of Calculation of output signal CustFctOut_TrjCtl_FlgVldClasCur\n\rAll other Outputs shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtDir Service Bridge

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

Inputs 

Signal-Values:

CustFctIn_LgtDir_StDirReq 

Signal-Classifier:

CustFctIn_LgtDir_StDirReq_sc

Parameters 

CustFctIn_LgtDir_FlgIniExcDet

CustFctIn_LgtDir_FlgErrQlfAcv

CustFctIn_LgtDir_TurnOff

{
  "ID": "16663518.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_LgtDir_StDirReq \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtDir_StDirReq_sc\n\r \n\rParameters \n\rCustFctIn_LgtDir_FlgIniExcDet\n\rCustFctIn_LgtDir_FlgErrQlfAcv\n\rCustFctIn_LgtDir_TurnOff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346011.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_LgtDir_StDirReq \n\r \n\rSignal-Classifier:\n\rCustFctIn_LgtDir_StDirReq_sc\n\r \n\rParameters \n\rCustFctIn_LgtDir_FlgIniExcDet\n\rCustFctIn_LgtDir_FlgErrQlfAcv\n\rCustFctIn_LgtDir_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Request

CustFctOut_LgtDir_StDirReq

States

CustFctOut_LgtDir_StDiagEve

{
  "ID": "16663519.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rRequest\n\rCustFctOut_LgtDir_StDirReq\n\rStates\n\rCustFctOut_LgtDir_StDiagEve",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346013.0",
  "Description": "Outputs\n\rRequest\n\rCustFctOut_LgtDir_StDirReq\n\rStates\n\rCustFctOut_LgtDir_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of LgtDir input signal classifiers

(Note: The classifier information of all LgtDir 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_LgtDir_StDirReq_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": "16663520.0",
  "ASIL": "  ASIL B",
  "Text": "Merged classifier of LgtDir input signal classifiers\n\r(Note: The classifier information of all LgtDir 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_LgtDir_StDirReq_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": "1346007.0",
  "Description": "Merged classifier of LgtDir input signal classifiers\n\r(Note: The classifier information of all LgtDir 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_LgtDir_StDirReq_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_LgtDir_StDirReq

IF: 

CustFctIn_LgtDir_StDirReq > VMMP_SINFCT_c_SrvLgtDir_StDirReqRngLimHi 

THEN: 

CustFctOut_LgtDir_StDirReq is equal to VMMP_c_StReqCusFctNoReq

ELSE:

CustFctOut_LgtDir_StDirReq is equal to CustFctIn_LgtDir_StDirReq

{
  "ID": "16663521.0",
  "ASIL": "  ASIL B",
  "Text": "Mapping of CustFctIn_LgtDir_StDirReq\n\r \n\rIF: \n\rCustFctIn_LgtDir_StDirReq > VMMP_SINFCT_c_SrvLgtDir_StDirReqRngLimHi \n\rTHEN: \n\rCustFctOut_LgtDir_StDirReq is equal to VMMP_c_StReqCusFctNoReq\n\rELSE:\n\rCustFctOut_LgtDir_StDirReq is equal to CustFctIn_LgtDir_StDirReq",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346008.0",
  "Description": "Mapping of CustFctIn_LgtDir_StDirReq\n\r \n\rIF: \n\rCustFctIn_LgtDir_StDirReq > VMMP_SINFCT_c_SrvLgtDir_StDirReqRngLimHi \n\rTHEN: \n\rCustFctOut_LgtDir_StDirReq is equal to VMMP_c_StReqCusFctNoReq\n\rELSE:\n\rCustFctOut_LgtDir_StDirReq is equal to CustFctIn_LgtDir_StDirReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtDir Service Bridge shall use Signalmonitoring with following signal assignment:

Input:

*TurnOff equal to CustFctIn_LgtDir_TurnOff

*FlgIniExcDet equal to CustFctIn_LgtDir_FlgIniExcDet

*FlgErrQlfAcv equal to CustFctIn_LgtDir_FlgErrQlfAcv

merged classifier

RangeCheck

Output:

CustFctOut_LgtDir_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": "16663522.0",
  "ASIL": "  ASIL B",
  "Text": "LgtDir Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LgtDir_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LgtDir_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LgtDir_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LgtDir_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": "1346009.0",
  "Description": "LgtDir Service Bridge shall use Signalmonitoring with following signal assignment:\n\r \n\rInput:\n\r*TurnOff equal to CustFctIn_LgtDir_TurnOff\n\r*FlgIniExcDet equal to CustFctIn_LgtDir_FlgIniExcDet\n\r*FlgErrQlfAcv equal to CustFctIn_LgtDir_FlgErrQlfAcv\n\rmerged classifier\n\rRangeCheck\n\r \n\rOutput:\n\rCustFctOut_LgtDir_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 LgtDir 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": "16663523.0",
  "ASIL": "  ",
  "Text": "The following functional requirement describes the valid case of the LgtDir 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": "1346010.0",
  "Description": "The following functional requirement describes the valid case of the LgtDir 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_LgtDir_StDiagEve = VMMP_c_DiagEveSigNone

THEN: 

CustFctOut_LgtDir_StDirReq = CustFctIn_LgtDir_StDirReq (considering Mapping of CustFctIn_LgtDir_StDirReq)

{
  "ID": "16663524.0",
  "ASIL": "  ASIL B",
  "Text": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LgtDir_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LgtDir_StDirReq = CustFctIn_LgtDir_StDirReq (considering Mapping of CustFctIn_LgtDir_StDirReq)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346017.0",
  "Description": "Valid Case: No errors. Input signals are routed to the output signals (considering pre-conditions)\n\rIF: \n\rCustFctOut_LgtDir_StDiagEve = VMMP_c_DiagEveSigNone\n\rTHEN: \n\rCustFctOut_LgtDir_StDirReq = CustFctIn_LgtDir_StDirReq (considering Mapping of CustFctIn_LgtDir_StDirReq)",
  "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": "16663525.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": "1346018.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_LgtDir_StDiagEve = VMMP_c_DiagEveSigDi

THEN: 

CustFctOut_LgtDir_StDirReq = VMMP_c_StReqCusFctNoReq

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

NotVld Case:

IF: 

CustFctOut_LgtDir_StDiagEve = VMMP_c_DiagEveSigNotVld

THEN: 

CustFctOut_LgtDir_StDirReq = VMMP_c_StReqCusFctNoReq

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

Fail Case:

IF: 

CustFctOut_LgtDir_StDiagEve = VMMP_c_DiagEveSigFail

THEN: 

CustFctOut_LgtDir_StDirReq = VMMP_c_StReqCusFctNoReq

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

Init

 Case:

IF: 

CustFctOut_LgtDir_StDiagEve = VMMP_c_DiagEveSigIni

THEN: 

CustFctOut_LgtDir_StDirReq = VMMP_c_StReqCusFctNoReq

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

Susp Case:

IF: 

CustFctOut_LgtDir_StDiagEve = VMMP_c_DiagEveSigSusp

THEN: 

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

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

PrkCtlAly Service Bridge

{
  "ID": "16663531.0",
  "ASIL": "  ",
  "Text": "PrkCtlAly Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "PrkCtlAly Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346026.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": "16663532.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": "1346025.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": "16663533.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": "1346031.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": "16663534.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": "1346032.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": "16663535.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": "1346033.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": "16663536.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": "1346034.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": "16663537.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": "1346027.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": "16663538.0",
  "ASIL": "  QM",
  "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": "1346028.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": "16663539.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": "1346029.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": "16663540.0",
  "ASIL": "  QM",
  "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": "1346030.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": "16663541.0",
  "ASIL": "  QM",
  "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": "1346021.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": "16663542.0",
  "ASIL": "  QM",
  "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": "1346022.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": "16663543.0",
  "ASIL": "  QM",
  "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": "1346023.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": "16663544.0",
  "ASIL": "  QM",
  "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": "1346024.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": "16663545.0",
  "ASIL": "  ",
  "Text": "PrkLockCtl Service Bridge",
  "Type": "Folder",
  "Status": "",
  "Summary": "PrkLockCtl Service Bridge",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346039.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": "16663546.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": "1346047.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": "16663547.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": "1346040.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": "16663549.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": "1346041.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": "16663550.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": "1346035.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": "16663551.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": "1346036.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": "16663552.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": "1346037.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": "16663553.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": "1346038.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": "16663554.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": "1346043.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": "16663555.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": "1346044.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": "16663556.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": "1346045.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": "16663557.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": "1346046.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": "16663558.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": "1346042.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"
}

HldCtl Service Bridge

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

Inputs 

Signal-Values:

CustFctIn_HldCtl_StShoTrmReq

CustFctIn_HldCtl_StLngTrmReq

CustFctIn_HldCtl_StTkovReq

Signal-Classifier:

CustFctIn_HldCtl_StShoTrmReq_sc

CustFctIn_HldCtl_StLngTrmReq_sc

CustFctIn_HldCtl_StTkovReq_sc

Parameters 

CustFctIn_HldCtl_FlgIniExcDet

CustFctIn_HldCtl_FlgErrQlfAcv

CustFctIn_HldCtl_TurnOff

{
  "ID": "16663560.0",
  "ASIL": "  QM",
  "Text": "Inputs \n\rSignal-Values:\n\rCustFctIn_HldCtl_StShoTrmReq\n\rCustFctIn_HldCtl_StLngTrmReq\n\rCustFctIn_HldCtl_StTkovReq\n\r \n\rSignal-Classifier:\n\rCustFctIn_HldCtl_StShoTrmReq_sc\n\rCustFctIn_HldCtl_StLngTrmReq_sc\n\rCustFctIn_HldCtl_StTkovReq_sc\n\r \n\rParameters \n\rCustFctIn_HldCtl_FlgIniExcDet\n\rCustFctIn_HldCtl_FlgErrQlfAcv\n\rCustFctIn_HldCtl_TurnOff",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346062.0",
  "Description": "Inputs \n\rSignal-Values:\n\rCustFctIn_HldCtl_StShoTrmReq\n\rCustFctIn_HldCtl_StLngTrmReq\n\rCustFctIn_HldCtl_StTkovReq\n\r \n\rSignal-Classifier:\n\rCustFctIn_HldCtl_StShoTrmReq_sc\n\rCustFctIn_HldCtl_StLngTrmReq_sc\n\rCustFctIn_HldCtl_StTkovReq_sc\n\r \n\rParameters \n\rCustFctIn_HldCtl_FlgIniExcDet\n\rCustFctIn_HldCtl_FlgErrQlfAcv\n\rCustFctIn_HldCtl_TurnOff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Request

CustFctOut_HldCtl_StHldReq

CustFctOut_HldCtl_FlgHldTkovReq

States

CustFctOut_HldCtl_StDiagEve

{
  "ID": "16663561.0",
  "ASIL": "  QM",
  "Text": "Outputs\n\rRequest\n\rCustFctOut_HldCtl_StHldReq\n\rCustFctOut_HldCtl_FlgHldTkovReq\n\rStates\n\rCustFctOut_HldCtl_StDiagEve",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346059.0",
  "Description": "Outputs\n\rRequest\n\rCustFctOut_HldCtl_StHldReq\n\rCustFctOut_HldCtl_FlgHldTkovReq\n\rStates\n\rCustFctOut_HldCtl_StDiagEve",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Merged classifier of HldCtl input signal classifiers

(Note: The classifier information of all HldCtl 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_HldCtl_StShoTrmReq_sc

CustFctIn_HldCtl_StLngTrmReq_sc

CustFctIn_HldCtl_StTkovReq_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": "16663562.0",
  "ASIL": "  QM",
  "Text": "Merged classifier of HldCtl input signal classifiers\n\r(Note: The classifier information of all HldCtl 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_HldCtl_StShoTrmReq_sc\n\rCustFctIn_HldCtl_StLngTrmReq_sc\n\rCustFctIn_HldCtl_StTkovReq_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": "1346060.0",
  "Description": "Merged classifier of HldCtl input signal classifiers\n\r(Note: The classifier information of all HldCtl 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_HldCtl_StShoTrmReq_sc\n\rCustFctIn_HldCtl_StLngTrmReq_sc\n\rCustFctIn_HldCtl_StTkovReq_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"
}

Calculation of output signal CustFctOut_HldCtl_StHldReq (merge of LongTerm- and ShortTerm-Hold)

(LongTermHold)

IF:

CustFctIn_HldCtl_StLngTrmReq = 4

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqRls

ELSEIF:

CustFctIn_HldCtl_StLngTrmReq = 3

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldDrvOff

ELSEIF:

CustFctIn_HldCtl_StLngTrmReq = 1

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldLngTrm

(ShortTermHold)

ELSEIF:

CustFctIn_HldCtl_StShoTrmReq = 4

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqRls

ELSEIF:

CustFctIn_HldCtl_StShoTrmReq = 3

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldDrvOff

ELSEIF:

CustFctIn_HldCtl_StShoTrmReq = 2

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldShoTrmWoutRollPrevn

ELSEIF:

CustFctIn_HldCtl_StShoTrmReq = 1

THEN:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldShoTrmWithRollPrevn

ELSE:

CustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqNoReq

{
  "ID": "16663563.0",
  "ASIL": "  QM",
  "Text": "Calculation of output signal CustFctOut_HldCtl_StHldReq (merge of LongTerm- and ShortTerm-Hold)\n\r(LongTermHold)\n\rIF:\n\rCustFctIn_HldCtl_StLngTrmReq = 4\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqRls\n\rELSEIF:\n\rCustFctIn_HldCtl_StLngTrmReq = 3\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldDrvOff\n\rELSEIF:\n\rCustFctIn_HldCtl_StLngTrmReq = 1\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldLngTrm\n\r \n\r\n\r(ShortTermHold)\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 4\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqRls\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 3\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldDrvOff\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 2\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldShoTrmWoutRollPrevn\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 1\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldShoTrmWithRollPrevn\n\r \n\r\n\rELSE:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqNoReq",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346050.0",
  "Description": "Calculation of output signal CustFctOut_HldCtl_StHldReq (merge of LongTerm- and ShortTerm-Hold)\n\r(LongTermHold)\n\rIF:\n\rCustFctIn_HldCtl_StLngTrmReq = 4\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqRls\n\rELSEIF:\n\rCustFctIn_HldCtl_StLngTrmReq = 3\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldDrvOff\n\rELSEIF:\n\rCustFctIn_HldCtl_StLngTrmReq = 1\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldLngTrm\n\r \n\r\n\r(ShortTermHold)\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 4\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqRls\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 3\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldDrvOff\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 2\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldShoTrmWoutRollPrevn\n\rELSEIF:\n\rCustFctIn_HldCtl_StShoTrmReq = 1\n\rTHEN:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqHldShoTrmWithRollPrevn\n\r \n\r\n\rELSE:\n\rCustFctOut_HldCtl_StHldReq = VMMP_HMSHC_c_StHldReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Calculation of output signal CustFctOut_HldCtl_FlgHldTkovReq 

IF:

CustFctIn_HldCtl_StTkovReq = 1

THEN:

CustFctOut_HldCtl_FlgHldTkovReq = 1 (true)

ELSE:

CustFctOut_HldCtl_FlgHldTkovReq = 0 (false)

{
  "ID": "16663564.0",
  "ASIL": "  QM",
  "Text": "Calculation of output signal CustFctOut_HldCtl_FlgHldTkovReq \n\rIF:\n\rCustFctIn_HldCtl_StTkovReq = 1\n\rTHEN:\n\rCustFctOut_HldCtl_FlgHldTkovReq = 1 (true)\n\rELSE:\n\rCustFctOut_HldCtl_FlgHldTkovReq = 0 (false)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346053.0",
  "Description": "Calculation of output signal CustFctOut_HldCtl_FlgHldTkovReq \n\rIF:\n\rCustFctIn_HldCtl_StTkovReq = 1\n\rTHEN:\n\rCustFctOut_HldCtl_FlgHldTkovReq = 1 (true)\n\rELSE:\n\rCustFctOut_HldCtl_FlgHldTkovReq = 0 (false)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}