Source files

Mapping profiles

Import history

File	Kind	Rows	Checksum
VME-PROD-VehicleMotionManagement - VMMP_VVL.xlsx	requirement	167	0c9f63958867
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCTP.xlsx	requirement	54	6e55261e37b1
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCPV.xlsx	requirement	48	c291bbf0bf8b
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCPP.xlsx	requirement	75	a6e97f36e717
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCOP.xlsx	requirement	108	db974db96a4a
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCIP.xlsx	requirement	38	83adee9380f8
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCEC.xlsx	requirement	30	e01f733449cc
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_SSHPOST.xlsx	requirement	127	fe72dab6a70d
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_DSOPOST.xlsx	requirement	140	ac32d5a0db26
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_DCPOST.xlsx	requirement	60	d072d8489fe8
VME-PROD-VehicleMotionManagement - VMMP_SRVPOST_ASM.xlsx	requirement	149	42ae852b3eba
VME-PROD-VehicleMotionManagement - VMMP_SRV_VSOVD.xlsx	requirement	255	ad930242c8fe
VME-PROD-VehicleMotionManagement - VMMP_SRV_VSOEM.xlsx	requirement	405	1e925fb5e240
VME-PROD-VehicleMotionManagement - VMMP_SRV_VSOCH.xlsx	requirement	105	fa03f07e2505
VME-PROD-VehicleMotionManagement - VMMP_SRV_DSOPRE.xlsx	requirement	197	38690409fbd8
VME-PROD-VehicleMotionManagement - VMMP_SRV_ASOTA.xlsx	requirement	135	43cdaf3292f4
VME-PROD-VehicleMotionManagement - VMMP_SRV_ASOPOT.xlsx	requirement	184	da96d0c9b61e
VME-PROD-VehicleMotionManagement - VMMP_SRV_ASOAF.xlsx	requirement	400	5d887cf54208
VME-PROD-VehicleMotionManagement - VMMP_SOUT_SOUTFCT.xlsx	requirement	453	4d2bdab4dd1f
VME-PROD-VehicleMotionManagement - VMMP_SOUT_SOUTDEVLP.xlsx	requirement	51	aa25670a5db1

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


LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax.
LOCAA_s_StAcceLim
Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):

1. VMMP_LOC_c_StLim_ExtLim

2. VMMP_LOC_c_StLim_IntnlLim
LOCAA_s_StAcceLimIntlLim
IF[1]

1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

THEN:

this chapter LOCAA_s_StAcceLimIntnlLim is valid
IF[OR(1,2,3,4,5)]

1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 

2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax 

3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax 

4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax 

5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax

THEN:

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
LOCAA_s_StAcceLimExtLim
IF[AND(1,2,3)]

1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

2.) LOCDL_s_LgtLimA_FlgAcv is true

3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN:

this chapter LOCAA_s_StAcceLimExtLim is valid
IF[1] 

1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd

(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar

(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor

(with *ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor 

(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor 

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor

(with *ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor

(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor

(with *ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor

(with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
LOCAA_s_StDeceLim
IF[(1)]

1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

THEN:

this chapter LOCAA_s_StDeceLim is valid
IF[1] 

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

(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd

(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN:

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3)] 

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

(with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor

(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor

(with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

3.) LOCDL_s_LgtLimA_FlgAcv is true

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar

(with *ADmd = ARBLGCSC_s_LgtCtlA_APredTar,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar

(with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor

(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

is smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor

(with *ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar

(with *ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

4.) MIN(

ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar

(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),

MAX(

ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),

ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *APredTar= LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)))

is smaller than 

MIN(

ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar

(with *ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),

MAX(

the ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd

(with *ADmd = ARBLLCSC_s_LgtCtlA_ADmd,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),

 the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar

(with *APredTar = ARBLGCSC_s_LgtCtlA_APredTar,

*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)

)

)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
LgtCtlA - LOCVC
IF [AND(OR(AND(1,2), AND(3,4)), 5)]: 

1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV

2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On'

3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl

4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On'

5) LOCVC_s_LgtCtlA_FlgAcv is true

THEN: 

This chapter LgtCltA-LOCVC is valid
LOCAA_s_LgtCtlA_FlgAcv shall be true.
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_ADmd shall be the minimum of

{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }

and ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

ELSE: 

LOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of

{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar

(with *APredTar = LOCVC_s_LgtCtlA_APredTar,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }

and ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

ELSE: 

LOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar

(with *APredTar = LOCVC_s_LgtCtlA_APredTar,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the

the minimum of

{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor

(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }

and ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor 

(with *ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor ,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

ELSE: 

LOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and

the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor

(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of

{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor 

(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor, 

StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) }

and ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor

(with *ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor

StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle)

ELSE: 

LOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor 

(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor ,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of

{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor

(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }

and ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor

(with *ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

ELSE: 

LOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor

(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry.

ELSE:

LOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry
IF [AND(1,2)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

THEN: 

LOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry

ELSE:

LOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry
IF [AND(1,2,3)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is smaller than ASOPOT_s_ATqDmd

THEN: 

LOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities:

higest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct

VMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct

lowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm

ELSE:

LOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn.
LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly.
LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax.
LOCAA_s_StAcceLim
Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):

1. VMMP_LOC_c_StLim_ExtLim

2. VMMP_LOC_c_StLim_IntnlLim
LOCAA_s_StAcceLimIntnlLim
IF[1]

1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

THEN:

this chapter LOCAA_s_StAcceLimIntnlLim is valid
IF[OR(1,2,3,4,5)]

1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 

2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax 

3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax 

4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax 

5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax

THEN:

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
LOCAA_s_StAcceLimExtLim
IF[AND(1,2,3)]

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

THEN:

this chapter LOCAA_s_StAcceLimExtLim is valid
IF[1]

1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

 is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN:

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) The minimum of

[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]

is greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar

(with *APredTar = LOCVC_s_LgtCtlA_APredTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor

(with *ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor 

(with *ADmd = LOCDL_LgtLimA_ATlrHiTar

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor 

(with *ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor 

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax

is greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor

(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
IF[1] 

1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor

(with *ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor

(with *ADmd = LOCDL_LgtLimA_ATlrLoTarCor

*StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim
LOCAA_s_StDeceLim
IF[1]

1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest

THEN:

this chapter LOCAA_s_StDeceLim is valid
IF[1] 

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

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of

[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *APredTar = LOCVC_s_LgtCtlA_APredTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[1] 

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

(with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is smaller than the minimum of

[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn

(with *ADmd = LOCDL_s_LgtLimA_ATlrHiDyn

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor

(with *ADmd = LOCDL_LgtLimA_ATlrHiDynCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor

(with *ADmd = LOCVC_LgtCtlA_ATlrHiDynCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *ADmd = LOCDL_s_LgtLimA_APredTar,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar

(with *ADmd = LOCVC_s_LgtCtlA_APredTar,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar

(with *ADmd = LOCDL_s_LgtLimA_ATlrHiTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor

(with *ADmd = LOCDL_LgtLimA_ATlrHiTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

is smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor

(with *ADmd = LOCVC_LgtCtlA_ATlrHiTarCor,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
IF[AND(1,2,3,4)] 

1.) LOCDL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true

3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar

(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)

4.)

MIN(

ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar

(with *ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),

MAX(

ASIL-limited signal LOCDL_s_LgtLimA_ADmd

(with *ADmd = LOCDL_s_LgtLimA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),

ASIL-limited signal LOCDL_s_LgtLimA_APredTar

(with *APredTar = LOCDL_s_LgtLimA_APredTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))

is smaller than 

MIN(

ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar

(with *ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),

MAX(

ASIL-limited signal LOCVC_s_LgtCtlA_ADmd

(with *ADmd = LOCVC_s_LgtCtlA_ADmd

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),

ASIL-limited signal LOCVC_s_LgtCtlA_APredTar

(with *APredTar = LOCVC_s_LgtCtlA_APredTar

*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))

THEN: 

LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim
LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg
IF [1]

1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases

THEN:

the output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep.

ELSE:

LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false
LgtLim
IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))]

1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero)

2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA

3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true

4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true

5.) the integral of VSOEM_s_VLgtVehCor

(numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign

This integral is reset by a conversion of VSOEM_s_VLgtVehCor.

6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)

8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)

9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true

10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)

11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)

THEN: 

FlgRollBkCtlArb is true

ELSE: 

FlgRollBkCtlArb is false

Once FlgRollBkCtlArb is true, it remains true till (memory function):

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

1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)

2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true

3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd,

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)

4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)

5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true

6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)

7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle

8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false

9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true

10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero)

is greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff

This integral is reset by a conversion of VSOEM_s_VLgtVehCor

note:

The absolute value of the integral of VSOEM_s_VLgtVehCor is limited within |VMMP_LOCAA_p_LimIntDMinMax|.
LgtLimA
This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB).
All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter

LOCAA_s_LgtLimA_FlgAcv shall be false

LOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft

LOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft

LOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft

LOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft

LOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft

LOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft

LOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm

LOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM
Lim_arbitration
In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point.

The hypothetical operation points will be calculated out of

- Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before)

- gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn)

The information which cluster is chosen, is indicated in the variable Lim_arbitration.
IF [1]

1.) VMMP_p_SwtSelAGrdRefLgtLim is true

THEN: 

LgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd 

(Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd)))

ELSE:

LgtLimA_ARef is ASOPOT_s_ATqDmd

important hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd
IF[1] 

1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true 

THEN: 

*ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg 

ELSE: 

*ATarMdTarDynLim is ASOPOT_s_ANeutTh
next_workstep of ARB
IF [AND(1,2,3)]

1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true

2.) FlgRollBkCtlArb is false

3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true

THEN:

this chapter next_workstep of ARB is valid

ELSE:

next_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB)
demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor 

(with *ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor

, 

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), 

MAX(ASOPOT_s_APotRgn

, ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd 

(with *ADmd = ARBLGLSCA_s_LgtLimA_ADmd, 

*StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) 

) 

)
positive gradient
IF[1]

1.) demand is greater than or equal to LgtLimA_ARef

THEN: 

This chapter positiv gradient is valid
IF[1]

1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated)

initial value (for first startup): Lim_arbitration was not ARB in the last cycle

THEN:

starting_point is LgtLimA_ARef 

ELSE: 

starting_point is demand
next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))
gradient
gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter
IF[AND(1,2,3)]

1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim

2.) demand is greater than LgtLimA_ARef

3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy
IF[AND(1,2,3)]

1.) ASOPOT_s_ATqDmd is smaller than *ATarMdTarDynLim

2.) demand is greater than LgtLimA_ARef

3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft
negative gradient
IF[1]

1.) demand is less than LgtLimA_ARef

THEN: 

This chapter negative gradient is valid
gradient
gradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter
IF[AND(1,2,3)]

1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim

2.) demand is smaller than LgtLimA_ARef

3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy
IF[AND(1,2,3)]

1.) ASOPOT_s_ATqDmd is greater than *ATarMdTarDynLim

2.) demand is smaller than LgtLimA_ARef

3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct

THEN: 

gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft
next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))
next_workstep of LOCVL
IF [AND(1,2)]

1.) LOCVL_s_LgtLimA_FlgAcv is true

2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true

THEN:

this chaptor next_workstep of LOCVL is valid

ELSE:

next_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL)
demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor

