Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

next_workstep of LOCVL = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))

{
  "ID": "16651931.0",
  "ASIL": "  QM",
  "Text": "next_workstep of LOCVL = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215388.0",
  "Description": "next_workstep of LOCVL = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

gradient

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

gradient is the maximum of LOCVL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter

{
  "ID": "16651933.0",
  "ASIL": "  QM",
  "Text": "gradient is the maximum of LOCVL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215390.0",
  "Description": "gradient is the maximum of LOCVL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) LgtLimA_ARef is smaller than *ATarMdTarDynLim

2.) demand is greater than LgtLimA_ARef

3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy

{
  "ID": "16651934.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215391.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) LgtLimA_ARef is smaller than *ATarMdTarDynLim

2.) demand is greater than LgtLimA_ARef

3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft

{
  "ID": "16651935.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215392.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is smaller than *ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

negative gradient

{
  "ID": "16651936.0",
  "ASIL": "  ",
  "Text": "negative gradient",
  "Type": "Folder",
  "Status": "",
  "Summary": "negative gradient",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215383.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) demand is less than ASOPOT_s_ATqDmd

THEN: 

This chapter negative gradient is valid

{
  "ID": "16651937.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) demand is less than ASOPOT_s_ATqDmd\n\rTHEN: \n\rThis chapter negative gradient is valid",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215394.0",
  "Description": "IF[1]\n\r1.) demand is less than ASOPOT_s_ATqDmd\n\rTHEN: \n\rThis chapter negative gradient is valid",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

gradient

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

gradient is the minimum of LOCVL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter

{
  "ID": "16651939.0",
  "ASIL": "  QM",
  "Text": "gradient is the minimum of LOCVL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215396.0",
  "Description": "gradient is the minimum of LOCVL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) LgtLimA_ARef is greater than *ATarMdTarDynLim

2.) demand is smaller than LgtLimA_ARef

3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy

{
  "ID": "16651940.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215397.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) LgtLimA_ARef is greater than *ATarMdTarDynLim

2.) demand is smaller than LgtLimA_ARef

3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft

{
  "ID": "16651941.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215398.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) LgtLimA_ARef is greater than *ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) LOCVL_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct\n\rTHEN: \n\rgradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

next_workstep of ARB = Max(demand; LgtLimA_ARef + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))

{
  "ID": "16651942.0",
  "ASIL": "  QM",
  "Text": "next_workstep of ARB = Max(demand; LgtLimA_ARef + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215395.0",
  "Description": "next_workstep of ARB = Max(demand; LgtLimA_ARef + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

final Lim_arbitration

{
  "ID": "16651943.0",
  "ASIL": "  ",
  "Text": "final Lim_arbitration",
  "Type": "Folder",
  "Status": "",
  "Summary": "final Lim_arbitration",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1224197.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

2.) FlgRollBkCtlArb is false

3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

4.) LOCVL_s_LgtLimA_FlgAcv is false

5.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false

THEN:

Lim_arbitration = ARB

{
  "ID": "16651944.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3,OR(4,5))]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r4.) LOCVL_s_LgtLimA_FlgAcv is false\n\r5.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false\n\rTHEN:\n\rLim_arbitration = ARB",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1224396.0",
  "Description": "IF[AND(1,2,3,OR(4,5))]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r4.) LOCVL_s_LgtLimA_FlgAcv is false\n\r5.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false\n\rTHEN:\n\rLim_arbitration = ARB",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) ARBLGLSCA_s_LgtLimA_FlgAcv is false

2.) FlgRollBkCtlArb is true

3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false

4.) LOCVL_s_LgtLimA_FlgAcv is true

5.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

THEN:

Lim_arbitration = LOCVL

{
  "ID": "16651945.0",
  "ASIL": "  QM",
  "Text": "IF[AND(OR(1,2,3),4,5)]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false\n\r4.) LOCVL_s_LgtLimA_FlgAcv is true\n\r5.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration = LOCVL",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1224398.0",
  "Description": "IF[AND(OR(1,2,3),4,5)]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false\n\r4.) LOCVL_s_LgtLimA_FlgAcv is true\n\r5.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration = LOCVL",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) next_workstep of ARB is smaller then next_workstep of LOCVL 

2.) LgtLimA_ARef is greater than next_workstep of ARB 

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

4.) FlgRollBkCtlArb is false

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

6.) LOCVL_s_LgtLimA_FlgAcv is true

7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

THEN:

Lim_arbitration = ARB

