Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

IF [1] 

1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl

THEN:

LOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtl_APredTar

{
  "ID": "16654271.0",
  "ASIL": "  QM",
  "Text": "IF [1] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtl_APredTar",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1272927.0",
  "Description": "IF [1] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to TVCOP_s_LgtCtl_APredTar",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [OR(1,2)] 

1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl

2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff

THEN:

LOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc

{
  "ID": "16654272.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1272929.0",
  "Description": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [OR(1,2)] 

1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl

2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff

THEN:

LOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc

{
  "ID": "22440608.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [OR(1,2)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_APredTar is equal to LgtCtlD_AMinClc",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_StDeceCritMax

{
  "ID": "16654273.0",
  "ASIL": "  ",
  "Text": "LOCDC_s_LgtCtlV_StDeceCritMax",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_LgtCtlV_StDeceCritMax",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1272933.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQM

{
  "ID": "16654274.0",
  "ASIL": "  QM",
  "Text": "If not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQM",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1272935.0",
  "Description": "If not required differently in this chapter, LOCDC_s_LgtCtlV_StDeceCritMax is equal to VMMP_c_IdxSafeCritQM",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [OR(1,2,3)] 

1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl

2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl

3) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff

THEN:

LOCDC_s_LgtCtlV_StDeceCritMax is equal to ARBLLCSC_s_LgtCtl_StDeceCritMax

{
  "ID": "16654275.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1,2,3)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r3) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_StDeceCritMax is equal to ARBLLCSC_s_LgtCtl_StDeceCritMax",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1272939.0",
  "Description": "IF [OR(1,2,3)] \n\r1) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvTrjCtl\n\r2) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtl\n\r3) LOCDC_s_LgtCtlV_StAcv is equal to VMMP_LOCDC_c_StAcvDCtlDrvOff\n\rTHEN:\n\rLOCDC_s_LgtCtlV_StDeceCritMax is equal to ARBLLCSC_s_LgtCtl_StDeceCritMax",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_DRemArbSat

{
  "ID": "16654276.0",
  "ASIL": "  ",
  "Text": "LOCDC_s_DRemArbSat",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_DRemArbSat",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1247357.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]

1) TVCOP_s_LgtCtlD_FlgAcv is true 

THEN:

LOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44 and to the minimum value 0 

ELSE:

LOCDC_s_DRemArbSat is equal to LOCDL_s_DRem limited to the maximum value 20.44 and to the minimum value 0

{
  "ID": "16654277.0",
  "ASIL": "  QM",
  "Text": "IF [1]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\rTHEN:\n\rLOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44 and to the minimum value 0 \n\rELSE:\n\rLOCDC_s_DRemArbSat is equal to LOCDL_s_DRem limited to the maximum value 20.44 and to the minimum value 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1247361.0",
  "Description": "IF [1]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\rTHEN:\n\rLOCDC_s_DRemArbSat is equal to LgtCtlD_DRem limited to the maximum value 20.44 and to the minimum value 0 \n\rELSE:\n\rLOCDC_s_DRemArbSat is equal to LOCDL_s_DRem limited to the maximum value 20.44 and to the minimum value 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_StVldDRemArbSat

{
  "ID": "16654278.0",
  "ASIL": "  ",
  "Text": "LOCDC_s_StVldDRemArbSat",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_StVldDRemArbSat",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1247359.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter.

{
  "ID": "16654279.0",
  "ASIL": "  QM",
  "Text": "LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1247376.0",
  "Description": "LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldVld if not required differently in this chapter.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1) TVCOP_s_LgtCtlD_FlgAcv is true 

2) LgtCtlD_DRem 

is greater than 20.44

THEN:

LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut

{
  "ID": "16654280.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\r2) LgtCtlD_DRem \n\ris greater than 20.44\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1247366.0",
  "Description": "IF [AND(1,2)]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is true \n\r2) LgtCtlD_DRem \n\ris greater than 20.44\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,OR(2,3))]

1) TVCOP_s_LgtCtlD_FlgAcv is not true

2) LOCDL_s_DRem

is greater than 20.44 

3) LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut

THEN:

LOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut

{
  "ID": "16654281.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,OR(2,3))]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is not true\n\r2) LOCDL_s_DRem\n\ris greater than 20.44 \n\r3) LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1247378.0",
  "Description": "IF [AND(1,OR(2,3))]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is not true\n\r2) LOCDL_s_DRem\n\ris greater than 20.44 \n\r3) LOCDL_s_StVldDRem is equal to VMMP_c_StVldOut_StVldNeut\n\rTHEN:\n\rLOCDC_s_StVldDRemArbSat is equal to VMMP_c_StVldOut_StVldNeut",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_LoV

{
  "ID": "16654282.0",
  "ASIL": "  ",
  "Text": "LOCDC_s_LgtCtlV_LoV",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_LgtCtlV_LoV",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1356199.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true

2.) TVCOP_s_LgtCtlD_FlgAcv is true

3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV

 and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table

 Input: VSOEM_s_VLgtVehCor

 Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh

 Parameter Output-Axis: VMMP_LOCDC_p1_AMin

4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01

THEN: 

FlgTrigLoV is true

ELSE:

FlgTrigLoV is false

Threshold for Protected Division = 0.001

{
  "ID": "16654284.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1356211.0",
  "Description": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) FlgTrigLoV is true

THEN: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true

ELSE: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false

{
  "ID": "16654285.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1356203.0",
  "Description": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) LgtCtlV_FlgAcvStopLoV is true

THEN: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV must be true

ELSE: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV must be false

{
  "ID": "22442244.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

FlgTrigLoV is true

THEN: 

 IF [3]

 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi

 THEN: 

 LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi

 ELSE:

 LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1

ELSE:

LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft

{
  "ID": "16654286.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1356205.0",
  "Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDec

{
  "ID": "22444238.0",
  "ASIL": "  QM",
  "Text": "LOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDec",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "LOCDC_s_LgtCtlV_AGrdMaxDecLoV must be equal to AGrdMaxDec",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

FlgTrigLoV is true

THEN: 

LOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table

 Input: VSOEM_s_VLgtVehCor

 Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh

 Parameter Output-axis: VMMP_LOCDC_p1_AMin

{
  "ID": "16654287.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1356207.0",
  "Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

LOCDC_s_LgtCtlV_FlgAcvStopLoV is true

THEN: 

LOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd 

ELSE:

LOCDC_s_LgtCtlV_ADmdLoV must be equal to VMMP_LOC_c_LimA_ADft

{
  "ID": "22442274.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to VMMP_LOC_c_LimA_ADft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdLoV must be equal to VMMP_LOC_c_LimA_ADft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_DCtl

{
  "ID": "36618905.0",
  "ASIL": "  ",
  "Text": "LOCDC_s_LgtCtlV_DCtl",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_LgtCtlV_DCtl",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true

2.) TVCOP_s_LgtCtlD_FlgAcv is true

3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV

 and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table

 Input: VSOEM_s_VLgtVehCor

 Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh

 Parameter Output-Axis: VMMP_LOCDC_p1_AMin

4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01

THEN: 

FlgTrigLoV is true

ELSE:

FlgTrigLoV is false

Threshold for Protected Division = 0.001

{
  "ID": "36618906.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[AND(1,2,3,4)]\n\r1.) VMMP_LOCDC_p_SwtDStopCtlLoV is true\n\r2.) TVCOP_s_LgtCtlD_FlgAcv is true\n\r3.) DRem is smaller than the sum of VMMP_LOCDC_p_DCmpLoV\n\r and (the squere of VSOEM_s_VLgtVehCor divided by the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-Axis: VMMP_LOCDC_p1_AMin\n\r4.) LOCDC_m_LgtCtlD_D1 is smaller than 0 (zero) ORLOCDC_m_LgtCtlD_D2 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_D3 is smaller than 0 (zero) OR LOCDC_m_LgtCtlD_VLgt3 is smaller than -0.01\n\rTHEN: \n\rFlgTrigLoV is true\n\rELSE:\n\rFlgTrigLoV is false\n\r \n\rThreshold for Protected Division = 0.001",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) FlgTrigLoV is true

THEN: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true

ELSE: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false

{
  "ID": "36618907.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\r1.) FlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV shall be false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) LgtCtlV_FlgAcvStopLoV is true

THEN: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV must be true

ELSE: 

LOCDC_s_LgtCtlV_FlgAcvStopLoV must be false

{
  "ID": "36618908.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\r1.) LgtCtlV_FlgAcvStopLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be true\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgAcvStopLoV must be false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

FlgTrigLoV is true

THEN: 

 IF [3]

 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi

 THEN: 

 LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi

 ELSE:

 LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1

ELSE:

LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft

{
  "ID": "36618909.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\r IF [3]\n\r 3.) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_VThAGrdHi\n\r THEN: \n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1Hi\n\r ELSE:\n\r LOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOCDC_p_AGrd1\n\rELSE:\n\rLOCDC_s_LgtCtlV_AGrdMaxDecLoV shall be VMMP_LOC_c_CtlA_AGrdDecDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

FlgTrigLoV is true

THEN: 

LOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table

 Input: VSOEM_s_VLgtVehCor

 Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh

 Parameter Output-axis: VMMP_LOCDC_p1_AMin

{
  "ID": "36618911.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\rFlgTrigLoV is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdLoV shall be equal to the Look-Up-Table\n\r Input: VSOEM_s_VLgtVehCor\n\r Parameter Input-axis: VMMP_LOCDC_px_VLgtVeh\n\r Parameter Output-axis: VMMP_LOCDC_p1_AMin",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1)LgtCtlV_FlgAcvStopDCtl is true

THEN: 

LOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd 

ELSE:

LOCDC_s_LgtCtlV_ADmdDCtl must be equal to VMMP_LOC_c_LimA_ADft

{
  "ID": "36618912.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1)LgtCtlV_FlgAcvStopDCtl is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to VMMP_LOC_c_LimA_ADft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]\n\r1)LgtCtlV_FlgAcvStopDCtl is true\n\rTHEN: \n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to LgtCtlD_ADmd \n\rELSE:\n\rLOCDC_s_LgtCtlV_ADmdDCtl must be equal to VMMP_LOC_c_LimA_ADft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_FlgCnclDrvOff

{
  "ID": "16654288.0",
  "ASIL": "  QM",
  "Text": "LOCDC_s_LgtCtlV_FlgCnclDrvOff",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_LgtCtlV_FlgCnclDrvOff",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1510639.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF AND [1, 2, 3, OR (4, 5)]

1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. 

2) TVCOP_s_LgtCtlD_FlgAcv is true. 

3) LgtCtlD_DRem is smaller than or equal to MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) 

4) the by one computation cycle delayed signal VSOEM_s_StSdsl is equal to VMMP_VSOEM_c_StSdslSdsl. 

5) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_LgtCtlD_VThSdslCnclDrvOff.

THEN:

FlgCnclDrvOffSet is true.

ELSE:

FlgCnclDrvOffSet is false.

{
  "ID": "16654289.0",
  "ASIL": "  QM",
  "Text": "IF AND [1, 2, 3, OR (4, 5)]\n\r1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. \n\r2) TVCOP_s_LgtCtlD_FlgAcv is true. \n\r3) LgtCtlD_DRem is smaller than or equal to MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r4) the by one computation cycle delayed signal VSOEM_s_StSdsl is equal to VMMP_VSOEM_c_StSdslSdsl. \n\r5) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_LgtCtlD_VThSdslCnclDrvOff.\n\rTHEN:\n\rFlgCnclDrvOffSet is true.\n\rELSE:\n\rFlgCnclDrvOffSet is false.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1511285.0",
  "Description": "IF AND [1, 2, 3, OR (4, 5)]\n\r1) VMMP_LOCDC_p_LgtCtlD_SwtCnclDrvOff is true. \n\r2) TVCOP_s_LgtCtlD_FlgAcv is true. \n\r3) LgtCtlD_DRem is smaller than or equal to MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r4) the by one computation cycle delayed signal VSOEM_s_StSdsl is equal to VMMP_VSOEM_c_StSdslSdsl. \n\r5) VSOEM_s_VLgtVehCor is smaller than or equal to VMMP_LOCDC_p_LgtCtlD_VThSdslCnclDrvOff.\n\rTHEN:\n\rFlgCnclDrvOffSet is true.\n\rELSE:\n\rFlgCnclDrvOffSet is false.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF OR [1, AND(2, 3), 4, 5]

1) TVCOP_s_LgtCtlD_FlgAcv is false. 

2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) 

3) TVCOP_s_LgtCtlD_FlgUpd is true. 

4) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true. 

5) LgtCtlD_FlgChg is true.

THEN:

FlgCnclDrvOffRst is true.

ELSE:

FlgCnclDrvOffRst is false.

{
  "ID": "16654290.0",
  "ASIL": "  QM",
  "Text": "IF OR [1, AND(2, 3), 4, 5]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true. \n\r5) LgtCtlD_FlgChg is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1511287.0",
  "Description": "IF OR [1, AND(2, 3), 4, 5]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LOCDC_s_LgtCtlV_FlgAcvStopLoV is true. \n\r5) LgtCtlD_FlgChg is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1) TVCOP_s_LgtCtlD_FlgAcv is false. 

2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) 

3) TVCOP_s_LgtCtlD_FlgUpd is true. 

4) LgtCtlV_FlgAcvStopDCtl is true.

THEN:

FlgCnclDrvOffRst is true.

ELSE:

FlgCnclDrvOffRst is false.

{
  "ID": "36738075.0",
  "ASIL": "  QM",
  "Text": "IF OR [1, AND(2, 3), 4]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LgtCtlV_FlgAcvStopDCtl is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF OR [1, AND(2, 3), 4]\n\r1) TVCOP_s_LgtCtlD_FlgAcv is false. \n\r2) LgtCtlD_DRem is greater than MAX (TVCOP_s_LgtCtlD_DTlrLo, VMMP_LOCDC_p_LgtCtlD_DMinTlrLo) \n\r3) TVCOP_s_LgtCtlD_FlgUpd is true. \n\r4) LgtCtlV_FlgAcvStopDCtl is true.\n\rTHEN:\n\rFlgCnclDrvOffRst is true.\n\rELSE:\n\rFlgCnclDrvOffRst is false.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF OR[AND(1,2), AND(2,3)]

1)FlgCnclDrvOffSet is true.

2)FlgCnclDrvOffRst is false.

3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true in the previous computation cycle.

THEN: 

LOCDC_s_LgtCtlV_FlgCnclDrvOff is true.

ELSE: 

LOCDC_s_LgtCtlV_FlgCnclDrvOff is false.

{
  "ID": "16654291.0",
  "ASIL": "  QM",
  "Text": "IF OR[AND(1,2), AND(2,3)]\n\r1)FlgCnclDrvOffSet is true.\n\r2)FlgCnclDrvOffRst is false.\n\r3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true in the previous computation cycle.\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is true.\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is false.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1511313.0",
  "Description": "IF OR[AND(1,2), AND(2,3)]\n\r1)FlgCnclDrvOffSet is true.\n\r2)FlgCnclDrvOffRst is false.\n\r3)LOCDC_s_LgtCtlV_FlgCnclDrvOff was true in the previous computation cycle.\n\rTHEN: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is true.\n\rELSE: \n\rLOCDC_s_LgtCtlV_FlgCnclDrvOff is false.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_AGrdMaxDecDCtl

{
  "ID": "36590821.0",
  "ASIL": "  ",
  "Text": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl",
  "Type": "Folder",
  "Status": "",
  "Summary": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF[1]:

1)LgtCtlD_FlgUpd is true

THEN:

AGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)

ELSE:

AGrdMaxDecDyn is equal to ((LgtCtlD_ADmd - LgtCtlD_ADmdDly)*VMMP_c_FrqSmpl + VMMP_LOCDC_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDC_p_LgtCtlD_FacAGrdDecDyn

{
  "ID": "55468010.0",
  "ASIL": "  QM",
  "Text": "IF[1]:\n\r1)LgtCtlD_FlgUpd is true\n\rTHEN:\n\rAGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)\n\rELSE:\n\rAGrdMaxDecDyn is equal to ((LgtCtlD_ADmd - LgtCtlD_ADmdDly)*VMMP_c_FrqSmpl + VMMP_LOCDC_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDC_p_LgtCtlD_FacAGrdDecDyn",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[1]:\n\r1)LgtCtlD_FlgUpd is true\n\rTHEN:\n\rAGrdMaxDecDyn is equal to AGrdMaxDecDym from the last computation cycle.(Initial value:0)\n\rELSE:\n\rAGrdMaxDecDyn is equal to ((LgtCtlD_ADmd - LgtCtlD_ADmdDly)*VMMP_c_FrqSmpl + VMMP_LOCDC_p_LgtCtlD_AGrdMaxDecOfsDyn)*VMMP_LOCDC_p_LgtCtlD_FacAGrdDecDyn",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)

{
  "ID": "36618910.0",
  "ASIL": "  QM",
  "Text": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl must be equal to MIN(AGrdMaxDec,AGrdMaxDecDyn)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties

Input: (x-axis) LgtCtlD_ADmdDly on VMMP_LOCDC_px_ADmdAGrdMaxDec

Output: (y-axis) VMMP_LOCDC_p1_AGrdMaxDec

{
  "ID": "36590911.0",
  "ASIL": "  QM",
  "Text": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties\n\rInput: (x-axis) LgtCtlD_ADmdDly on VMMP_LOCDC_px_ADmdAGrdMaxDec\n\rOutput: (y-axis) VMMP_LOCDC_p1_AGrdMaxDec",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "LOCDC_s_LgtCtlV_AGrdMaxDecDCtl is the output of the Look-Up-Table with following properties\n\rInput: (x-axis) LgtCtlD_ADmdDly on VMMP_LOCDC_px_ADmdAGrdMaxDec\n\rOutput: (y-axis) VMMP_LOCDC_p1_AGrdMaxDec",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(OR(1,2),3] 

1) DRem is smaller than or equal to DToStop

2) LOCDL_FlgAcvLimD was true in the previous computation cycle

3) FlgReqAcv is true in den current computation cycle

THEN:

LOCDL_FlgAcvLimD is true

ELSE:

LOCDL_FlgAcvLimD is not true

{
  "ID": "22425561.0",
  "ASIL": "  QM",
  "Text": "IF[AND(OR(1,2),3] \n\r1) DRem is smaller than or equal to DToStop\n\r2) LOCDL_FlgAcvLimD was true in the previous computation cycle\n\r3) FlgReqAcv is true in den current computation cycle\n\rTHEN:\n\rLOCDL_FlgAcvLimD is true\n\rELSE:\n\rLOCDL_FlgAcvLimD is not true",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[AND(OR(1,2),3] \n\r1) DRem is smaller than or equal to DToStop\n\r2) LOCDL_FlgAcvLimD was true in the previous computation cycle\n\r3) FlgReqAcv is true in den current computation cycle\n\rTHEN:\n\rLOCDL_FlgAcvLimD is true\n\rELSE:\n\rLOCDL_FlgAcvLimD is not true",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}