(with *ADmd = LOCVL_LgtLimA_ATlrHiDynCor

, 

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), 

MAX(ASOPOT_s_APotRgn

, ASIL-limited signal LOCVL_LgtLimA_ADmdCor 

(with *ADmd = LOCVL_LgtLimA_ADmdCor, 

*StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) 

) 

)
positive gradient
IF[1]

1.) demand is greater than or equal to LgtLimA_ARef

THEN: 

This chapter positive gradient is valid
IF[1]

1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated)

initial value (for first startup): Lim_arbitration was not LOCVL in the last cycle

THEN:

starting_point is LgtLimA_ARef 

ELSE: 

starting_point is demand

Row	ID	Type	Status	Relevant	Candidate	Reason	Normalized text
102	16651828.0	Functional	Released	yes	True		LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax. LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax. Raw { "ID": "16651828.0", "ASIL": " QM", "Text": "LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax.", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1082108.0", "Description": "LOCAA_s_LgtCtlA_StDeceCritMax shall be the same value as the input ARBLLCSC_s_LgtCtl_StDeceCritMax.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
103	16651829.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StAcceLim LOCAA_s_StAcceLim Raw { "ID": "16651829.0", "ASIL": " ", "Text": "LOCAA_s_StAcceLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StAcceLim", "Relevant": "no", "column_12": "", "Foreign ID": "1214740.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
104	16651830.0	Non-functional	Released	no	False	type_not_target, relevance_filtered	Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the foll Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top): 1. VMMP_LOC_c_StLim_ExtLim 2. VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651830.0", "ASIL": " QM", "Text": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim", "Type": "Non-functional", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1313184.0", "Description": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
105	16651831.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StAcceLimIntlLim LOCAA_s_StAcceLimIntlLim Raw { "ID": "16651831.0", "ASIL": " ", "Text": "LOCAA_s_StAcceLimIntlLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StAcceLimIntlLim", "Relevant": "no", "column_12": "", "Foreign ID": "1313180.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
106	16651832.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is valid IF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is valid Raw { "ID": "16651832.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1313182.0", "Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
107	16651833.0	Functional	Released	yes	True		IF[OR(1,2,3,4,5)] 1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) ARBLGCSC_s_LgtCtlA_APredTar is greater than IF[OR(1,2,3,4,5)] 1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax 3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax 4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax 5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651833.0", "ASIL": " QM", "Text": "IF[OR(1,2,3,4,5)]\n\r1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax \n\r4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax \n\r5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1313186.0", "Description": "IF[OR(1,2,3,4,5)]\n\r1) ARBLLCSC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) ARBLGCSC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) ARBLLCSC_LgtCtlA_ATlrHiTarCor is greater than VSOEM_s_LgtCtl_AMax \n\r4) ARBLLCSC_LgtCtlA_ATlrHiDynCor is greater than VSOEM_s_LgtCtl_AMax \n\r5) ARBLLCSC_LgtCtlA_ATlrLoTarCor is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
108	16651834.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StAcceLimExtLim LOCAA_s_StAcceLimExtLim Raw { "ID": "16651834.0", "ASIL": " ", "Text": "LOCAA_s_StAcceLimExtLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StAcceLimExtLim", "Relevant": "no", "column_12": "", "Foreign ID": "1313178.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
109	16651835.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[AND(1,2,3)] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest 2.) LOCDL_s_LgtLimA_FlgAcv is true 3.) VMMP_LOCA IF[AND(1,2,3)] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest 2.) LOCDL_s_LgtLimA_FlgAcv is true 3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: this chapter LOCAA_s_StAcceLimExtLim is valid Raw { "ID": "16651835.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) LOCDL_s_LgtLimA_FlgAcv is true\n\r3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1214744.0", "Description": "IF[AND(1,2,3)]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\r2.) LOCDL_s_LgtLimA_FlgAcv is true\n\r3.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
110	16651836.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with ADmd = ARBLLCSC_s_LgtCtlA_ADmd StDeceCritMax = ARBLLCSC_s_LgtCtl IF[1] 1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with ADmd = ARBLLCSC_s_LgtCtlA_ADmd StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651836.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214728.0", "Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
111	16651837.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with APredTar = ARBLGCSC_s_LgtCtlA_APredTar StDeceCritMax = ARBLL IF[1] 1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with APredTar = ARBLGCSC_s_LgtCtlA_APredTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651837.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214752.0", "Description": "IF[1] \n\r1.) ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
112	16651838.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor (with ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor StDeceCritMax = IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor (with ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with ADmd = LOCDL_LgtLimA_ATlrHiTarCor StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651838.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTarCor \n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214754.0", "Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTarCor \n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
113	16651839.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor (with ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor StDeceCritMax = IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor (with ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with ADmd = LOCDL_LgtLimA_ATlrHiDynCor StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651839.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214756.0", "Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with ATlrHiDyn = ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
114	16651840.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor (with ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor StDeceCritMax = IF[1] 1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor (with ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor (with ADmd = LOCDL_LgtLimA_ATlrLoTarCor StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651840.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214758.0", "Description": "IF[1] \n\r1.) ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = ARBLLCSC_LgtCtlA_ATlrLoTarCor\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
115	16651841.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StDeceLim LOCAA_s_StDeceLim Raw { "ID": "16651841.0", "ASIL": " ", "Text": "LOCAA_s_StDeceLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StDeceLim", "Relevant": "no", "column_12": "", "Foreign ID": "1214774.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
116	16651843.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[(1)] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDece IF[(1)] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceLim is valid Raw { "ID": "16651843.0", "ASIL": " QM", "Text": "IF[(1)]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1214776.0", "Description": "IF[(1)]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
117	16651844.0	Functional	Released	yes	True		IF[1] 1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with ADmd = ARBLLCSC_s_LgtCtlA_ IF[1] 1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with ADmd = ARBLLCSC_s_LgtCtlA_ADmd StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651844.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1214778.0", "Description": "IF[1] \n\r1.) ARBLLCSC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
118	16651845.0	Functional	Released	yes	True		IF[1] 1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with APredTar = ARBLGCS IF[1] 1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with APredTar = ARBLGCSC_s_LgtCtlA_APredTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651845.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1214780.0", "Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with APredTar = ARBLGCSC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
119	16651846.0	Functional	Released	yes	True		IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar (with ATlrHiTar = ARBL IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar (with ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651846.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r(with ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1214782.0", "Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r(with ATlrHiTar = ARBLGCSC_s_LgtCtlA_ATlrHiTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
120	16651847.0	Functional	Released	yes	True		IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn (with ATlHiDyn = ARBLG IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn (with ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651847.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r(with ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1214784.0", "Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r(with ATlHiDyn = ARBLGCSC_s_LgtCtlA_ATlrHiDyn\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
121	16651848.0	Functional	Released	yes	True		IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar (with ATlrLoTar = ARBL IF[1] 1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar (with ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651848.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1214786.0", "Description": "IF[1] \n\r1.) ARBLGCSC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar = ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
122	16651849.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd i IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with ADmd = ARBLLCSC_s_LgtCtlA_ADmd, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651849.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1245683.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
123	16651850.0	Functional	Released	yes	True		IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn (with ADmd = LOCDL_ IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn (with ADmd = LOCDL_s_LgtLimA_ATlrHiDyn StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with ADmd = LOCDL_LgtLimA_ATlrHiDynCor, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor (with ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 3.) LOCDL_s_LgtLimA_FlgAcv is true THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651850.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r3.) LOCDL_s_LgtLimA_FlgAcv is true\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": "1245685.0", "Description": "IF[AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r2.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiDynCor\n\r(with ADmd = ARBLLCSC_LgtCtlA_ATlrHiDynCor,\n\r*StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r3.) LOCDL_s_LgtLimA_FlgAcv is true\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
124	16651851.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredT IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with ADmd = ARBLGCSC_s_LgtCtlA_APredTar, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651851.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with ADmd = ARBLGCSC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1245700.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with ADmd = ARBLGCSC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
125	16651852.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHi IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar (with ADmd = LOCDL_s_LgtLimA_ATlrHiTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with ADmd = LOCDL_LgtLimA_ATlrHiTarCor, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) is smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor (with ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651852.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_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": "1245696.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\ris smaller than ASIL-limited signal ARBLLCSC_LgtCtlA_ATlrHiTarCor\n\r(with ADmd = ARBLLCSC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
126	16651853.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLo IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) 4.) MIN( ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), MAX( ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with APredTar= LOCDL_s_LgtLimA_APredTar StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax))) is smaller than MIN( ASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar (with ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), MAX( the ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd (with ADmd = ARBLLCSC_s_LgtCtlA_ADmd, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax), the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar (with APredTar = ARBLGCSC_s_LgtCtlA_APredTar, StDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax) ) ) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651853.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) MIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with APredTar= LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rthe ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\r the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with APredTar = ARBLGCSC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r)\n\r)\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": "1245698.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller than ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar= LOCDL_s_LgtLimA_ATlrLoTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r4.) MIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with APredTar= LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal ARBLGCSC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar= ARBLGCSC_s_LgtCtlA_ATlrLoTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\rMAX(\n\rthe ASIL-limited signal ARBLLCSC_s_LgtCtlA_ADmd\n\r(with ADmd = ARBLLCSC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax),\n\r the ASIL-limited signal ARBLGCSC_s_LgtCtlA_APredTar\n\r(with APredTar = ARBLGCSC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = ARBLLCSC_s_LgtCtl_StDeceCritMax)\n\r)\n\r)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
127	16651854.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LgtCtlA - LOCVC LgtCtlA - LOCVC Raw { "ID": "16651854.0", "ASIL": " ", "Text": "LgtCtlA - LOCVC", "Type": "Folder", "Status": "", "Summary": "LgtCtlA - LOCVC", "Relevant": "no", "column_12": "", "Foreign ID": "1104345.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
128	16651855.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF [AND(OR(AND(1,2), AND(3,4)), 5)]: 1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV 2) IF [AND(OR(AND(1,2), AND(3,4)), 5)]: 1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV 2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On' 3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl 4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On' 5) LOCVC_s_LgtCtlA_FlgAcv is true THEN: This chapter LgtCltA-LOCVC is valid Raw { "ID": "16651855.0", "ASIL": " QM", "Text": "IF [AND(OR(AND(1,2), AND(3,4)), 5)]: \n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV\n\r2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On'\n\r3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On'\n\r5) LOCVC_s_LgtCtlA_FlgAcv is true\n\rTHEN: \n\rThis chapter LgtCltA-LOCVC is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1213062.0", "Description": "IF [AND(OR(AND(1,2), AND(3,4)), 5)]: \n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV\n\r2) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlV is 'On'\n\r3) ARBLLCSC_s_LgtCtl_StAcv is equal to the value of VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\r4) VMMP_LOCAA_p_SwtInIf_SwtTrjCtl is 'On'\n\r5) LOCVC_s_LgtCtlA_FlgAcv is true\n\rTHEN: \n\rThis chapter LgtCltA-LOCVC is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
129	16651856.0	Functional	Released	yes	True		LOCAA_s_LgtCtlA_FlgAcv shall be true. LOCAA_s_LgtCtlA_FlgAcv shall be true. Raw { "ID": "16651856.0", "ASIL": " QM", "Text": "LOCAA_s_LgtCtlA_FlgAcv shall be true.", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104356.0", "Description": "LOCAA_s_LgtCtlA_FlgAcv shall be true.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
130	16651857.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ADmd IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ADmd shall be the minimum of { the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) } and ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) ELSE: LOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) Raw { "ID": "16651857.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104366.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ADmd shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
131	16651858.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_APred IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of { the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCtlA_APredTar, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) } and ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) ELSE: LOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCtlA_APredTar, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) Raw { "ID": "16651858.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104368.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_APredTar shall be the maxmium of LOCAA_s_LgtCtlA_ADmd and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
132	16651859.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrH IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the the minimum of { the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) } and ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor , StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) ELSE: LOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) Raw { "ID": "16651859.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the\n\rthe minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor ,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and\n\rthe minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104362.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and the\n\rthe minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with ATlrHiTar = LOCDL_LgtLimA_ATlrHiTarCor ,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiTar shall be the maxmium of LOCAA_s_LgtCtlA_APredTar and\n\rthe minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
133	16651860.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrH IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of { the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) } and ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle) ELSE: LOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor , StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) Raw { "ID": "16651860.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor, \n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor ,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104363.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minumum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor, \n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax ) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ATlrHiDyn = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax of the last cycle)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrHiDyn shall be the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor ,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
134	16651861.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrL IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of { the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor (with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) } and ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor (with ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) ELSE: LOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor (with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) Raw { "ID": "16651861.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104364.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_APredTar and the minimum of\n\r{ the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) }\n\rand ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCDL_LgtLimA_ATlrLoTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rELSE: \n\rLOCAA_s_LgtCtlA_ATlrLoTar shall be the minimum of LOCAA_s_LgtCtlA_ATlrHiTar and the minimum of VSOEM_s_LgtCtl_AMax and the ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
135	16651862.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdM IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry. ELSE: LOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry Raw { "ID": "16651862.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry.\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104370.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall be the minimum of inputs LOCVC_s_LgtCtlA_AGrdMaxDec and LOCDL_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry.\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxDec shall the minimum of input LOCVC_s_LgtCtlA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
136	16651863.0	Functional	Released	yes	True		IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdM IF [AND(1,2)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true THEN: LOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry ELSE: LOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry Raw { "ID": "16651863.0", "ASIL": " QM", "Text": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104361.0", "Description": "IF [AND(1,2)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\rTHEN: \n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum value of inputs LOCVC_s_LgtCtlA_AGrdMaxInc and LOCDL_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry\n\rELSE:\n\rLOCAA_s_LgtCtlA_AGrdMaxInc shall be the maximum of input LOCVC_s_LgtCtlA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
137	16651864.0	Functional	Released	yes	True		IF [AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASIL-limited signal LOC IF [AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASOPOT_s_ATqDmd THEN: LOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities: higest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct VMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct lowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm ELSE: LOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn. Raw { "ID": "16651864.0", "ASIL": " QM", "Text": "IF [AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASOPOT_s_ATqDmd\n\rTHEN: \n\rLOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities:\n\rhigest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct\n\rVMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct\n\rlowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm\n\rELSE:\n\rLOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn.", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104367.0", "Description": "IF [AND(1,2,3)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASOPOT_s_ATqDmd\n\rTHEN: \n\rLOCAA_s_LgtCtlA_MdTarDyn shall show the higher priorized value of the input signals LOCVC_s_LgtCtlA_MdTarDyn and LOCDL_s_LgtLimA_MdTarDyn with the following priorities:\n\rhigest priority - VMMP_LOC_c_LgtCtlA_MdTarDynDynEmgcyFct\n\rVMMP_LOC_c_LgtCtlA_MdTarDynDynCmftFct\n\rlowest priority - VMMP_LOC_c_LgtCtlA_MdTarDynNrm\n\rELSE:\n\rLOCAA_s_LgtCtlA_MdTarDyn shall be the same value as the input LOCVC_s_LgtCtlA_MdTarDyn.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
138	16651865.0	Functional	Released	yes	True		LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly. LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly. Raw { "ID": "16651865.0", "ASIL": " QM", "Text": "LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly.", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104365.0", "Description": "LOCAA_s_LgtCtlA_MdDeceOnly shall be the same value as the input LOCVC_s_LgtCtlA_MdDeceOnly.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
139	16651866.0	Functional	Released	yes	True		LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax. LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax. Raw { "ID": "16651866.0", "ASIL": " QM", "Text": "LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax.", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1104369.0", "Description": "LOCAA_s_LgtCtlA_StDeceCritMax must be the same value as the input LOCVC_s_LgtCtlA_StDeceCritMax.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
140	16651867.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StAcceLim LOCAA_s_StAcceLim Raw { "ID": "16651867.0", "ASIL": " ", "Text": "LOCAA_s_StAcceLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StAcceLim", "Relevant": "no", "column_12": "", "Foreign ID": "1214763.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
141	16651868.0	Non-functional	Released	no	False	type_not_target, relevance_filtered	Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the foll Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top): 1. VMMP_LOC_c_StLim_ExtLim 2. VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651868.0", "ASIL": " QM", "Text": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim", "Type": "Non-functional", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1313194.0", "Description": "Since in this chapter both conditions for the sub chapters LOCAA_StAcceLimExtLim and LOCAA_StAcceLimIntnlLim can be true, the following priority for the constants of the signal LOCAA_s_StAcceLim is introduced (highest priority on top):\n\r1. VMMP_LOC_c_StLim_ExtLim\n\r2. VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
142	16651869.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StAcceLimIntnlLim LOCAA_s_StAcceLimIntnlLim Raw { "ID": "16651869.0", "ASIL": " ", "Text": "LOCAA_s_StAcceLimIntnlLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StAcceLimIntnlLim", "Relevant": "no", "column_12": "", "Foreign ID": "1313190.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
143	16651870.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is valid IF[1] 1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimIntnlLim is valid Raw { "ID": "16651870.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1313196.0", "Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimIntnlLim is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
144	16651871.0	Functional	Released	yes	True		IF[OR(1,2,3,4,5)] 1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM IF[OR(1,2,3,4,5)] 1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax 2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax 3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax 4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax 5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651871.0", "ASIL": " QM", "Text": "IF[OR(1,2,3,4,5)]\n\r1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax \n\r4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax \n\r5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1313198.0", "Description": "IF[OR(1,2,3,4,5)]\n\r1) LOCVC_s_LgtCtlA_ADmd is greater than VSOEM_s_LgtCtl_AMax \n\r2) LOCVC_s_LgtCtlA_APredTar is greater than VSOEM_s_LgtCtl_AMax \n\r3) LOCVC_s_LgtCtlA_ATlrHiTar is greater than VSOEM_s_LgtCtl_AMax \n\r4) LOCVC_s_LgtCtlA_ATlrHiDyn is greater than VSOEM_s_LgtCtl_AMax \n\r5) LOCVC_s_LgtCtlA_ATlrLoTar is greater than VSOEM_s_LgtCtl_AMax\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
145	16651872.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StAcceLimExtLim LOCAA_s_StAcceLimExtLim Raw { "ID": "16651872.0", "ASIL": " ", "Text": "LOCAA_s_StAcceLimExtLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StAcceLimExtLim", "Relevant": "no", "column_12": "", "Foreign ID": "1313192.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
146	16651873.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASOTA_s_IdxTqCordDmd is e IF[AND(1,2,3)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StAcceLimExtLim is valid Raw { "ID": "16651873.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)]\n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1214762.0", "Description": "IF[AND(1,2,3)]\n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StAcceLimExtLim is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
147	16651874.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCr IF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651874.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214760.0", "Description": "IF[1]\n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r is greater then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN:\n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
148	16651875.0	Functional	Released	yes	True		IF[1] 1.) The minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_ IF[1] 1.) The minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] is greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651875.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) The minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\ris greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1509632.0", "Description": "IF[1] \n\r1.) The minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\ris greater then the minimum of [ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
149	16651877.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCtlA_APredTar StDeceCritMax = LOCVC_s_Lgt IF[1] 1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCtlA_APredTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651877.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214764.0", "Description": "IF[1] \n\r1.) ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
150	16651878.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor StDeceCritMax = LOCVC_ IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with ADmd = LOCDL_LgtLimA_ATlrHiTar StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651878.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTar\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214765.0", "Description": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ATlrHiTar = LOCVC_LgtCtlA_ATlrHiTarCor\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor \n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTar\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
151	16651879.0	Functional	Released	yes	True		IF[1] 1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor StDec IF[1] 1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax is greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with ADmd = LOCDL_LgtLimA_ATlrHiDynCor StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651879.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor \n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\ris greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214766.0", "Description": "IF[1] \n\r1.) The minimum of ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor \n\r(with ATlrHiDyn = LOCVC_LgtCtlA_ATlrHiDynCor \n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\ris greater than the minimum of ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
152	16651880.0	Functional	Released	yes	True		IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor (with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor StDeceCritMax = LOCVC_ IF[1] 1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor (with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor (with ADmd = LOCDL_LgtLimA_ATlrLoTarCor StDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim Raw { "ID": "16651880.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1214767.0", "Description": "IF[1] \n\r1.) ASIL-limited signal LOCVC_LgtCtlA_ATlrLoTarCor\n\r(with ATlrLoTar = LOCVC_LgtCtlA_ATlrLoTarCor\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris greater then ASIL-limited signal LOCDL_LgtLimA_ATlrLoTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrLoTarCor\n\rStDeceCritMax = LOCAA_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StAcceLim shall show the value of VMMP_LOC_c_StLim_ExtLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
153	16651881.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_StDeceLim LOCAA_s_StDeceLim Raw { "ID": "16651881.0", "ASIL": " ", "Text": "LOCAA_s_StDeceLim", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_StDeceLim", "Relevant": "no", "column_12": "", "Foreign ID": "1214809.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
154	16651882.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceLi IF[1] 1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest THEN: this chapter LOCAA_s_StDeceLim is valid Raw { "ID": "16651882.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1214808.0", "Description": "IF[1]\n\r1.) ASOTA_s_IdxTqCordDmd is equal to the value of VMMP_ASOTA_c_IdxTqCordDmdLOCRequest\n\rTHEN:\n\rthis chapter LOCAA_s_StDeceLim is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
155	16651883.0	Functional	Released	yes	True		IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd St IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651883.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1214810.0", "Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
156	16651884.0	Functional	Released	yes	True		IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_ IF[1] 1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651884.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\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": "1509634.0", "Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ADmd is smaller then the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
157	16651885.0	Functional	Released	yes	True		IF[1] 1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCt IF[1] 1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCtlA_APredTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651885.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1214811.0", "Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_APredTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
158	16651886.0	Functional	Released	yes	True		IF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar (with ATlrHiTar = LOCVC_s_Lg IF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar (with ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651886.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar\n\r(with ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1214812.0", "Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiTar\n\r(with ATlrHiTar = LOCVC_s_LgtCtlA_ATlrHiTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
159	16651887.0	Functional	Released	yes	True		IF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn (with ATlrHiDyn = LOCVC_s_Lg IF[1] 1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn (with ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651887.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn\n\r(with ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1214813.0", "Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrHiDyn is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrHiDyn\n\r(with ATlrHiDyn = LOCVC_s_LgtCtlA_ATlrHiDyn\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
160	16651888.0	Functional	Released	yes	True		IF[1] 1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar (with ATlrLoTar = LOCVC_s_Lg IF[1] 1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar (with ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651888.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1214814.0", "Description": "IF[1] \n\r1.) LOCVC_s_LgtCtlA_ATlrLoTar is smaller then ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\r*StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
161	16651889.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd i IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651889.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1245703.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
162	16651890.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd i IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than the minimum of [ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax] THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651890.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\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": "1509636.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ADmd is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than the minimum of\n\r[ASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) and VSOEM_s_LgtCtl_AMax]\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
163	16651891.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHi IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn (with ADmd = LOCDL_s_LgtLimA_ATlrHiDyn StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor (with ADmd = LOCDL_LgtLimA_ATlrHiDynCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor (with ADmd = LOCVC_LgtCtlA_ATlrHiDynCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651891.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor\n\r(with ADmd = LOCVC_LgtCtlA_ATlrHiDynCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1245705.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiDyn is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiDyn\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiDyn\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiDynCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiDynCor\n\r(with ADmd = LOCVC_LgtCtlA_ATlrHiDynCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
164	16651892.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredT IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with ADmd = LOCDL_s_LgtLimA_APredTar, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with ADmd = LOCVC_s_LgtCtlA_APredTar, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651892.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with ADmd = LOCVC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1245711.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_APredTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with ADmd = LOCDL_s_LgtLimA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with ADmd = LOCVC_s_LgtCtlA_APredTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
165	16651893.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHi IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar (with ADmd = LOCDL_s_LgtLimA_ATlrHiTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor (with ADmd = LOCDL_LgtLimA_ATlrHiTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) is smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor (with ADmd = LOCVC_LgtCtlA_ATlrHiTarCor, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651893.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ADmd = LOCVC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1245707.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrHiTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrHiTar\n\r(with ADmd = LOCDL_s_LgtLimA_ATlrHiTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.) ASIL-limited signal LOCDL_LgtLimA_ATlrHiTarCor\n\r(with ADmd = LOCDL_LgtLimA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\ris smaller than ASIL-limited signal LOCVC_LgtCtlA_ATlrHiTarCor\n\r(with ADmd = LOCVC_LgtCtlA_ATlrHiTarCor,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
166	16651894.0	Functional	Released	yes	True		IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLo IF[AND(1,2,3,4)] 1.) LOCDL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true 3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax) 4.) MIN( ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar (with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar, StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), MAX( ASIL-limited signal LOCDL_s_LgtLimA_ADmd (with ADmd = LOCDL_s_LgtLimA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), ASIL-limited signal LOCDL_s_LgtLimA_APredTar (with APredTar = LOCDL_s_LgtLimA_APredTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax))) is smaller than MIN( ASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar (with ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), MAX( ASIL-limited signal LOCVC_s_LgtCtlA_ADmd (with ADmd = LOCVC_s_LgtCtlA_ADmd StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax), ASIL-limited signal LOCVC_s_LgtCtlA_APredTar (with APredTar = LOCVC_s_LgtCtlA_APredTar StDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax))) THEN: LOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim Raw { "ID": "16651894.0", "ASIL": " QM", "Text": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.)\n\rMIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with APredTar = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_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": "1245709.0", "Description": "IF[AND(1,2,3,4)] \n\r1.) LOCDL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtCtlLimD is true\n\r3.) LOCDL_s_LgtLimA_ATlrLoTar is smaller then ASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)\n\r4.)\n\rMIN(\n\rASIL-limited signal LOCDL_s_LgtLimA_ATlrLoTar\n\r(with ATlrLoTar = LOCDL_s_LgtLimA_ATlrLoTar,\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCDL_s_LgtLimA_ADmd\n\r(with ADmd = LOCDL_s_LgtLimA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCDL_s_LgtLimA_APredTar\n\r(with APredTar = LOCDL_s_LgtLimA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\ris smaller than \n\rMIN(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ATlrLoTar\n\r(with ATlrLoTar = LOCVC_s_LgtCtlA_ATlrLoTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rMAX(\n\rASIL-limited signal LOCVC_s_LgtCtlA_ADmd\n\r(with ADmd = LOCVC_s_LgtCtlA_ADmd\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax),\n\rASIL-limited signal LOCVC_s_LgtCtlA_APredTar\n\r(with APredTar = LOCVC_s_LgtCtlA_APredTar\n\rStDeceCritMax = LOCVC_s_LgtCtlA_StDeceCritMax)))\n\rTHEN: \n\rLOCAA_s_StDeceLim shall show the value of VMMP_LOC_c_StLim_IntnlLim", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
167	16651895.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg Raw { "ID": "16651895.0", "ASIL": " ", "Text": "LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg", "Type": "Folder", "Status": "", "Summary": "LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg", "Relevant": "no", "column_12": "", "Foreign ID": "1318346.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
168	16651896.0	Functional	Released	yes	True		IF [1] 1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases THEN: the output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg sha IF [1] 1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases THEN: the output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep. ELSE: LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false Raw { "ID": "16651896.0", "ASIL": " QM", "Text": "IF [1]\n\r1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases\n\rTHEN:\n\rthe output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep.\n\rELSE:\n\rLOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1318348.0", "Description": "IF [1]\n\r1.) the value of LOCAA_s_LgtCtlA_StDeceCritMax increases\n\rTHEN:\n\rthe output signal LOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall show the value true for 1 timestep.\n\rELSE:\n\rLOCAA_s_LgtCtlA_FlgStDeceCritMaxChg shall be false", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
169	16651897.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LgtLim LgtLim Raw { "ID": "16651897.0", "ASIL": " ", "Text": "LgtLim", "Type": "Folder", "Status": "", "Summary": "LgtLim", "Relevant": "no", "column_12": "", "Foreign ID": "1287311.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
170	16651898.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))] 1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with * IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))] 1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with ADmd = ARBLGLSCA_s_LgtLimA_ADmd, StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero) 2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA 3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true 4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true 5.) the integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign This integral is reset by a conversion of VSOEM_s_VLgtVehCor. 6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true 7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with ADmd = ARBLGLSCA_s_LgtLimA_ADmd, StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero) 8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero) 9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true 10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before) 11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0) THEN: FlgRollBkCtlArb is true ELSE: FlgRollBkCtlArb is false Once FlgRollBkCtlArb is true, it remains true till (memory function): IF[OR(AND(1,2,NAND(3,4,5,OR(6,7))),8,AND(9,10))] 1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0) 2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true 3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with ADmd = ARBLGLSCA_s_LgtLimA_ADmd, StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero) 4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero) 5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true 6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before) 7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle 8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false 9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true 10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff This integral is reset by a conversion of VSOEM_s_VLgtVehCor note: The absolute value of the integral of VSOEM_s_VLgtVehCor is limited within \|VMMP_LOCAA_p_LimIntDMinMax\|. Raw { "ID": "16651898.0", "ASIL": " QM", "Text": "IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))]\n\r1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero)\n\r2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA\n\r3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true\n\r4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r5.) the integral of VSOEM_s_VLgtVehCor\n\r(numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor.\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r \n\r7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\rTHEN: \n\rFlgRollBkCtlArb is true\n\rELSE: \n\rFlgRollBkCtlArb is false\n\r \n\r \n\rOnce FlgRollBkCtlArb is true, it remains true till (memory function):\n\rIF[OR(AND(1,2,NAND(3,4,5,OR(6,7))),8,AND(9,10))]\n\r1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\r2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true\n\r \n\r3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle\n\r \n\r8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r \n\r9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero)\n\ris greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor\n\r \n\rnote:\n\rThe absolute value of the integral of VSOEM_s_VLgtVehCor is limited within \|VMMP_LOCAA_p_LimIntDMinMax\|.", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1287314.0", "Description": "IF[OR(AND(NAND(1,2,3),4,5,6), (AND(7,8,9,OR(10,11))))]\n\r1.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is greather than 0 (zero)\n\r2.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur is equal to VMMP_c_IdxReqIdARA\n\r3.) VMMP_LOCAA_p_SwtLgtLimARollBkARBDcnctARA is true\n\r4.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r5.) the integral of VSOEM_s_VLgtVehCor\n\r(numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero) is smaller than VMMP_LOCAA_p_LgtLimA_DThDrvOff with a minus-sign\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor.\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r \n\r7.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r8.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r9.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r10.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r11.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\rTHEN: \n\rFlgRollBkCtlArb is true\n\rELSE: \n\rFlgRollBkCtlArb is false\n\r \n\r \n\rOnce FlgRollBkCtlArb is true, it remains true till (memory function):\n\rIF[OR(AND(1,2,NAND(3,4,5,OR(6,7))),8,AND(9,10))]\n\r1.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle (initial value is 0)\n\r2.) VMMP_LOCAA_p_SwtRollBkEnaRstIdxReqIdChg is true\n\r \n\r3.) the value of the ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd\n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd,\n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) is smaller than 0 (zero)\n\r4.) VSOEM_s_VLgtVehCor is smaller than 0 (zero)\n\r5.) VMMP_LOCAA_p_SwtInIf_LgtLimARollBk is true\n\r6.) ARBLGLSCA_s_LgtLimA_FlgAcv has a rising edge (is true and was false in the cycle before)\n\r7.) ARBLGLSCA_s_LgtLimA_IdxReqIdCur changes its value AND ARBLGLSCA_s_LgtLimA_FlgAcv was true in the last cycle\n\r \n\r8.) ARBLGLSCA_s_LgtLimA_FlgAcv is false\n\r \n\r9.) VMMP_LOCAA_p_SwtLgtLimARollBkEnaVArb is true\n\r10.) The integral of VSOEM_s_VLgtVehCor (numeric Integral, with dt being VMMP_c_TiSmpl, initial value is zero)\n\ris greater than VMMP_LOCAA_p_LgtLimA_DThDrvOff\n\rThis integral is reset by a conversion of VSOEM_s_VLgtVehCor\n\r \n\rnote:\n\rThe absolute value of the integral of VSOEM_s_VLgtVehCor is limited within \|VMMP_LOCAA_p_LimIntDMinMax\|.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
171	16651899.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	LgtLimA LgtLimA Raw { "ID": "16651899.0", "ASIL": " ", "Text": "LgtLimA", "Type": "Folder", "Status": "", "Summary": "LgtLimA", "Relevant": "no", "column_12": "", "Foreign ID": "1104349.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
172	16651900.0	Information		no	False	type_not_target, status_filtered, relevance_filtered	This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB). This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB). Raw { "ID": "16651900.0", "ASIL": " ", "Text": "This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB).", "Type": "Information", "Status": "", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215412.0", "Description": "This chapter describes the switching between the signal clusters from LOCVL and ARBLGLSCA (shortend here: ARB).", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
173	16651901.0	Functional	Released	yes	True		All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter LOCAA_s_LgtLimA_Fl All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter LOCAA_s_LgtLimA_FlgAcv shall be false LOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft LOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft LOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft LOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm LOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM Raw { "ID": "16651901.0", "ASIL": " QM", "Text": "All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter\n\rLOCAA_s_LgtLimA_FlgAcv shall be false\n\rLOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft\n\rLOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft\n\rLOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm\n\rLOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM", "Type": "Functional", "Status": "Released", "Summary": "", "Relevant": "yes", "column_12": "", "Foreign ID": "1213111.0", "Description": "All output signals of LgtLimA-set shall show their default values, if not required differently in this chapter\n\rLOCAA_s_LgtLimA_FlgAcv shall be false\n\rLOCAA_s_LgtLimA_ADmd shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_APredTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_AGrdMaxDec shall be VMMP_LOC_c_LimA_AGrdDecDft\n\rLOCAA_s_LgtLimA_AGrdMaxInc shall be VMMP_LOC_c_LimA_AGrdIncDft\n\rLOCAA_s_LgtLimA_ATlrHiTar shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_ATlrHiDyn shall be VMMP_LOC_c_LimA_ADft\n\rLOCAA_s_LgtLimA_MdTarDyn shall be VMMP_LOC_c_LgtLimA_MdTarDynNrm\n\rLOCAA_s_LgtLimA_StDeceCritMax shall be VMMP_c_IdxSafeCritQM", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
174	16651902.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	Lim_arbitration Lim_arbitration Raw { "ID": "16651902.0", "ASIL": " ", "Text": "Lim_arbitration", "Type": "Folder", "Status": "", "Summary": "Lim_arbitration", "Relevant": "no", "column_12": "", "Foreign ID": "1213145.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
175	16651903.0	Information		no	False	type_not_target, status_filtered, relevance_filtered	In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) bas In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point. The hypothetical operation points will be calculated out of - Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before) - gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn) The information which cluster is chosen, is indicated in the variable Lim_arbitration. Raw { "ID": "16651903.0", "ASIL": " ", "Text": "In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point.\n\rThe hypothetical operation points will be calculated out of\n\r- Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before)\n\r- gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn)\n\rThe information which cluster is chosen, is indicated in the variable Lim_arbitration.", "Type": "Information", "Status": "", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1213154.0", "Description": "In order to arbitrate LgtLimA-signals a hypothetical operation point will be calculated for each signal cluster (ARB or LOCVL) based on the current operation point of the vehicle. The signal cluster with the lowest hypothetical operation point will be chosen and its signals will be switched. Only if ASOPOT_s_ATqDmd is below all hypothetical operation points, the last signal cluster stays arbitrated, till ASOPOT_s_ATqDmd is greater or equal to the lowest hypothetical operation point.\n\rThe hypothetical operation points will be calculated out of\n\r- Startingpoint (ASOPOT_s_ATqDmd or ADmd, ASOPOT_s_APotRgn and ATlrHiDyn depending on the relation of to ASOPOT_s_ATqDmd/LgtLimA_ARef and if signal cluster was arbitrated before)\n\r- gradients (AGrdMaxDec, AGrdMaxInc depending on MdTarDyn)\n\rThe information which cluster is chosen, is indicated in the variable Lim_arbitration.", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
176	16651904.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF [1] 1.) VMMP_p_SwtSelAGrdRefLgtLim is true THEN: LgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of L IF [1] 1.) VMMP_p_SwtSelAGrdRefLgtLim is true THEN: LgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd (Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd))) ELSE: LgtLimA_ARef is ASOPOT_s_ATqDmd important hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd Raw { "ID": "16651904.0", "ASIL": " QM", "Text": "IF [1]\n\r1.) VMMP_p_SwtSelAGrdRefLgtLim is true\n\rTHEN: \n\rLgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd \n\r(Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd)))\n\rELSE:\n\rLgtLimA_ARef is ASOPOT_s_ATqDmd\n\r \n\rimportant hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1349729.0", "Description": "IF [1]\n\r1.) VMMP_p_SwtSelAGrdRefLgtLim is true\n\rTHEN: \n\rLgtLimA_ARef is equal to ASOPOT_s_APotRgn, but saturated to a maximum of LOCADF_s_LgtLimA_ATlrHiDyn and a minumum of LOCADF_s_LgtLimA_ADmd \n\r(Min(LOCADF_s_LgtLimA_ATlrHiDyn, Max(ASOPOT_s_APotRgn, LOCADF_s_LgtLimA_ADmd)))\n\rELSE:\n\rLgtLimA_ARef is ASOPOT_s_ATqDmd\n\r \n\rimportant hint: Hint: former modules will ensure LOCADF_s_LgtLimA_ATlrHiDyn is always greater or equal to LOCADF_s_LgtLimA_ADmd", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
177	16651905.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true THEN: ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg ELSE: ATarMdTa IF[1] 1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true THEN: ATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg ELSE: ATarMdTarDynLim is ASOPOT_s_ANeutTh Raw { "ID": "16651905.0", "ASIL": " QM", "Text": "IF[1] \n\r1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true \n\rTHEN: \n\rATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg \n\rELSE: \n\rATarMdTarDynLim is ASOPOT_s_ANeutTh", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1249184.0", "Description": "IF[1] \n\r1.) VMMP_LOCADF_p_LgtA_SwtMdTarDynADrgANeut is true \n\rTHEN: \n\rATarMdTarDynLim is DSOPRE_s_DrvPed_ADrg \n\rELSE: \n\rATarMdTarDynLim is ASOPOT_s_ANeutTh", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
178	16651906.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	next_workstep of ARB next_workstep of ARB Raw { "ID": "16651906.0", "ASIL": " ", "Text": "next_workstep of ARB", "Type": "Folder", "Status": "", "Summary": "next_workstep of ARB", "Relevant": "no", "column_12": "", "Foreign ID": "1215285.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
179	16651908.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF [AND(1,2,3)] 1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true 2.) FlgRollBkCtlArb is false 3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true IF [AND(1,2,3)] 1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true 2.) FlgRollBkCtlArb is false 3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true THEN: this chapter next_workstep of ARB is valid ELSE: next_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB) Raw { "ID": "16651908.0", "ASIL": " QM", "Text": "IF [AND(1,2,3)]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN:\n\rthis chapter next_workstep of ARB is valid\n\rELSE:\n\rnext_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB)", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215287.0", "Description": "IF [AND(1,2,3)]\n\r1.) ARBLGLSCA_s_LgtLimA_FlgAcv is true\n\r2.) FlgRollBkCtlArb is false\n\r3.) VMMP_LOCAA_p_SwtInIf_ARBLgtLimA is true\n\rTHEN:\n\rthis chapter next_workstep of ARB is valid\n\rELSE:\n\rnext_workstep of ARB shall have no impact on the arbitration (Lim_arbitration shall never be ARB)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
180	16651909.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor (with ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor , StDeceCritMa demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor (with ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor , StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), MAX(ASOPOT_s_APotRgn , ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd (with ADmd = ARBLGLSCA_s_LgtLimA_ADmd, StDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) ) ) Raw { "ID": "16651909.0", "ASIL": " QM", "Text": "demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor \n\r(with ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor\n\r, \n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd \n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd, \n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) \n\r) \n\r)", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1224360.0", "Description": "demand is MIN(ASIL-limited signal ARBLGLSCA_LgtLimA_ATlrHiDynCor \n\r(with ADmd = ARBLGLSCA_LgtLimA_ATlrHiDynCor\n\r, \n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal ARBLGLSCA_s_LgtLimA_ADmd \n\r(with ADmd = ARBLGLSCA_s_LgtLimA_ADmd, \n\rStDeceCritMax = ARBLGLSCA_s_LgtLimA_StDeceCritMax) \n\r) \n\r)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
181	16651910.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	positive gradient positive gradient Raw { "ID": "16651910.0", "ASIL": " ", "Text": "positive gradient", "Type": "Folder", "Status": "", "Summary": "positive gradient", "Relevant": "no", "column_12": "", "Foreign ID": "1215319.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
182	16651911.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positiv gradient is valid IF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positiv gradient is valid Raw { "ID": "16651911.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positiv gradient is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1214904.0", "Description": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positiv gradient is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
183	16651912.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated) initial value (for first startup): Lim_arbitrat IF[1] 1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated) initial value (for first startup): Lim_arbitration was not ARB in the last cycle THEN: starting_point is LgtLimA_ARef ELSE: starting_point is demand Raw { "ID": "16651912.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not ARB in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215296.0", "Description": "IF[1]\n\r1.) Lim_arbitration was ARB in the last cycle (ARB was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not ARB in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
184	16651913.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl)) next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl)) Raw { "ID": "16651913.0", "ASIL": " QM", "Text": "next_workstep of ARB = 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": "1215322.0", "Description": "next_workstep of ARB = MIN(demand, starting_point + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
185	16651914.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	gradient gradient Raw { "ID": "16651914.0", "ASIL": " ", "Text": "gradient", "Type": "Folder", "Status": "", "Summary": "gradient", "Relevant": "no", "column_12": "", "Foreign ID": "1224366.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
186	16651915.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this cha gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter Raw { "ID": "16651915.0", "ASIL": " QM", "Text": "gradient is the maximum of ARBLGCSC_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": "1215329.0", "Description": "gradient is the maximum of ARBLGCSC_s_LgtLimA_AGrdMaxInc and VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
187	16651916.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtL IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncEmgcy Raw { "ID": "16651916.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_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": "1215299.0", "Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_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" }
188	16651917.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtL IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim 2.) demand is greater than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxIncCmft Raw { "ID": "16651917.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_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": "1215326.0", "Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is smaller than ATarMdTarDynLim\n\r2.) demand is greater than LgtLimA_ARef\n\r3.) ARBLGCSC_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" }
189	16651918.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	negative gradient negative gradient Raw { "ID": "16651918.0", "ASIL": " ", "Text": "negative gradient", "Type": "Folder", "Status": "", "Summary": "negative gradient", "Relevant": "no", "column_12": "", "Foreign ID": "1215332.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
190	16651919.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) demand is less than LgtLimA_ARef THEN: This chapter negative gradient is valid IF[1] 1.) demand is less than LgtLimA_ARef THEN: This chapter negative gradient is valid Raw { "ID": "16651919.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) demand is less than LgtLimA_ARef\n\rTHEN: \n\rThis chapter negative gradient is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215334.0", "Description": "IF[1]\n\r1.) demand is less than LgtLimA_ARef\n\rTHEN: \n\rThis chapter negative gradient is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
191	16651920.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	gradient gradient Raw { "ID": "16651920.0", "ASIL": " ", "Text": "gradient", "Type": "Folder", "Status": "", "Summary": "gradient", "Relevant": "no", "column_12": "", "Foreign ID": "1224368.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
192	16651921.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	gradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required d gradient is the minimum of ARBLGCSC_s_LgtLimA_AGrdMaxDec and the negative value of VMMP_LOCAA_p_LgtA_AGrdMinBdry if not required differently in this chapter Raw { "ID": "16651921.0", "ASIL": " QM", "Text": "gradient is the minimum of ARBLGCSC_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": "1215346.0", "Description": "gradient is the minimum of ARBLGCSC_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" }
193	16651922.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtL IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynEmgcyFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecEmgcy Raw { "ID": "16651922.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_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": "1215342.0", "Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_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" }
194	16651923.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtL IF[AND(1,2,3)] 1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim 2.) demand is smaller than LgtLimA_ARef 3.) ARBLGCSC_s_LgtLimA_MdTarDyn is VMMP_LOC_c_LgtLimA_MdTarDynDynCmftFct THEN: gradient is VMMP_LOCADF_p_LgtLimA_AGrdMaxDecCmft Raw { "ID": "16651923.0", "ASIL": " QM", "Text": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_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": "1215344.0", "Description": "IF[AND(1,2,3)]\n\r1.) ASOPOT_s_ATqDmd is greater than ATarMdTarDynLim\n\r2.) demand is smaller than LgtLimA_ARef\n\r3.) ARBLGCSC_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" }
195	16651924.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl)) next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl)) Raw { "ID": "16651924.0", "ASIL": " QM", "Text": "next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215336.0", "Description": "next_workstep of ARB = Max(demand; ASOPOT_s_ATqDmd + (gradient (as described in the following requirements) x VMMP_c_TiSmpl))", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
196	16651925.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	next_workstep of LOCVL next_workstep of LOCVL Raw { "ID": "16651925.0", "ASIL": " ", "Text": "next_workstep of LOCVL", "Type": "Folder", "Status": "", "Summary": "next_workstep of LOCVL", "Relevant": "no", "column_12": "", "Foreign ID": "1215380.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
197	16651926.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF [AND(1,2)] 1.) LOCVL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true THEN: this chaptor next_workstep IF [AND(1,2)] 1.) LOCVL_s_LgtLimA_FlgAcv is true 2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true THEN: this chaptor next_workstep of LOCVL is valid ELSE: next_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL) Raw { "ID": "16651926.0", "ASIL": " QM", "Text": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rthis chaptor next_workstep of LOCVL is valid\n\rELSE:\n\rnext_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL)", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215379.0", "Description": "IF [AND(1,2)]\n\r1.) LOCVL_s_LgtLimA_FlgAcv is true\n\r2.) VMMP_LOCAA_p_SwtInIf_LOCALgtLimA is true\n\rTHEN:\n\rthis chaptor next_workstep of LOCVL is valid\n\rELSE:\n\rnext_workstep of LOCVL shall have no impact on the arbitration (Lim_arbitration shall never be LOCVL)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
198	16651927.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor (with ADmd = LOCVL_LgtLimA_ATlrHiDynCor , StDeceCritMax = LOCVL demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor (with ADmd = LOCVL_LgtLimA_ATlrHiDynCor , StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), MAX(ASOPOT_s_APotRgn , ASIL-limited signal LOCVL_LgtLimA_ADmdCor (with ADmd = LOCVL_LgtLimA_ADmdCor, StDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) ) ) Raw { "ID": "16651927.0", "ASIL": " QM", "Text": "demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCVL_LgtLimA_ATlrHiDynCor\n\r, \n\rStDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal LOCVL_LgtLimA_ADmdCor \n\r(with ADmd = LOCVL_LgtLimA_ADmdCor, \n\rStDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) \n\r) \n\r)", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1224370.0", "Description": "demand is MIN(ASIL-limited signal LOCVL_LgtLimA_ATlrHiDynCor\n\r(with ADmd = LOCVL_LgtLimA_ATlrHiDynCor\n\r, \n\rStDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax), \n\rMAX(ASOPOT_s_APotRgn\n\r, ASIL-limited signal LOCVL_LgtLimA_ADmdCor \n\r(with ADmd = LOCVL_LgtLimA_ADmdCor, \n\rStDeceCritMax = LOCVL_s_LgtLimA_StDeceCritMax) \n\r) \n\r)", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
199	16651928.0	Folder		no	False	type_not_target, status_filtered, relevance_filtered	positive gradient positive gradient Raw { "ID": "16651928.0", "ASIL": " ", "Text": "positive gradient", "Type": "Folder", "Status": "", "Summary": "positive gradient", "Relevant": "no", "column_12": "", "Foreign ID": "1215382.0", "Description": "", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
200	16651929.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positive gradient is valid IF[1] 1.) demand is greater than or equal to LgtLimA_ARef THEN: This chapter positive gradient is valid Raw { "ID": "16651929.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positive gradient is valid", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215387.0", "Description": "IF[1]\n\r1.) demand is greater than or equal to LgtLimA_ARef\n\rTHEN: \n\rThis chapter positive gradient is valid", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }
201	16651930.0	Pre Condition	Released	no	False	type_not_target, relevance_filtered	IF[1] 1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated) initial value (for first startup): Lim_arbi IF[1] 1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated) initial value (for first startup): Lim_arbitration was not LOCVL in the last cycle THEN: starting_point is LgtLimA_ARef ELSE: starting_point is demand Raw { "ID": "16651930.0", "ASIL": " QM", "Text": "IF[1]\n\r1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not LOCVL in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand", "Type": "Pre Condition", "Status": "Released", "Summary": "", "Relevant": "no", "column_12": "", "Foreign ID": "1215389.0", "Description": "IF[1]\n\r1.) Lim_arbitration was LOCVL in the last cycle (LOCVL was already arbitrated)\n\rinitial value (for first startup): Lim_arbitration was not LOCVL in the last cycle\n\rTHEN:\n\rstarting_point is LgtLimA_ARef \n\rELSE: \n\rstarting_point is demand", "Vehicle Launch": "", "Vehicle Platform": "E³ 1.2" }

Source files

Mapping profiles

Import history

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

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw

Raw