{
  "ID": "16651946.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1,2,AND(3,4),5,6,7)]\n\r1.) next_workstep of ARB is smaller then next_workstep of LOCVL \n\r2.) LgtLimA_ARef is greater than next_workstep of ARB \n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) LOCVL_s_LgtLimA_FlgAcv is true\n\r7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration = ARB",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1213147.0",
  "Description": "IF [OR(1,2,AND(3,4),5,6,7)]\n\r1.) next_workstep of ARB is smaller then next_workstep of LOCVL \n\r2.) LgtLimA_ARef is greater than next_workstep of ARB \n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) LOCVL_s_LgtLimA_FlgAcv is true\n\r7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration = ARB",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) next_workstep of LOCVL is smaller then next_workstep of ARB 

2.) LgtLimA_ARef is greater than next_workstep of LOCVL 

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

4.) FlgRollBkCtlArb is false

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

6.) LOCVL_s_LgtLimA_FlgAcv is true

7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

THEN:

Lim_arbitration = LOCVL

{
  "ID": "16651947.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,AND(3,4),5,6,7)] \n\r1.) next_workstep of LOCVL is smaller then next_workstep of ARB \n\r2.) LgtLimA_ARef is greater than next_workstep of LOCVL \n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) LOCVL_s_LgtLimA_FlgAcv is true\n\r7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration = LOCVL",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1213149.0",
  "Description": "IF [AND(1,2,AND(3,4),5,6,7)] \n\r1.) next_workstep of LOCVL is smaller then next_workstep of ARB \n\r2.) LgtLimA_ARef is greater than next_workstep of LOCVL \n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) LOCVL_s_LgtLimA_FlgAcv is true\n\r7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration = LOCVL",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LgtLimA_ARef is smaller then next_workstep of LOCVL 

2.) LgtLimA_ARef is smaller then next_workstep of ARB 

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

4.) FlgRollBkCtlArb is false

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

6.) LOCVL_s_LgtLimA_FlgAcv is true

7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

THEN:

Lim_arbitration stays at its last value and the last signal cluster stays arbitrated

(no other function will be arbitrated)

{
  "ID": "16651948.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,AND(3,4),5,6,7)]\n\r1.) LgtLimA_ARef is smaller then next_workstep of LOCVL \n\r2.) LgtLimA_ARef is smaller then next_workstep of ARB \n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) LOCVL_s_LgtLimA_FlgAcv is true\n\r7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration stays at its last value and the last signal cluster stays arbitrated\n\r(no other function will be arbitrated)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215279.0",
  "Description": "IF[AND(1,2,AND(3,4),5,6,7)]\n\r1.) LgtLimA_ARef is smaller then next_workstep of LOCVL \n\r2.) LgtLimA_ARef is smaller then next_workstep of ARB \n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) LOCVL_s_LgtLimA_FlgAcv is true\n\r7.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rLim_arbitration stays at its last value and the last signal cluster stays arbitrated\n\r(no other function will be arbitrated)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtLimA - Arb

{
  "ID": "16651949.0",
  "ASIL": "  ",
  "Text": "LgtLimA - Arb",
  "Type": "Folder",
  "Status": "",
  "Summary": "LgtLimA - Arb",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1213141.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

2.) FlgRollBkCtlArb is false

3) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

4.) Lim_arbitration is ARB 

THEN: 

This chapter LgtLimA - Arb is valid

{
  "ID": "16651951.0",
  "ASIL": "  QM",
  "Text": "IF [AND[1,2,3,4]]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r4.) Lim_arbitration is ARB \n\rTHEN: \n\rThis chapter LgtLimA - Arb is valid",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1213156.0",
  "Description": "IF [AND[1,2,3,4]]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r4.) Lim_arbitration is ARB \n\rTHEN: \n\rThis chapter LgtLimA - Arb is valid",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_FlgAcv shall be true

{
  "ID": "16651952.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_FlgAcv shall be true",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214480.0",
  "Description": "LOCAA_s_LgtLimA_FlgAcv shall be true",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_ADmd shall show the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651953.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_ADmd shall show the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214482.0",
  "Description": "LOCAA_s_LgtLimA_ADmd shall show the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_ATlrHiDyn shall show the value of the or ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor

(with *ATlrHiDyn = ARBLGLSCA_LgtLimA_ATlrHiDynCor,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651954.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_ATlrHiDyn shall show the value of the or ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor\n\r(with *ATlrHiDyn = ARBLGLSCA_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214488.0",
  "Description": "LOCAA_s_LgtLimA_ATlrHiDyn shall show the value of the or ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor\n\r(with *ATlrHiDyn = ARBLGLSCA_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_AGrdMaxDec shall show the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16651955.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_AGrdMaxDec shall show the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214484.0",
  "Description": "LOCAA_s_LgtLimA_AGrdMaxDec shall show the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16651956.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214486.0",
  "Description": "LOCAA_s_LgtLimA_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_MdTarDyn shall show the value of ARBLGCSC_s_LgtLimA_MdTarDyn

{
  "ID": "16651957.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_MdTarDyn shall show the value of ARBLGCSC_s_LgtLimA_MdTarDyn",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214490.0",
  "Description": "LOCAA_s_LgtLimA_MdTarDyn shall show the value of ARBLGCSC_s_LgtLimA_MdTarDyn",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_StDeceLim

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

IF[1]

1.) ASOTA_s_IdxTqCordDmd shows VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter

THEN: 

This chapter LOCAA_s_StDeceLim is valid

{
  "ID": "16651959.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd shows VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\rTHEN: \n\rThis chapter LOCAA_s_StDeceLim is valid",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214836.0",
  "Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd shows VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\rTHEN: \n\rThis chapter LOCAA_s_StDeceLim is valid",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) ARBLGLSCA_s_LgtLimA_ADmd is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651960.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) ARBLGLSCA_s_LgtLimA_ADmd is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214840.0",
  "Description": "IF[1] \n\r1.) ARBLGLSCA_s_LgtLimA_ADmd is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) ARBLGCSC_s_LgtLimA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtLimA_APredTar

(with *APredTar = ARBLGCSC_s_LgtLimA_APredTar

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651961.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtLimA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtLimA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtLimA_APredTar\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214842.0",
  "Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtLimA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtLimA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtLimA_APredTar\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) ARBLGLSCA_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ATlrHiTar

(with *ATlrHiTar = ARBLGLSCA_s_LgtLimA_ATlrHiTar

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651962.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) ARBLGLSCA_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ATlrHiTar\n\r(with *ATlrHiTar = ARBLGLSCA_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214844.0",
  "Description": "IF[1] \n\r1.) ARBLGLSCA_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ATlrHiTar\n\r(with *ATlrHiTar = ARBLGLSCA_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) ARBLGLSCA_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ATlrHiDyn

(with *ATlHiDyn = ARBLGLSCA_s_LgtLimA_ATlrHiDyn

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651963.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) ARBLGLSCA_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ATlrHiDyn\n\r(with *ATlHiDyn = ARBLGLSCA_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214846.0",
  "Description": "IF[1] \n\r1.) ARBLGLSCA_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGLSCA_s_LgtLimA_ATlrHiDyn\n\r(with *ATlHiDyn = ARBLGLSCA_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtLimA - LOCVL

{
  "ID": "16651964.0",
  "ASIL": "  ",
  "Text": "LgtLimA - LOCVL",
  "Type": "Folder",
  "Status": "",
  "Summary": "LgtLimA - LOCVL",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1213143.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND[1,2,3]]

1.) LOCVL_s_LgtLimA_FlgAcv is true

2) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

3.) Lim_arbitration is LOCVL 

THEN: 

This chapter LgtLimA - LOCVL is valid

{
  "ID": "16651965.0",
  "ASIL": "  QM",
  "Text": "IF [AND[1,2,3]]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) Lim_arbitration is LOCVL \n\rTHEN: \n\rThis chapter LgtLimA - LOCVL is valid",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1213158.0",
  "Description": "IF [AND[1,2,3]]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) Lim_arbitration is LOCVL \n\rTHEN: \n\rThis chapter LgtLimA - LOCVL is valid",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_FlgAcv shall be true

{
  "ID": "16651966.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_FlgAcv shall be true",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213160.0",
  "Description": "LOCAA_s_LgtLimA_FlgAcv shall be true",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_ADmd shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ADmdCor

(with *ADmd = LOCVL_LgtLimA_ADmdCor,

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651967.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_ADmd shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ADmdCor\n\r(with *ADmd = LOCVL_LgtLimA_ADmdCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213162.0",
  "Description": "LOCAA_s_LgtLimA_ADmd shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ADmdCor\n\r(with *ADmd = LOCVL_LgtLimA_ADmdCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_ATlrHiDyn shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor

(with *ATlrHiDyn = LOCVL_LgtLimA_ATlrHiDynCor,

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651968.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_ATlrHiDyn shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor\n\r(with *ATlrHiDyn = LOCVL_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213168.0",
  "Description": "LOCAA_s_LgtLimA_ATlrHiDyn shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor\n\r(with *ATlrHiDyn = LOCVL_LgtLimA_ATlrHiDynCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_AGrdMaxDec shall show the minimum of LOCVL_s_LgtLimA_AGrdMaxDec and and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16651969.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_AGrdMaxDec shall show the minimum of LOCVL_s_LgtLimA_AGrdMaxDec and and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213164.0",
  "Description": "LOCAA_s_LgtLimA_AGrdMaxDec shall show the minimum of LOCVL_s_LgtLimA_AGrdMaxDec and and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_AGrdMaxInc shall show the maximum of LOCVL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16651970.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_AGrdMaxInc shall show the maximum of LOCVL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213166.0",
  "Description": "LOCAA_s_LgtLimA_AGrdMaxInc shall show the maximum of LOCVL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_MdTarDyn shall show the value of LOCVL_s_LgtLimA_MdTarDyn

{
  "ID": "16651971.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_MdTarDyn shall show the value of LOCVL_s_LgtLimA_MdTarDyn",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213170.0",
  "Description": "LOCAA_s_LgtLimA_MdTarDyn shall show the value of LOCVL_s_LgtLimA_MdTarDyn",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_StDeceLim

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

IF[(1)]

1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter

THEN:

this chapter LOCAA_s_StDeceLim is true

{
  "ID": "16651973.0",
  "ASIL": "  QM",
  "Text": "IF[(1)]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is true",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214848.0",
  "Description": "IF[(1)]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCLimiter\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is true",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCVL_LgtLimA_ADmdCor

(with *ADmd = LOCVL_LgtLimA_ADmdCor

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

2.) LOCVL_s_LgtLimA_ADmd is smaller then ASOPOT_s_ANeutTh

3.) FlgVLAcceOnly is true

4.) 

LOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651974.0",
  "ASIL": "  QM",
  "Text": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCVL_LgtLimA_ADmdCor\n\r(with *ADmd = LOCVL_LgtLimA_ADmdCor\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_ADmd is smaller then ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4.) \n\rLOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214850.0",
  "Description": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCVL_LgtLimA_ADmdCor\n\r(with *ADmd = LOCVL_LgtLimA_ADmdCor\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_ADmd is smaller then ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4.) \n\rLOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCVL_LgtLimA_APredTarCor

(with *APredTar = LOCVL_LgtLimA_APredTarCor

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

2.) LOCVL_s_LgtLimA_APredTar is smaller then ASOPOT_s_ANeutTh

3.) FlgVLAcceOnly is true

4.) 

LOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651975.0",
  "ASIL": "  QM",
  "Text": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCVL_LgtLimA_APredTarCor\n\r(with *APredTar = LOCVL_LgtLimA_APredTarCor\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_APredTar is smaller then ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4.) \n\rLOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214852.0",
  "Description": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCVL_LgtLimA_APredTarCor\n\r(with *APredTar = LOCVL_LgtLimA_APredTarCor\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_APredTar is smaller then ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4.) \n\rLOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCVL_s_LgtLimA_ATlrHiTar

(with *ATlrHiTar = LOCVL_s_LgtLimA_ATlrHiTar

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

2.) LOCVL_s_LgtLimA_ATlrHiTar is smaller than ASOPOT_s_ANeutTh

3.) FlgVLAcceOnly is true

4) LOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651976.0",
  "ASIL": "  QM",
  "Text": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCVL_s_LgtLimA_ATlrHiTar\n\r(with *ATlrHiTar = LOCVL_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_ATlrHiTar is smaller than ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4) LOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214854.0",
  "Description": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCVL_s_LgtLimA_ATlrHiTar\n\r(with *ATlrHiTar = LOCVL_s_LgtLimA_ATlrHiTar\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_ATlrHiTar is smaller than ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4) LOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCVL_s_LgtLimA_ATlrHiDyn

(with *ATlrHiDyn = LOCVL_s_LgtLimA_ATlrHiDyn

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

2.) LOCVL_s_LgtLimA_ATlrHiDyn is smaller then ASOPOT_s_ANeutTh

3.) FlgVLAcceOnly is true

4) 

LOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim

{
  "ID": "16651977.0",
  "ASIL": "  QM",
  "Text": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCVL_s_LgtLimA_ATlrHiDyn\n\r(with *ATlrHiDyn = LOCVL_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_ATlrHiDyn is smaller then ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4) \n\rLOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214856.0",
  "Description": "IF[OR(1,AND(2,3,4))] \n\r1.) LOCVL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCVL_s_LgtLimA_ATlrHiDyn\n\r(with *ATlrHiDyn = LOCVL_s_LgtLimA_ATlrHiDyn\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\r2.) LOCVL_s_LgtLimA_ATlrHiDyn is smaller then ASOPOT_s_ANeutTh\n\r3.) FlgVLAcceOnly is true\n\r4) \n\rLOCVL_s_LgtLimA_StDeceCritMax is smaller than VMMP_c_IdxSafeCritASILC\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_APredTar

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

LOCAA_s_LgtLimA_APredTar shall show the value of VMMP_LOC_c_LimA_ADft, if not required differently in this chapter LOCAA_s_LgtLimA_APredTar

{
  "ID": "16651979.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_APredTar shall show the value of VMMP_LOC_c_LimA_ADft, if not required differently in this chapter LOCAA_s_LgtLimA_APredTar",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214500.0",
  "Description": "LOCAA_s_LgtLimA_APredTar shall show the value of VMMP_LOC_c_LimA_ADft, if not required differently in this chapter LOCAA_s_LgtLimA_APredTar",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) VMMP_p_SwtAPredTarLgtLimMin is true

THEN: 

LOCAA_s_LgtLimA_APredTar shall show the minimum of the ASIL-limited signal LOCVL_LgtLimA_APredTarCor

(with *APredTar = LOCVL_LgtLimA_APredTarCor,

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

and ARBLGLSCA_LgtLimA_APredTarCor

{
  "ID": "16651980.0",
  "ASIL": "  QM",
  "Text": "IF[1]\n\r1.) VMMP_p_SwtAPredTarLgtLimMin is true\n\rTHEN: \n\rLOCAA_s_LgtLimA_APredTar shall show the minimum of the ASIL-limited signal LOCVL_LgtLimA_APredTarCor\n\r(with *APredTar = LOCVL_LgtLimA_APredTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\rand ARBLGLSCA_LgtLimA_APredTarCor",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213174.0",
  "Description": "IF[1]\n\r1.) VMMP_p_SwtAPredTarLgtLimMin is true\n\rTHEN: \n\rLOCAA_s_LgtLimA_APredTar shall show the minimum of the ASIL-limited signal LOCVL_LgtLimA_APredTarCor\n\r(with *APredTar = LOCVL_LgtLimA_APredTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\rand ARBLGLSCA_LgtLimA_APredTarCor",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

3.) VMMP_p_SwtAPredTarLgtLimMin is false

4.) ARBLGLSCA_s_LgtLimA_FlgAcv is false

5.) FlgRollBkCtlArb is true

6.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false

THEN: 

LOCAA_s_LgtLimA_APredTar shall show the value of the ASIL-limited signal LOCVL_LgtLimA_APredTarCor

(with *APredTart= LOCVL_LgtLimA_APredTarCor,

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651981.0",
  "ASIL": "  QM",
  "Text": "IF[ AND(1,2,3,OR(4,5,6))]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) VMMP_p_SwtAPredTarLgtLimMin is false\n\r4.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r5.) FlgRollBkCtlArb is true\n\r6.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false\n\rTHEN: \n\rLOCAA_s_LgtLimA_APredTar shall show the value of the ASIL-limited signal LOCVL_LgtLimA_APredTarCor\n\r(with *APredTart= LOCVL_LgtLimA_APredTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214494.0",
  "Description": "IF[ AND(1,2,3,OR(4,5,6))]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) VMMP_p_SwtAPredTarLgtLimMin is false\n\r4.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r5.) FlgRollBkCtlArb is true\n\r6.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false\n\rTHEN: \n\rLOCAA_s_LgtLimA_APredTar shall show the value of the ASIL-limited signal LOCVL_LgtLimA_APredTarCor\n\r(with *APredTart= LOCVL_LgtLimA_APredTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_FlgAcv is false

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

4.) FlgRollBkCtlArb is false

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

6.) VMMP_p_SwtAPredTarLgtLimMin is false

THEN: 

LOCAA_s_LgtLimA_APredTar shall show the value of the ASIL-limited signal ARBLGCSC_s_LgtLimA_APredTar

(with *APredTar = ARBLGCSC_s_LgtLimA_APredTar,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651982.0",
  "ASIL": "  QM",
  "Text": "IF[ AND(OR(1,2),3,4,5,6)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is false\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) VMMP_p_SwtAPredTarLgtLimMin is false\n\rTHEN: \n\rLOCAA_s_LgtLimA_APredTar shall show the value of the ASIL-limited signal ARBLGCSC_s_LgtLimA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtLimA_APredTar,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214498.0",
  "Description": "IF[ AND(OR(1,2),3,4,5,6)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is false\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\r6.) VMMP_p_SwtAPredTarLgtLimMin is false\n\rTHEN: \n\rLOCAA_s_LgtLimA_APredTar shall show the value of the ASIL-limited signal ARBLGCSC_s_LgtLimA_APredTar\n\r(with *APredTar = ARBLGCSC_s_LgtLimA_APredTar,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_ATlrHiTar

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

LOCAA_s_LgtLimA_ATlrHiTar shall show the value of VMMP_LOC_c_LimA_ADft, if not required differently in this chapter LOCAA_s_LgtLimA_ATlrHiTar

{
  "ID": "16651984.0",
  "ASIL": "  QM",
  "Text": "LOCAA_s_LgtLimA_ATlrHiTar shall show the value of VMMP_LOC_c_LimA_ADft, if not required differently in this chapter LOCAA_s_LgtLimA_ATlrHiTar",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214502.0",
  "Description": "LOCAA_s_LgtLimA_ATlrHiTar shall show the value of VMMP_LOC_c_LimA_ADft, if not required differently in this chapter LOCAA_s_LgtLimA_ATlrHiTar",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

4.) FlgRollBkCtlArb is false

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

THEN: 

LOCAA_s_LgtLimA_ATlrHiTar shall show the minimum of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiTarCor

(with *ATlrHiTar = LOCVL_LgtLimA_ATlrHiTarCor,

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

and the ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiTarCor

(with *ATlrHiTar = ARBLGLSCA_LgtLimA_ATlrHiTarCor,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651985.0",
  "ASIL": "  QM",
  "Text": "IF[ AND(1,2,3,4,5)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN: \n\rLOCAA_s_LgtLimA_ATlrHiTar shall show the minimum of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\rand the ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = ARBLGLSCA_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1213176.0",
  "Description": "IF[ AND(1,2,3,4,5)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN: \n\rLOCAA_s_LgtLimA_ATlrHiTar shall show the minimum of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)\n\rand the ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = ARBLGLSCA_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is false

4.) FlgRollBkCtlArb is true

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false

THEN: 

LOCAA_s_LgtLimA_ATlrHiTar shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiTarCor

(with *ATlrHiTar = LOCVL_LgtLimA_ATlrHiTarCor,

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651986.0",
  "ASIL": "  QM",
  "Text": "IF[ AND(1,2,OR(3,4,5))]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r4.) FlgRollBkCtlArb is true\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false\n\rTHEN: \n\rLOCAA_s_LgtLimA_ATlrHiTar shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214504.0",
  "Description": "IF[ AND(1,2,OR(3,4,5))]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r4.) FlgRollBkCtlArb is true\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is false\n\rTHEN: \n\rLOCAA_s_LgtLimA_ATlrHiTar shall show the value of the ASIL-limited signal LOCVL_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = LOCVL_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) LOCVL_s_LgtLimA_FlgAcv is false

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false

3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

4.) FlgRollBkCtlArb is false

5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

THEN: 

LOCAA_s_LgtLimA_ATlrHiTar shall show the value of the ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiTarCor

(with *ATlrHiTar = ARBLGLSCA_LgtLimA_ATlrHiTarCor,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651987.0",
  "ASIL": "  QM",
  "Text": "IF[ AND(OR(1,2),3,4,5)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is false\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN: \n\rLOCAA_s_LgtLimA_ATlrHiTar shall show the value of the ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = ARBLGLSCA_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214506.0",
  "Description": "IF[ AND(OR(1,2),3,4,5)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is false\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is false\n\r3.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r4.) FlgRollBkCtlArb is false\n\r5.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN: \n\rLOCAA_s_LgtLimA_ATlrHiTar shall show the value of the ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiTarCor\n\r(with *ATlrHiTar = ARBLGLSCA_LgtLimA_ATlrHiTarCor,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimA_FlgShtdnTrfTrig

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

IF[AND(1,OR(AND(2,3),AND(4,5,6,7),AND(8,9,10,11),AND(8,12)))]

1.) LOCAA_s_LgtLimA_FlgAcv is true

2.) Lim_arbitration changes

3) Lim_arbitration in the last computation cycle is not equal to 3

4.) Lim_arbitration is ARB

5.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value

6.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur in the last computation cycle is not equal to VMMP_c_IdxReqIdNoReq

7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is not equal to VMMP_c_IdxReqIdNoReq

8.) Lim_arbitration is LOCVL

9.) LOCVL_s_LgtLimA_IdxReqIdCur changes its value

10.) LOCVL_s_LgtLimA_IdxReqIdCur in the last computation cycle is not equal to VMMP_c_IdxReqIdNoReq

11.) LOCVL_s_LgtLimA_IdxReqIdCur is not equal to VMMP_c_IdxReqIdNoReq

12.) LOCVL_s_LgtLimA_FlgShtdnTrfTrig is true

THEN:

LOCAA_s_LgtLimA_FlgShtdnTrfTrig shall show the value true

ELSE:

LOCAA_s_LgtLimA_FlgShtdnTrfTrig shall be false.

{
  "ID": "16651989.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,OR(AND(2,3),AND(4,5,6,7),AND(8,9,10,11),AND(8,12)))]\n\r1.) LOCAA_s_LgtLimA_FlgAcv is true\n\r2.) Lim_arbitration changes\n\r3) Lim_arbitration in the last computation cycle is not equal to 3\n\r4.) Lim_arbitration is ARB\n\r5.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value\n\r6.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur in the last computation cycle is not equal to VMMP_c_IdxReqIdNoReq\n\r7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is not equal to VMMP_c_IdxReqIdNoReq\n\r8.) Lim_arbitration is LOCVL\n\r9.) LOCVL_s_LgtLimA_IdxReqIdCur changes its value\n\r10.) LOCVL_s_LgtLimA_IdxReqIdCur in the last computation cycle is not equal to VMMP_c_IdxReqIdNoReq\n\r11.) LOCVL_s_LgtLimA_IdxReqIdCur is not equal to VMMP_c_IdxReqIdNoReq\n\r12.) LOCVL_s_LgtLimA_FlgShtdnTrfTrig is true\n\r \n\rTHEN:\n\rLOCAA_s_LgtLimA_FlgShtdnTrfTrig shall show the value true\n\rELSE:\n\rLOCAA_s_LgtLimA_FlgShtdnTrfTrig shall be false.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214540.0",
  "Description": "IF[AND(1,OR(AND(2,3),AND(4,5,6,7),AND(8,9,10,11),AND(8,12)))]\n\r1.) LOCAA_s_LgtLimA_FlgAcv is true\n\r2.) Lim_arbitration changes\n\r3) Lim_arbitration in the last computation cycle is not equal to 3\n\r4.) Lim_arbitration is ARB\n\r5.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value\n\r6.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur in the last computation cycle is not equal to VMMP_c_IdxReqIdNoReq\n\r7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is not equal to VMMP_c_IdxReqIdNoReq\n\r8.) Lim_arbitration is LOCVL\n\r9.) LOCVL_s_LgtLimA_IdxReqIdCur changes its value\n\r10.) LOCVL_s_LgtLimA_IdxReqIdCur in the last computation cycle is not equal to VMMP_c_IdxReqIdNoReq\n\r11.) LOCVL_s_LgtLimA_IdxReqIdCur is not equal to VMMP_c_IdxReqIdNoReq\n\r12.) LOCVL_s_LgtLimA_FlgShtdnTrfTrig is true\n\r \n\rTHEN:\n\rLOCAA_s_LgtLimA_FlgShtdnTrfTrig shall show the value true\n\rELSE:\n\rLOCAA_s_LgtLimA_FlgShtdnTrfTrig shall be false.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LgtLimARollBk

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

IF [1]

VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true

THEN: 

This chapter LgtLimARollBk is valid

ELSE:

LOCAA_s_LgtLimARollBk_FlgAcv shall be false

LOCAA_s_LgtLimARollBk_ADmd shall be VMMP_LOC_c_LimA_ADft

LOCAA_s_LgtLimARollBk_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft LOCAA_s_LgtLimARollBk_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft

{
  "ID": "16651991.0",
  "ASIL": "  QM",
  "Text": "IF [1]\n\rVMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\rTHEN: \n\rThis chapter LgtLimARollBk is valid\n\rELSE:\n\rLOCAA_s_LgtLimARollBk_FlgAcv shall be false\n\rLOCAA_s_LgtLimARollBk_ADmd shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft LOCAA_s_LgtLimARollBk_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287388.0",
  "Description": "IF [1]\n\rVMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\rTHEN: \n\rThis chapter LgtLimARollBk is valid\n\rELSE:\n\rLOCAA_s_LgtLimARollBk_FlgAcv shall be false\n\rLOCAA_s_LgtLimARollBk_ADmd shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft LOCAA_s_LgtLimARollBk_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [OR(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_FlgAcv shall be true

ELSE: 

LOCAA_s_LgtLimARollBk_FlgAcv shall be false

{
  "ID": "16651992.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_FlgAcv shall be true\n\rELSE: \n\rLOCAA_s_LgtLimARollBk_FlgAcv shall be false",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287392.0",
  "Description": "IF [OR(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_FlgAcv shall be true\n\rELSE: \n\rLOCAA_s_LgtLimARollBk_FlgAcv shall be false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimARollBk_ADmd

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

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is false

2.) FlgRollBkCtlArb is false

THEN: 

LOCAA_s_LgtLimARollBk_ADmd shall be VMMP_LOC_c_LimA_ADft

{
  "ID": "16651994.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall be VMMP_LOC_c_LimA_ADft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287408.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall be VMMP_LOC_c_LimA_ADft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is false

THEN: 

LOCAA_s_LgtLimARollBk_ADmd shall be LOCVL_s_LgtLimARollBk_ADmd

{
  "ID": "16651995.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall be LOCVL_s_LgtLimARollBk_ADmd",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287394.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall be LOCVL_s_LgtLimARollBk_ADmd",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is false

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_ADmd shall the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651996.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287397.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_ADmd shall show the minumim of LOCVL_s_LgtLimARollBk_ADmd

and the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)

{
  "ID": "16651997.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall show the minumim of LOCVL_s_LgtLimARollBk_ADmd\n\rand the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287405.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_ADmd shall show the minumim of LOCVL_s_LgtLimARollBk_ADmd\n\rand the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\r*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimARollBk_AGrdMaxDec

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

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is false

2.) FlgRollBkCtlArb is false

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft

{
  "ID": "16652000.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287424.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is false

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minimum of LOCVL_s_LgtLimARollBk_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16652001.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minimum of LOCVL_s_LgtLimARollBk_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287418.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minimum of LOCVL_s_LgtLimARollBk_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is false

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16652002.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287420.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minumim of ARBLGCSC_s_LgtLimA_AGrdMaxDec, LOCVL_s_LgtLimARollBk_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16652003.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minumim of ARBLGCSC_s_LgtLimA_AGrdMaxDec, LOCVL_s_LgtLimARollBk_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287422.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxDec shall show the minumim of ARBLGCSC_s_LgtLimA_AGrdMaxDec, LOCVL_s_LgtLimARollBk_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_LgtLimARollBk_AGrdMaxInc

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

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is false

2.) FlgRollBkCtlArb is false

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft

{
  "ID": "16652005.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287433.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is false

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximim of LOCVL_s_LgtLimARollBk_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16652006.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximim of LOCVL_s_LgtLimARollBk_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287427.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximim of LOCVL_s_LgtLimARollBk_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is false

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16652007.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287429.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is false\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) LOCVL_s_LgtLimARollBk_FlgAcv is true

2.) FlgRollBkCtlArb is true

THEN: 

LOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc, LOCVL_s_LgtLimARollBk_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry

{
  "ID": "16652008.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc, LOCVL_s_LgtLimARollBk_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1287431.0",
  "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimARollBk_FlgAcv is true\n\r2.) FlgRollBkCtlArb is true\n\rTHEN: \n\rLOCAA_s_LgtLimARollBk_AGrdMaxInc shall show the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc, LOCVL_s_LgtLimARollBk_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Indication of limits

{
  "ID": "16652009.0",
  "ASIL": "  ",
  "Text": "Indication of limits",
  "Type": "Folder",
  "Status": "",
  "Summary": "Indication of limits",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214528.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Output signals LOCAA_s_StAcceLim and LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_NoLim, if not required differently in the corresponding chapter named in this chapter.

{
  "ID": "16652010.0",
  "ASIL": "  QM",
  "Text": "Output signals LOCAA_s_StAcceLim and LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_NoLim, if not required differently in the corresponding chapter named in this chapter.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214550.0",
  "Description": "Output signals LOCAA_s_StAcceLim and LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_NoLim, if not required differently in the corresponding chapter named in this chapter.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_StAcceLim

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

LOCAA_s_StAcceLim is described in chapters

16651829 

16651867

{
  "ID": "16652012.0",
  "ASIL": "  ",
  "Text": "LOCAA_s_StAcceLim is described in chapters\n\r16651829 \n\r16651867",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214725.0",
  "Description": "LOCAA_s_StAcceLim is described in chapters\n\r16651829 \n\r16651867",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCAA_s_StDeceLim

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

LOCAA_s_StAcceLim is described in chapters

16651841 

16651881 

16651958 

16651972

{
  "ID": "16652014.0",
  "ASIL": "  ",
  "Text": "LOCAA_s_StAcceLim is described in chapters\n\r16651841 \n\r16651881 \n\r16651958 \n\r16651972",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214563.0",
  "Description": "LOCAA_s_StAcceLim is described in chapters\n\r16651841 \n\r16651881 \n\r16651958 \n\r16651972",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}