Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_SOUT_SOUTACTR.xlsxrequirement150b6895303c455
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBWBA.xlsxrequirement30615cfacd2cebf
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBVSSAFE.xlsxrequirement1470a7549953b8d
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBVSPROD.xlsxrequirement98697822772eb7
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBVSP.xlsxrequirement13076b7c5e950f4
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBPCR.xlsxrequirement181d77ebb143af4
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBPA.xlsxrequirement3757e40223dc3ee
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBMKB.xlsxrequirement699bb70958383c
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBLIM.xlsxrequirement91a827032ef61c
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBEPB.xlsxrequirement1463444a9f7b61e
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBEA.xlsxrequirement185bbac1783bdd1
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBCAA.xlsxrequirement37190af07d4f163
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBBCS.xlsxrequirement1794e29a12ccd7d
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBACC.xlsxrequirement93e7564e67700e
VME-PROD-VehicleMotionManagement - VMMP_SINFCT_CFBACA.xlsxrequirement276e0768ad03f86
VME-PROD-VehicleMotionManagement - VMMP_SCM.xlsxrequirement38bbbab81c2523
VME-PROD-VehicleMotionManagement - VMMP_LOCC_LOCCTS.xlsxrequirement1987da0335fbeb2
VME-PROD-VehicleMotionManagement - VMMP_LOCC_LOCCTC.xlsxrequirement968200e999be5b2
VME-PROD-VehicleMotionManagement - VMMP_LOCC_LOCCOP.xlsxrequirement111a9fd31d42e32
VME-PROD-VehicleMotionManagement - VMMP_LOCC_LOCCDRC.xlsxrequirement316fc5d912c53e3

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

RowIDTypeStatusRelevantCandidateReasonNormalized text
10216646681.0FunctionalReleasedyesTrue
IF [1]: 1) Dyn4IdEveTyp = 1 THEN: ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig ELSE: ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Id
IF [1]:

1) Dyn4IdEveTyp = 1

THEN:

ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig

ELSE:

ASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve

remark:

1- if the condition is "true" even at the simulation start, the output should be triggered accordingly.

2- If the condition is toggling (true/false), then trigger at output should trigger accordingly

Raw

{
  "ID": "16646681.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig\n\rELSE:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the condition is \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the condition is toggling (true/false), then trigger at output should trigger accordingly",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1256001.0",
  "Description": "IF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_Dyn4IdEveTypTrig\n\rELSE:\n\rASM_s_Dyn4_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the condition is \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the condition is toggling (true/false), then trigger at output should trigger accordingly",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10316646682.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Dyn4Dat calculation
Dyn4Dat calculation

Raw

{
  "ID": "16646682.0",
  "ASIL": "  ",
  "Text": "Dyn4Dat calculation",
  "Type": "Folder",
  "Status": "",
  "Summary": "Dyn4Dat calculation",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1255329.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10416646683.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.
Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.

Raw

{
  "ID": "16646683.0",
  "ASIL": "  ",
  "Text": "Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1416661.0",
  "Description": "Before the shifting operation, the input should be converted to Uint8, unless it is explicitly specified otherwise.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10516646684.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [AND(1,2)]: 1) LOCAA_s_LgtCtlA_FlgAcv = 1 2) LOCAA_s_LgtLimA_FlgAcv = 1 THEN: ADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_
IF [AND(1,2)]:

1) LOCAA_s_LgtCtlA_FlgAcv = 1

2) LOCAA_s_LgtLimA_FlgAcv = 1

THEN:

ADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_s_LgtLimA_ADmd)

ELSEIF [3]:

3) LOCAA_s_LgtCtlA_FlgAcv = 1

THEN:

ADmd1 = LOCADSL_s_LgtCtlA_ADmd

ELSEIF [4]:

4) LOCAA_s_LgtLimA_FlgAcv = 1

THEN: 

ADmd1 = LOCADSL_s_LgtLimA_ADmd

ELSE: 

ADmd1 = 0

ADm1_Prod = ADmd1*0.5-14 (where the product result is boundered between [-14 10])

ADmd = first 6 bits of ADm1_Prod

Convert the input signal to Uint8 before shifting

Raw

{
  "ID": "16646684.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) LOCAA_s_LgtCtlA_FlgAcv = 1\n\r2) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_s_LgtLimA_ADmd)\n\rELSEIF [3]:\n\r3) LOCAA_s_LgtCtlA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = LOCADSL_s_LgtCtlA_ADmd\n\rELSEIF [4]:\n\r4) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN: \n\rADmd1 = LOCADSL_s_LgtLimA_ADmd\n\rELSE: \n\rADmd1 = 0\n\rADm1_Prod = ADmd1*0.5-14 (where the product result is boundered between [-14 10])\n\rADmd = first 6 bits of ADm1_Prod\n\r \n\r\n\rConvert the input signal to Uint8 before shifting",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256003.0",
  "Description": "IF [AND(1,2)]:\n\r1) LOCAA_s_LgtCtlA_FlgAcv = 1\n\r2) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = min (LOCADSL_s_LgtCtlA_ADmd, LOCADSL_s_LgtLimA_ADmd)\n\rELSEIF [3]:\n\r3) LOCAA_s_LgtCtlA_FlgAcv = 1\n\rTHEN:\n\rADmd1 = LOCADSL_s_LgtCtlA_ADmd\n\rELSEIF [4]:\n\r4) LOCAA_s_LgtLimA_FlgAcv = 1\n\rTHEN: \n\rADmd1 = LOCADSL_s_LgtLimA_ADmd\n\rELSE: \n\rADmd1 = 0\n\rADm1_Prod = ADmd1*0.5-14 (where the product result is boundered between [-14 10])\n\rADmd = first 6 bits of ADm1_Prod\n\r \n\r\n\rConvert the input signal to Uint8 before shifting",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10616646685.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000]) TqWhlDmd1
TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000])

TqWhlDmd1 = the first 5 bits of TqWhlDmd shifted on 6 bits to left (

Convert the input signal to Uint16 before shifting)

TqWhlDmd2 = the first 5 bits of TqWhlDmd shifted on 2 bits to right

(Convert the input signal to Uint8 before shifting)

Raw

{
  "ID": "16646685.0",
  "ASIL": "  QM",
  "Text": "TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000])\n\rTqWhlDmd1 = the first 5 bits of TqWhlDmd shifted on 6 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rTqWhlDmd2 = the first 5 bits of TqWhlDmd shifted on 2 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256005.0",
  "Description": "TqWhlDmd = (LODM_s_TqWhlDeceReq + AIPT_s_TqWhlBrkDelta) *400 (where the product result is boundered between [0 12000])\n\rTqWhlDmd1 = the first 5 bits of TqWhlDmd shifted on 6 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rTqWhlDmd2 = the first 5 bits of TqWhlDmd shifted on 2 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10716646686.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000]) TqWhlPTReq = the first 5 bits of AIPT
AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000])

TqWhlPTReq = the first 5 bits of AIPT_Prod shifted on 3 bits to left

Convert the input signal to Uint8 before shifting

Raw

{
  "ID": "16646686.0",
  "ASIL": "  QM",
  "Text": "AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000])\n\rTqWhlPTReq = the first 5 bits of AIPT_Prod shifted on 3 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256007.0",
  "Description": "AIPT_Prod = AIPT_s_TqWhlPTReq*400 (where the product result is boundered between [0 12000])\n\rTqWhlPTReq = the first 5 bits of AIPT_Prod shifted on 3 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10816646687.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000]) Convert the input signal to Uin
DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000])

Convert the input signal to Uint8 before shifting

BrkPed_TqWhlReq = the first 5 bits of DSO_Prod

Raw

{
  "ID": "16646687.0",
  "ASIL": "  QM",
  "Text": "DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000])\n\r \n\rConvert the input signal to Uint8 before shifting\n\rBrkPed_TqWhlReq = the first 5 bits of DSO_Prod",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256009.0",
  "Description": "DSO_Prod = DSOPRE_s_BrkPed_TqWhlReq*400 (where the product result is boundered between [0 12000])\n\r \n\rConvert the input signal to Uint8 before shifting\n\rBrkPed_TqWhlReq = the first 5 bits of DSO_Prod",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10916646688.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255]) VLgtVehNrm1 = the first 8 bit
VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255])

VLgtVehNrm1 = the first 8 bits of VLgtVehNrm shifted on 5 bits to left (

Convert the input signal to Uint16 before shifting)

VLgtVehNrm2 = the first 8 bits of VLgtVehNrm shifted on 3 bits to right

(Convert the input signal to Uint8 before shifting)

Raw

{
  "ID": "16646688.0",
  "ASIL": "  QM",
  "Text": "VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255])\n\rVLgtVehNrm1 = the first 8 bits of VLgtVehNrm shifted on 5 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rVLgtVehNrm2 = the first 8 bits of VLgtVehNrm shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256011.0",
  "Description": "VLgtVehNrm = round(3,6*abs(VSOEM_s_VLgtVehNrm)*3.6) where (the result is boundered between [0 255])\n\rVLgtVehNrm1 = the first 8 bits of VLgtVehNrm shifted on 5 bits to left (\n\rConvert the input signal to Uint16 before shifting)\n\r \n\rVLgtVehNrm2 = the first 8 bits of VLgtVehNrm shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11016646689.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100]) DrvPed_PrctPed1 = the first 6 bit
DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100])

DrvPed_PrctPed1 = the first 6 bits of DrvPed_Prod shifted on 5 bits to left

(Convert the input signal to Uint16 before shifting)

DrvPed_PrctPed2 = the first 6 bits of DrvPed_Prod shifted on 3 bits to right

(Convert the input signal to Uint8 before shifting)

Raw

{
  "ID": "16646689.0",
  "ASIL": "  QM",
  "Text": "DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100])\n\rDrvPed_PrctPed1 = the first 6 bits of DrvPed_Prod shifted on 5 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rDrvPed_PrctPed2 = the first 6 bits of DrvPed_Prod shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256013.0",
  "Description": "DrvPed_Prod = DSOPRE_s_DrvPed_PrctPed*2 (where the product result is boundered between [0 100])\n\rDrvPed_PrctPed1 = the first 6 bits of DrvPed_Prod shifted on 5 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rDrvPed_PrctPed2 = the first 6 bits of DrvPed_Prod shifted on 3 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11116646690.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276] TqWhlBrkDes1 = the
AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276]

TqWhlBrkDes1 = the first 7 bits of AITV_Prod shifted on 3 bits to left

(Convert the input signal to Uint16 before shifting)

TqWhlBrkDes2 = the first 7 bits of AITV_Prod shifted on 5 bits to right

(Convert the input signal to Uint8 before shifting)

Raw

{
  "ID": "16646690.0",
  "ASIL": "  QM",
  "Text": "AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276]\n\rTqWhlBrkDes1 = the first 7 bits of AITV_Prod shifted on 3 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rTqWhlBrkDes2 = the first 7 bits of AITV_Prod shifted on 5 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256015.0",
  "Description": "AITV_Prod = AITV_s_TqWhlBrkDes*0.204625-12.279 (where the product result is boundered between [-12.279 12.276]\n\rTqWhlBrkDes1 = the first 7 bits of AITV_Prod shifted on 3 bits to left\n\r(Convert the input signal to Uint16 before shifting)\n\rTqWhlBrkDes2 = the first 7 bits of AITV_Prod shifted on 5 bits to right\n\r(Convert the input signal to Uint8 before shifting)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11216646691.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100]) StgPrf = the first 5 bits of EPS_Prod shifted o
EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100])

StgPrf = the first 5 bits of EPS_Prod shifted on 2 bits to left

Convert the input signal to Uint8 before shifting

Raw

{
  "ID": "16646691.0",
  "ASIL": "  QM",
  "Text": "EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100])\n\rStgPrf = the first 5 bits of EPS_Prod shifted on 2 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256036.0",
  "Description": "EPS_Prod = EPS_s_StgPrf*5 (where the product result is boundered between [0 100])\n\rStgPrf = the first 5 bits of EPS_Prod shifted on 2 bits to left\n\r \n\rConvert the input signal to Uint8 before shifting",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11316646692.0FunctionalReleasedyesTrue
Before bitwise operations, the values should be converted to Uint8 Val1 = BitwiseOR (ADmd, TqWhlDmd1) Val2 = BitwiseOR (TqWhlDmd
Before bitwise operations, the values should be converted to Uint8

Val1 = BitwiseOR (ADmd, TqWhlDmd1)

Val2 = BitwiseOR (TqWhlDmd2, TqWhlPTReq)

Val3 = BitwiseOR (BrkPed_TqWhlReq, VLgtVehNrm1)

Val4 = BitwiseOR (VLgtVehNrm2, DrvPed_PrctPed1)

Val5 = BitwiseOR (DrvPed_PrctPed2, TqWhlBrkDes1)

Val6 = BitwiseOR (TqWhlBrkDes2, StgPrf)

IF [1]:

1) Dyn4IdEveTyp = 1

THEN:

ASM_s1_Dyn4Dat = [Val1, Val2, Val3, Val4, Val5, Val6]

ELSE:

ASM_s1_Dyn4Dat = 0

Raw

{
  "ID": "16646692.0",
  "ASIL": "  QM",
  "Text": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (ADmd, TqWhlDmd1)\n\rVal2 = BitwiseOR (TqWhlDmd2, TqWhlPTReq)\n\rVal3 = BitwiseOR (BrkPed_TqWhlReq, VLgtVehNrm1)\n\rVal4 = BitwiseOR (VLgtVehNrm2, DrvPed_PrctPed1)\n\rVal5 = BitwiseOR (DrvPed_PrctPed2, TqWhlBrkDes1)\n\rVal6 = BitwiseOR (TqWhlBrkDes2, StgPrf)\n\rIF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s1_Dyn4Dat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_Dyn4Dat = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1256067.0",
  "Description": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (ADmd, TqWhlDmd1)\n\rVal2 = BitwiseOR (TqWhlDmd2, TqWhlPTReq)\n\rVal3 = BitwiseOR (BrkPed_TqWhlReq, VLgtVehNrm1)\n\rVal4 = BitwiseOR (VLgtVehNrm2, DrvPed_PrctPed1)\n\rVal5 = BitwiseOR (DrvPed_PrctPed2, TqWhlBrkDes1)\n\rVal6 = BitwiseOR (TqWhlBrkDes2, StgPrf)\n\rIF [1]:\n\r1) Dyn4IdEveTyp = 1\n\rTHEN:\n\rASM_s1_Dyn4Dat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_Dyn4Dat = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11416646693.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Static
Static

Raw

{
  "ID": "16646693.0",
  "ASIL": "  ",
  "Text": "Static",
  "Type": "Folder",
  "Status": "",
  "Summary": "Static",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254881.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11516646694.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val
The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val2, *val3, *val4, *val5, *val6]

Each element of this array is computed separately with the merged function BitwiseOr.

Raw

{
  "ID": "16646694.0",
  "ASIL": "  ",
  "Text": "The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val2, *val3, *val4, *val5, *val6]\n\rEach element of this array is computed separately with the merged function BitwiseOr.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256076.0",
  "Description": "The output signal of chapter StatDat calculation is an array of length 6, which would be given as follow. outputsig = [*val1, *val2, *val3, *val4, *val5, *val6]\n\rEach element of this array is computed separately with the merged function BitwiseOr.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11616646695.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Stat_IdEveTyp calculation
Stat_IdEveTyp calculation

Raw

{
  "ID": "16646695.0",
  "ASIL": "  ",
  "Text": "Stat_IdEveTyp calculation",
  "Type": "Folder",
  "Status": "",
  "Summary": "Stat_IdEveTyp calculation",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1255331.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11716646696.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7 IF [1]: 1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1) THE
valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7

IF [1]:

1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1)

THEN:

StatIdEveTyp1 = 1

ELSE:

StatIdEveTyp1 = 0

Raw

{
  "ID": "16646696.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp1 = 1\n\rELSE:\n\rStatIdEveTyp1 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256078.0",
  "Description": "valid values for ASOAF_s_StAntiLockCtl are: 0, 1, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StAntiLockCtl(k) != ASOAF_s_StAntiLockCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp1 = 1\n\rELSE:\n\rStatIdEveTyp1 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11816646697.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7 IF [1]: 1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1) THEN:
valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7

IF [1]:

1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1)

THEN:

StatIdEveTyp2 = 1

ELSE:

StatIdEveTyp2 = 0

Raw

{
  "ID": "16646697.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp2 = 1\n\rELSE:\n\rStatIdEveTyp2 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256080.0",
  "Description": "valid values for ASOAF_s_StVehDynCtl are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StVehDynCtl(k) != ASOAF_s_StVehDynCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp2 = 1\n\rELSE:\n\rStatIdEveTyp2 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11916646698.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7 IF [1]: 1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1) THEN: StatI
valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7

IF [1]:

1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1)

THEN:

StatIdEveTyp3 = 1

ELSE:

StatIdEveTyp3 = 0

Raw

{
  "ID": "16646698.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp3 = 1\n\rELSE:\n\rStatIdEveTyp3 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256082.0",
  "Description": "valid values for ASOAF_s_StEngDrgCtl are: 0, 1, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEngDrgCtl(k) != ASOAF_s_StEngDrgCtl(k-1)\n\rTHEN:\n\rStatIdEveTyp3 = 1\n\rELSE:\n\rStatIdEveTyp3 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12016646699.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7 IF [1]: 1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1) THE
valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7

IF [1]:

1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1)

THEN:

StatIdEveTyp4 = 1

ELSE:

StatIdEveTyp4 = 0

Raw

{
  "ID": "16646699.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1)\n\rTHEN:\n\rStatIdEveTyp4 = 1\n\rELSE:\n\rStatIdEveTyp4 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256084.0",
  "Description": "valid values for ASOAF_s_StTracCtlSys are: 0, 1, 2, 5, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StTracCtlSys(k) != ASOAF_s_StTracCtlSys(k-1)\n\rTHEN:\n\rStatIdEveTyp4 = 1\n\rELSE:\n\rStatIdEveTyp4 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12116646700.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7) remark: a switch between values into brackets doesn't lead to a trigger.
valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7)

remark: a switch between values into brackets doesn't lead to a trigger.

IF [1]:

1) ASOAF_s_StEscOpm(k) != ASOAF_s_StEscOpm(k-1)

THEN:

StatIdEveTyp5 = 1

ELSE:

StatIdEveTyp5 = 0

Raw

{
  "ID": "16646700.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7)\n\rremark: a switch between values into brackets doesn't lead to a trigger.\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEscOpm(k) != ASOAF_s_StEscOpm(k-1)\n\rTHEN:\n\rStatIdEveTyp5 = 1\n\rELSE:\n\rStatIdEveTyp5 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256086.0",
  "Description": "valid values for ASOAF_s_StEscOpm are:0, 1, 2, (6 OR 7)\n\rremark: a switch between values into brackets doesn't lead to a trigger.\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_StEscOpm(k) != ASOAF_s_StEscOpm(k-1)\n\rTHEN:\n\rStatIdEveTyp5 = 1\n\rELSE:\n\rStatIdEveTyp5 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12216646701.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7 IF [1]: 1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StA
valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7

IF [1]:

1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvl(k-1)

THEN:

StatIdEveTyp6 = 1

ELSE:

StatIdEveTyp6 = 0

Raw

{
  "ID": "16646701.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp6 = 1\n\rELSE:\n\rStatIdEveTyp6 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256088.0",
  "Description": "valid values for ASOAF_s_EPBActrCtl_StAvl are: 0, 1, 2, 3, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl(k) != ASOAF_s_EPBActrCtl_StAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp6 = 1\n\rELSE:\n\rStatIdEveTyp6 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12316646702.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3 IF [1]: 1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLo
valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3

IF [1]:

1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLock_StCpbPrkLockUnit(k-1)

THEN:

StatIdEveTyp7 = 1

ELSE:

StatIdEveTyp7 = 0

Raw

{
  "ID": "16646702.0",
  "ASIL": "  QM",
  "Text": "valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLock_StCpbPrkLockUnit(k-1)\n\rTHEN:\n\rStatIdEveTyp7 = 1\n\rELSE:\n\rStatIdEveTyp7 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256090.0",
  "Description": "valid values for ASOAF_s_PrkLock_StCpbPrkLockUnit are:0, 1, 2, 3\n\r \n\r\n\rIF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit(k) != ASOAF_s_PrkLock_StCpbPrkLockUnit(k-1)\n\rTHEN:\n\rStatIdEveTyp7 = 1\n\rELSE:\n\rStatIdEveTyp7 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12416646703.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15 IF [1]: 1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1) THEN: StatIdEve
valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15

IF [1]:

1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1)

THEN:

StatIdEveTyp8 = 1

ELSE:

StatIdEveTyp8 = 0

Raw

{
  "ID": "16646703.0",
  "ASIL": "  QM",
  "Text": "valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1)\n\rTHEN:\n\rStatIdEveTyp8 = 1\n\rELSE:\n\rStatIdEveTyp8 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256092.0",
  "Description": "valid values for EPS_s_StQFK are: 1, 2, 3, 4, 5, 6, 7, 8, 12, 15\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StQFK(k) != EPS_s_StQFK(k-1)\n\rTHEN:\n\rStatIdEveTyp8 = 1\n\rELSE:\n\rStatIdEveTyp8 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12516646704.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 IF [1]: 1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1) THEN:
valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12

IF [1]:

1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1)

THEN:

StatIdEveTyp9 = 1

ELSE:

StatIdEveTyp9 = 0

Raw

{
  "ID": "16646704.0",
  "ASIL": "  QM",
  "Text": "valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\n\r \n\r\n\rIF [1]:\n\r1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1)\n\rTHEN:\n\rStatIdEveTyp9 = 1\n\rELSE:\n\rStatIdEveTyp9 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256094.0",
  "Description": "valid values for HAL_s_SysSts are: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\n\r \n\r\n\rIF [1]:\n\r1) HAL_s_SysSts(k) != HAL_s_SysSts(k-1)\n\rTHEN:\n\rStatIdEveTyp9 = 1\n\rELSE:\n\rStatIdEveTyp9 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12616646705.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7 IF [1]: 1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1) THEN: St
valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7

IF [1]:

1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1)

THEN:

StatIdEveTyp10 = 1

ELSE:

StatIdEveTyp10 = 0

Raw

{
  "ID": "16646705.0",
  "ASIL": "  QM",
  "Text": "valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1)\n\rTHEN:\n\rStatIdEveTyp10 = 1\n\rELSE:\n\rStatIdEveTyp10 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256096.0",
  "Description": "valid values for ESC_s_StBrkTqVect are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) ESC_s_StBrkTqVect(k) != ESC_s_StBrkTqVect(k-1)\n\rTHEN:\n\rStatIdEveTyp10 = 1\n\rELSE:\n\rStatIdEveTyp10 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12716646706.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7 IF [1]: 1) EPS_s_StSys(k) != EPS_s_StSys(k-1) THEN: StatIdEveTyp11 = 1
valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7

IF [1]:

1) EPS_s_StSys(k) != EPS_s_StSys(k-1)

THEN:

StatIdEveTyp11 = 1

ELSE:

StatIdEveTyp11 = 0

Raw

{
  "ID": "16646706.0",
  "ASIL": "  QM",
  "Text": "valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StSys(k) != EPS_s_StSys(k-1)\n\rTHEN:\n\rStatIdEveTyp11 = 1\n\rELSE:\n\rStatIdEveTyp11 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256098.0",
  "Description": "valid values for EPS_s_StSys are: 0, 1, 2, 3, 4, 6, 7\n\r \n\r\n\rIF [1]:\n\r1) EPS_s_StSys(k) != EPS_s_StSys(k-1)\n\rTHEN:\n\rStatIdEveTyp11 = 1\n\rELSE:\n\rStatIdEveTyp11 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12816646707.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7 IF [1]: 1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1) THEN: StatIdEv
valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7

IF [1]:

1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1)

THEN:

StatIdEveTyp12 = 1

ELSE:

StatIdEveTyp12 = 0

Raw

{
  "ID": "16646707.0",
  "ASIL": "  QM",
  "Text": "valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp12 = 1\n\rELSE:\n\rStatIdEveTyp12 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256100.0",
  "Description": "valid values for LOCSGC_s_StDeceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StDeceAvl(k) != LOCSGC_s_StDeceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp12 = 1\n\rELSE:\n\rStatIdEveTyp12 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12916646708.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7 IF [1]: 1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1) THEN: StatIdEv
valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7

IF [1]:

1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1)

THEN:

StatIdEveTyp13 = 1

ELSE:

StatIdEveTyp13 = 0

Raw

{
  "ID": "16646708.0",
  "ASIL": "  QM",
  "Text": "valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp13 = 1\n\rELSE:\n\rStatIdEveTyp13 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256102.0",
  "Description": "valid values for LOCSGC_s_StAcceAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LOCSGC_s_StAcceAvl(k) != LOCSGC_s_StAcceAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp13 = 1\n\rELSE:\n\rStatIdEveTyp13 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13016646709.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7 IF [1]: 1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)
valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7

IF [1]:

1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)

THEN:

StatIdEveTyp14 = 1

ELSE:

StatIdEveTyp14 = 0

Raw

{
  "ID": "16646709.0",
  "ASIL": "  QM",
  "Text": "valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp14 = 1\n\rELSE:\n\rStatIdEveTyp14 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256104.0",
  "Description": "valid values for LACC_s_LatGuide_StItAvl are: 1, 2, 3, 7\n\r \n\r\n\rIF [1]:\n\r1) LACC_s_LatGuide_StItAvl(k) != LACC_s_LatGuide_StItAvl(k-1)\n\rTHEN:\n\rStatIdEveTyp14 = 1\n\rELSE:\n\rStatIdEveTyp14 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13119013135.0FunctionalReleasedyesTrue
StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14) IF [OR(1,2,3)]: 1) StatIdEveTyp = 1 2) Edge rising detecte
StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)

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

1) StatIdEveTyp = 1

2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)

THEN:

ASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig

ELSE:

ASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypNoEve

remark:

1- if the conditions are "true" even at the simulation start, the output should be triggered accordingly.

2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly

Raw

{
  "ID": "19013135.0",
  "ASIL": "  QM",
  "Text": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13216646710.0FunctionalReleasedyesTrue
StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14) IF [OR(1,2,3)]: 1) StatIdEveTyp = 1 2) Edge rising detecte
StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)

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

1) StatIdEveTyp = 1

2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)

3) 0.01*VMMP_ASM_p_TiDlyPwrLvl later after Edge rising detection (VSOVD_s_VehPwrLvl changed from 0 to 1)

THEN:

ASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig

ELSE:

ASM_s_Stat_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve

remark:

1- if the conditions are "true" even at the simulation start, the output should be triggered accordingly.

2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly

Raw

{
  "ID": "16646710.0",
  "ASIL": "  QM",
  "Text": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\r3) 0.01*VMMP_ASM_p_TiDlyPwrLvl later after Edge rising detection (VSOVD_s_VehPwrLvl changed from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1256117.0",
  "Description": "StatIdEveTyp = OR (StatIdEveTyp1, StatIdEveTyp2, ....StatIdEveTyp14)\n\r \n\r \n\rIF [OR(1,2,3)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\r3) 0.01*VMMP_ASM_p_TiDlyPwrLvl later after Edge rising detection (VSOVD_s_VehPwrLvl changed from 0 to 1)\n\rTHEN:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_StatIdEveTypTrig\n\rELSE:\n\rASM_s_Stat_IdEveTyp = VMMP_ASM_c_IdEveTypNoEve\n\r \n\rremark:\n\r1- if the conditions are \"true\" even at the simulation start, the output should be triggered accordingly.\n\r2- If the conditions are toggling (true/false), then trigger at output should trigger accordingly",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13316646711.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
StatDat calculation
StatDat calculation

Raw

{
  "ID": "16646711.0",
  "ASIL": "  ",
  "Text": "StatDat calculation",
  "Type": "Folder",
  "Status": "",
  "Summary": "StatDat calculation",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1255333.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13416646712.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.
Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.

Raw

{
  "ID": "16646712.0",
  "ASIL": "  ",
  "Text": "Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1416683.0",
  "Description": "Before the shifting operation, the input to should be converted to Uint8, unless it is explicitly specified otherwise.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13516646713.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_StAntiLockCtl = 0 THEN: StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StAntiL
IF [1]:

1) ASOAF_s_StAntiLockCtl = 0

THEN:

StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf

ELSEIF [2]:

2) ASOAF_s_StAntiLockCtl = 1

THEN:

StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlTlrInc

ELSEIF [3]:

3) ASOAF_s_StAntiLockCtl = 3

THEN:

StAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlRdcPrf

ELSEIF [3]:

3) ASOAF_s_StAntiLockCtl = 7

THEN:

StAntiLockCtl1 = 4

ELSE:

StAntiLockCtl1 = 3

StAntiLockCtl = first 2 bits of StAntiLockCtl1

Raw

{
  "ID": "16646713.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_StAntiLockCtl = 0\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StAntiLockCtl = 1\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 3\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlRdcPrf\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 7\n\rTHEN:\n\rStAntiLockCtl1 = 4\n\rELSE:\n\rStAntiLockCtl1 = 3\n\rStAntiLockCtl = first 2 bits of StAntiLockCtl1",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256136.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_StAntiLockCtl = 0\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StAntiLockCtl = 1\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 3\n\rTHEN:\n\rStAntiLockCtl1 = VMMP_ASM_c_StAntiLockCtlAvlRdcPrf\n\rELSEIF [3]:\n\r3) ASOAF_s_StAntiLockCtl = 7\n\rTHEN:\n\rStAntiLockCtl1 = 4\n\rELSE:\n\rStAntiLockCtl1 = 3\n\rStAntiLockCtl = first 2 bits of StAntiLockCtl1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13616646714.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_StVehDynCtl = 0 THEN: StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StVehDynCtl
IF [1]:

1) ASOAF_s_StVehDynCtl = 0

THEN:

StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf

ELSEIF [2]:

2) ASOAF_s_StVehDynCtl = 1

THEN:

StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlTlrInc

ELSEIF [3]:

3) ASOAF_s_StVehDynCtl = 2

THEN:

StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlSwtOff

ELSEIF [4]:

4) ASOAF_s_StVehDynCtl = 5

THEN:

StVertDynCtl1 = VMMP_ASM_c_StVertDynCtlNotAvl

ELSEIF [5]:

5) ASOAF_s_StVehDynCtl = 7

THEN:

StVertDynCtl1 = 5

ELSE:

StVertDynCtl1 = 4

StVertDynCtl = the first 2 bits of StVertDynCtl1 shifted on 2 bits to left

Raw

{
  "ID": "16646714.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_StVehDynCtl = 0\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StVehDynCtl = 1\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StVehDynCtl = 2\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StVehDynCtl = 5\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StVehDynCtl = 7\n\rTHEN:\n\rStVertDynCtl1 = 5\n\rELSE:\n\rStVertDynCtl1 = 4\n\rStVertDynCtl = the first 2 bits of StVertDynCtl1 shifted on 2 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256138.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_StVehDynCtl = 0\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StVehDynCtl = 1\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StVehDynCtl = 2\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StVehDynCtl = 5\n\rTHEN:\n\rStVertDynCtl1 = VMMP_ASM_c_StVertDynCtlNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StVehDynCtl = 7\n\rTHEN:\n\rStVertDynCtl1 = 5\n\rELSE:\n\rStVertDynCtl1 = 4\n\rStVertDynCtl = the first 2 bits of StVertDynCtl1 shifted on 2 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13716646715.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_StEngDrgCtl = 0 THEN: StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StEngDrgCtl =
IF [1]:

1) ASOAF_s_StEngDrgCtl = 0

THEN:

StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf

ELSEIF [2]:

2) ASOAF_s_StEngDrgCtl = 1

THEN:

StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlTlrInc

ELSEIF [3]:

3) ASOAF_s_StEngDrgCtl = 3

THEN:

StEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlRdcPrf

ELSE:

StEngDrgClt1 = 3

StEngDrgClt = the first 2 bits of StEngDrgClt1 shifted on 4 bits to left

Raw

{
  "ID": "16646715.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_StEngDrgCtl = 0\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StEngDrgCtl = 1\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StEngDrgCtl = 3\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlRdcPrf\n\rELSE:\n\rStEngDrgClt1 = 3\n\rStEngDrgClt = the first 2 bits of StEngDrgClt1 shifted on 4 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256142.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_StEngDrgCtl = 0\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StEngDrgCtl = 1\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StEngDrgCtl = 3\n\rTHEN:\n\rStEngDrgClt1 = VMMP_ASM_c_StEngDrgCltAvlRdcPrf\n\rELSE:\n\rStEngDrgClt1 = 3\n\rStEngDrgClt = the first 2 bits of StEngDrgClt1 shifted on 4 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13816646716.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_StTracCtlSys = 0 THEN: StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf ELSEIF [2]: 2) ASOAF_s_StTracCtlS
IF [1]:

1) ASOAF_s_StTracCtlSys = 0

THEN:

StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf

ELSEIF [2]:

2) ASOAF_s_StTracCtlSys = 1

THEN:

StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlTlrInc

ELSEIF [3]:

3) ASOAF_s_StTracCtlSys = 2

THEN:

StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlSwtOff

ELSEIF [4]:

4) ASOAF_s_StTracCtlSys = 5

THEN:

StTracCtlSys1 = VMMP_ASM_c_StTracCtlSysNotAvl

ELSEIF [5]:

5) ASOAF_s_StTracCtlSys = 7

THEN:

StTracCtlSys1 = 5

ELSE:

StTracCtlSys1 = 4

StTracCtlSys = the first 3 bits of StTracCtlSys1 shifted on 6 bits to left

Raw

{
  "ID": "16646716.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_StTracCtlSys = 0\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StTracCtlSys = 1\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StTracCtlSys = 2\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StTracCtlSys = 5\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StTracCtlSys = 7\n\rTHEN:\n\rStTracCtlSys1 = 5\n\rELSE:\n\rStTracCtlSys1 = 4\n\rStTracCtlSys = the first 3 bits of StTracCtlSys1 shifted on 6 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256144.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_StTracCtlSys = 0\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlFullPrf\n\rELSEIF [2]:\n\r2) ASOAF_s_StTracCtlSys = 1\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlTlrInc\n\rELSEIF [3]:\n\r3) ASOAF_s_StTracCtlSys = 2\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysAvlSwtOff\n\rELSEIF [4]:\n\r4) ASOAF_s_StTracCtlSys = 5\n\rTHEN:\n\rStTracCtlSys1 = VMMP_ASM_c_StTracCtlSysNotAvl\n\rELSEIF [5]:\n\r5) ASOAF_s_StTracCtlSys = 7\n\rTHEN:\n\rStTracCtlSys1 = 5\n\rELSE:\n\rStTracCtlSys1 = 4\n\rStTracCtlSys = the first 3 bits of StTracCtlSys1 shifted on 6 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13916646717.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_StEscOpm = 0 THEN: StEscOpm1 = VMMP_ASM_c_StEscOpmMd0 ELSEIF [2]: 2) ASOAF_s_StEscOpm = 1 THEN: StEscOpm
IF [1]:

1) ASOAF_s_StEscOpm = 0

THEN:

StEscOpm1 = VMMP_ASM_c_StEscOpmMd0

ELSEIF [2]:

2) ASOAF_s_StEscOpm = 1

THEN:

StEscOpm1 = VMMP_ASM_c_StEscOpmMd1

ELSEIF [3]:

3) ASOAF_s_StEscOpm = 2

THEN:

StEscOpm1 = VMMP_ASM_c_StEscOpmMd2

ELSE:

StEscOpm1 = 3

StEscOpm = the first 2 bits of StEscOpm1

Raw

{
  "ID": "16646717.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_StEscOpm = 0\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd0\n\rELSEIF [2]:\n\r2) ASOAF_s_StEscOpm = 1\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd1\n\rELSEIF [3]:\n\r3) ASOAF_s_StEscOpm = 2\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd2\n\rELSE:\n\rStEscOpm1 = 3\n\rStEscOpm = the first 2 bits of StEscOpm1",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256146.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_StEscOpm = 0\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd0\n\rELSEIF [2]:\n\r2) ASOAF_s_StEscOpm = 1\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd1\n\rELSEIF [3]:\n\r3) ASOAF_s_StEscOpm = 2\n\rTHEN:\n\rStEscOpm1 = VMMP_ASM_c_StEscOpmMd2\n\rELSE:\n\rStEscOpm1 = 3\n\rStEscOpm = the first 2 bits of StEscOpm1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14016646718.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_EPBActrCtl_StAvl = 0 THEN: EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl ELSEIF [2]: 2) ASOAF_s_EP
IF [1]:

1) ASOAF_s_EPBActrCtl_StAvl = 0

THEN:

EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl

ELSEIF [2]:

2) ASOAF_s_EPBActrCtl_StAvl = 1

THEN:

EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlRlsOnly

ELSEIF [3]:

3) ASOAF_s_EPBActrCtl_StAvl = 2

THEN:

EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyOnly

ELSEIF [4]:

4) ASOAF_s_EPBActrCtl_StAvl = 3

THEN:

EPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyRls

ELSEIF [5]:

5) ASOAF_s_EPBActrCtl_StAvl = 7

THEN:

EPBActrCtl_StAvl1 = 5

ELSE:

EPBActrCtl_StAvl1 = 4

EPBActrCtl_StAvl = the first 2 bits of EPBActrCtl_StAvl1 shifted on 2 bits to left

Raw

{
  "ID": "16646718.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl = 0\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_EPBActrCtl_StAvl = 1\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlRlsOnly\n\rELSEIF [3]:\n\r3) ASOAF_s_EPBActrCtl_StAvl = 2\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyOnly\n\rELSEIF [4]:\n\r4) ASOAF_s_EPBActrCtl_StAvl = 3\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyRls\n\rELSEIF [5]:\n\r5) ASOAF_s_EPBActrCtl_StAvl = 7\n\rTHEN:\n\rEPBActrCtl_StAvl1 = 5\n\rELSE:\n\rEPBActrCtl_StAvl1 = 4\n\rEPBActrCtl_StAvl = the first 2 bits of EPBActrCtl_StAvl1 shifted on 2 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256148.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_EPBActrCtl_StAvl = 0\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_EPBActrCtl_StAvl = 1\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlRlsOnly\n\rELSEIF [3]:\n\r3) ASOAF_s_EPBActrCtl_StAvl = 2\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyOnly\n\rELSEIF [4]:\n\r4) ASOAF_s_EPBActrCtl_StAvl = 3\n\rTHEN:\n\rEPBActrCtl_StAvl1 = VMMP_ASM_c_EPBActrCtl_StAvlAlyRls\n\rELSEIF [5]:\n\r5) ASOAF_s_EPBActrCtl_StAvl = 7\n\rTHEN:\n\rEPBActrCtl_StAvl1 = 5\n\rELSE:\n\rEPBActrCtl_StAvl1 = 4\n\rEPBActrCtl_StAvl = the first 2 bits of EPBActrCtl_StAvl1 shifted on 2 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14116646719.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0 THEN: StCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl ELSEIF [2]:
IF [1]:

1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0

THEN:

StCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl

ELSEIF [2]:

2) ASOAF_s_PrkLock_StCpbPrkLockUnit = 1

THEN:

StCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitAvl

ELSEIF [3]:

3) ASOAF_s_PrkLock_StCpbPrkLockUnit = 3

THEN:

StCpbPrkLockUnit1 = 3

ELSE:

StCpbPrkLockUnit1 = 2

StCpbPrkLockUnit = the 1st bit of StCpbPrkLockUnit1 shifted on 4 bits to left

Raw

{
  "ID": "16646719.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_PrkLock_StCpbPrkLockUnit = 1\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitAvl\n\rELSEIF [3]:\n\r3) ASOAF_s_PrkLock_StCpbPrkLockUnit = 3\n\rTHEN:\n\rStCpbPrkLockUnit1 = 3\n\rELSE:\n\rStCpbPrkLockUnit1 = 2\n\rStCpbPrkLockUnit = the 1st bit of StCpbPrkLockUnit1 shifted on 4 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256151.0",
  "Description": "IF [1]:\n\r1) ASOAF_s_PrkLock_StCpbPrkLockUnit = 0\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitNotAvl\n\rELSEIF [2]:\n\r2) ASOAF_s_PrkLock_StCpbPrkLockUnit = 1\n\rTHEN:\n\rStCpbPrkLockUnit1 = VMMP_ASM_c_PrkLockStCpbPrkLockUnitAvl\n\rELSEIF [3]:\n\r3) ASOAF_s_PrkLock_StCpbPrkLockUnit = 3\n\rTHEN:\n\rStCpbPrkLockUnit1 = 3\n\rELSE:\n\rStCpbPrkLockUnit1 = 2\n\rStCpbPrkLockUnit = the 1st bit of StCpbPrkLockUnit1 shifted on 4 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14216646720.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12 THEN: StQFK = VMMP_ASM_c_StQFKDeac ELSEIF [2]: 2) EPS_s_StQFK = 1 THEN: StQFK
IF [1]:

1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12

THEN:

StQFK = VMMP_ASM_c_StQFKDeac

ELSEIF [2]:

2) EPS_s_StQFK = 1

THEN:

StQFK = VMMP_ASM_c_StQFKIni

ELSEIF [3]:

3) EPS_s_StQFK = 2

THEN:

StQFK = VMMP_ASM_c_StQFKRdy

ELSEIF [4]:

4) EPS_s_StQFK = 3

THEN:

StQFK = VMMP_ASM_c_StQFKLck

ELSEIF [5]:

5) EPS_s_StQFK = 4

THEN:

StQFK = VMMP_ASM_c_StQFKEngAcv

ELSEIF [6]:

6) EPS_s_StQFK = 5

THEN:

StQFK = VMMP_ASM_c_StQFKEngCncl

ELSEIF [7]:

7) EPS_s_StQFK = 6

THEN:

StQFK = VMMP_ASM_c_StQFKErrWithEnt

ELSEIF [8]:

8) EPS_s_StQFK = 7

THEN:

StQFK = VMMP_ASM_c_StQFKErrWoutEnt

ELSEIF [9]:

9) EPS_s_StQFK = 8

THEN:

StQFK = VMMP_ASM_c_StQFKRamp

ELSEIF [10]:

10) EPS_s_StQFK = 12

THEN:

StQFK = VMMP_ASM_c_StQFKEngLimDyn

StQFK1 = the first 4 bits of StQFK shifted on 5 bits to left

StQFK2 = the first 4 bits of StQFK shifted on 3 bits to right

Raw

{
  "ID": "16646720.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKDeac\n\rELSEIF [2]:\n\r2) EPS_s_StQFK = 1\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKIni\n\rELSEIF [3]:\n\r3) EPS_s_StQFK = 2\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRdy\n\rELSEIF [4]:\n\r4) EPS_s_StQFK = 3\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKLck\n\rELSEIF [5]:\n\r5) EPS_s_StQFK = 4\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngAcv\n\rELSEIF [6]:\n\r6) EPS_s_StQFK = 5\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngCncl\n\rELSEIF [7]:\n\r7) EPS_s_StQFK = 6\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWithEnt\n\rELSEIF [8]:\n\r8) EPS_s_StQFK = 7\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWoutEnt\n\rELSEIF [9]:\n\r9) EPS_s_StQFK = 8\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRamp\n\rELSEIF [10]:\n\r10) EPS_s_StQFK = 12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngLimDyn\n\rStQFK1 = the first 4 bits of StQFK shifted on 5 bits to left\n\r \n\rStQFK2 = the first 4 bits of StQFK shifted on 3 bits to right",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256153.0",
  "Description": "IF [1]:\n\r1) EPS_s_StQFK != 1,2,3,4,5,6,7,8,12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKDeac\n\rELSEIF [2]:\n\r2) EPS_s_StQFK = 1\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKIni\n\rELSEIF [3]:\n\r3) EPS_s_StQFK = 2\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRdy\n\rELSEIF [4]:\n\r4) EPS_s_StQFK = 3\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKLck\n\rELSEIF [5]:\n\r5) EPS_s_StQFK = 4\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngAcv\n\rELSEIF [6]:\n\r6) EPS_s_StQFK = 5\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngCncl\n\rELSEIF [7]:\n\r7) EPS_s_StQFK = 6\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWithEnt\n\rELSEIF [8]:\n\r8) EPS_s_StQFK = 7\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKErrWoutEnt\n\rELSEIF [9]:\n\r9) EPS_s_StQFK = 8\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKRamp\n\rELSEIF [10]:\n\r10) EPS_s_StQFK = 12\n\rTHEN:\n\rStQFK = VMMP_ASM_c_StQFKEngLimDyn\n\rStQFK1 = the first 4 bits of StQFK shifted on 5 bits to left\n\r \n\rStQFK2 = the first 4 bits of StQFK shifted on 3 bits to right",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14316646721.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) HAL_s_SysSts = 1 THEN: SysSts = VMMP_ASM_c_SysStsIni ELSEIF [2]: 2) HAL_s_SysSts = 2 THEN: SysSty = VMMP_ASM_c_S
IF [1]:

1) HAL_s_SysSts = 1

THEN:

SysSts = VMMP_ASM_c_SysStsIni

ELSEIF [2]:

2) HAL_s_SysSts = 2

THEN:

SysSty = VMMP_ASM_c_SysStsIniStrtUp

ELSEIF [3]:

3) HAL_s_SysSts = 3

THEN:

SysSty = VMMP_ASM_c_SysStsRdyForOper

ELSEIF [4]:

4) HAL_s_SysSts = 4

THEN: :

SysSty = VMMP_ASM_c_SysStsAgCtlAcv

ELSEIF [5]:

5) HAL_s_SysSts = 5

THEN:

SysSty = VMMP_ASM_c_SysStsAnCtlOff

ELSEIF [6]:

6) HAL_s_SysSts = 6

THEN:

SysSty = VMMP_ASM_c_SysStsErrTmpRdy

ELSEIF [7]:

7) HAL_s_SysSts = 7

THEN:

SysSty = VMMP_ASM_c_SysStsErrTmpRtn

ELSEIF [8]:

8) HAL_s_SysSts = 8

THEN:

SysSty = VMMP_ASM_c_SysStsErrPermRtn

ELSEIF [9]:

9) HAL_s_SysSts = 9

THEN:

SysSty = VMMP_ASM_c_SysStsErrPermHldPosn

ELSEIF [10]:

10) HAL_s_SysSts = 10

THEN:

SysSty = VMMP_ASM_c_SysStsDerAcv

ELSEIF [11]:

11) HAL_s_SysSts = 11

THEN:

SysSty = VMMP_ASM_c_SysStsRIni

ELSE:

SysSts = VMMP_ASM_c_SysStsDiagAcv

SysSts1 = the first 4 bits of SysSts shifted on 1 bit to left

Raw

{
  "ID": "16646721.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) HAL_s_SysSts = 1\n\rTHEN:\n\rSysSts = VMMP_ASM_c_SysStsIni\n\rELSEIF [2]:\n\r2) HAL_s_SysSts = 2\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsIniStrtUp\n\rELSEIF [3]:\n\r3) HAL_s_SysSts = 3\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRdyForOper\n\rELSEIF [4]:\n\r4) HAL_s_SysSts = 4\n\rTHEN: :\n\rSysSty = VMMP_ASM_c_SysStsAgCtlAcv\n\rELSEIF [5]:\n\r5) HAL_s_SysSts = 5\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsAnCtlOff\n\rELSEIF [6]:\n\r6) HAL_s_SysSts = 6\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRdy\n\rELSEIF [7]:\n\r7) HAL_s_SysSts = 7\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRtn\n\rELSEIF [8]:\n\r8) HAL_s_SysSts = 8\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermRtn\n\rELSEIF [9]:\n\r9) HAL_s_SysSts = 9\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermHldPosn\n\rELSEIF [10]:\n\r10) HAL_s_SysSts = 10\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsDerAcv\n\rELSEIF [11]:\n\r11) HAL_s_SysSts = 11\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRIni\n\rELSE:\n\rSysSts = VMMP_ASM_c_SysStsDiagAcv\n\r \n\rSysSts1 = the first 4 bits of SysSts shifted on 1 bit to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256159.0",
  "Description": "IF [1]:\n\r1) HAL_s_SysSts = 1\n\rTHEN:\n\rSysSts = VMMP_ASM_c_SysStsIni\n\rELSEIF [2]:\n\r2) HAL_s_SysSts = 2\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsIniStrtUp\n\rELSEIF [3]:\n\r3) HAL_s_SysSts = 3\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRdyForOper\n\rELSEIF [4]:\n\r4) HAL_s_SysSts = 4\n\rTHEN: :\n\rSysSty = VMMP_ASM_c_SysStsAgCtlAcv\n\rELSEIF [5]:\n\r5) HAL_s_SysSts = 5\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsAnCtlOff\n\rELSEIF [6]:\n\r6) HAL_s_SysSts = 6\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRdy\n\rELSEIF [7]:\n\r7) HAL_s_SysSts = 7\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrTmpRtn\n\rELSEIF [8]:\n\r8) HAL_s_SysSts = 8\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermRtn\n\rELSEIF [9]:\n\r9) HAL_s_SysSts = 9\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsErrPermHldPosn\n\rELSEIF [10]:\n\r10) HAL_s_SysSts = 10\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsDerAcv\n\rELSEIF [11]:\n\r11) HAL_s_SysSts = 11\n\rTHEN:\n\rSysSty = VMMP_ASM_c_SysStsRIni\n\rELSE:\n\rSysSts = VMMP_ASM_c_SysStsDiagAcv\n\r \n\rSysSts1 = the first 4 bits of SysSts shifted on 1 bit to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14416646722.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) ESC_s_StBrkTqVect = 0 THEN: StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl ELSEIF [2]: 2) ESC_s_StBrkTqVect = 1 THEN:
IF [1]:

1) ESC_s_StBrkTqVect = 0

THEN:

StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl

ELSEIF [2]:

2) ESC_s_StBrkTqVect = 1

THEN:

StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectRdcPrf

ELSEIF [3]:

3) ESC_s_StBrkTqVect = 2

THEN:

StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectTmpNotAvl

ELSEIF [4]:

4) ESC_s_StBrkTqVect = 3

THEN:

StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectNotAvl

ELSEIF [5]:

5) ESC_s_StBrkTqVect = 4

THEN:

StBrkTqVect1 = VMMP_ASM_c_StBrkTqVectLim

ELSEIF [6]:

6) ESC_s_StBrkTqVect = 7

THEN:

StBrkTqVect1 = 6

ELSE:

StBrkTqVect1 = 5

StBrkTqVect = the first 3 bits of StBrkTqVect1 shifted on 5 bits to left

Raw

{
  "ID": "16646722.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) ESC_s_StBrkTqVect = 0\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl\n\rELSEIF [2]:\n\r2) ESC_s_StBrkTqVect = 1\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectRdcPrf\n\rELSEIF [3]:\n\r3) ESC_s_StBrkTqVect = 2\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectTmpNotAvl\n\rELSEIF [4]:\n\r4) ESC_s_StBrkTqVect = 3\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectNotAvl\n\rELSEIF [5]:\n\r5) ESC_s_StBrkTqVect = 4\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectLim\n\rELSEIF [6]:\n\r6) ESC_s_StBrkTqVect = 7\n\rTHEN:\n\rStBrkTqVect1 = 6\n\rELSE:\n\rStBrkTqVect1 = 5\n\rStBrkTqVect = the first 3 bits of StBrkTqVect1 shifted on 5 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256161.0",
  "Description": "IF [1]:\n\r1) ESC_s_StBrkTqVect = 0\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectAvl\n\rELSEIF [2]:\n\r2) ESC_s_StBrkTqVect = 1\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectRdcPrf\n\rELSEIF [3]:\n\r3) ESC_s_StBrkTqVect = 2\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectTmpNotAvl\n\rELSEIF [4]:\n\r4) ESC_s_StBrkTqVect = 3\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectNotAvl\n\rELSEIF [5]:\n\r5) ESC_s_StBrkTqVect = 4\n\rTHEN:\n\rStBrkTqVect1 = VMMP_ASM_c_StBrkTqVectLim\n\rELSEIF [6]:\n\r6) ESC_s_StBrkTqVect = 7\n\rTHEN:\n\rStBrkTqVect1 = 6\n\rELSE:\n\rStBrkTqVect1 = 5\n\rStBrkTqVect = the first 3 bits of StBrkTqVect1 shifted on 5 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14516646723.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) EPS_s_StSys = 0 THEN: StSys1 = VMMP_ASM_c_EPSStSysFullSysAvl ELSEIF [2]: 2) EPS_s_StSys = 1 THEN: StSys1 = VMMP_
IF [1]:

1) EPS_s_StSys = 0

THEN:

StSys1 = VMMP_ASM_c_EPSStSysFullSysAvl

ELSEIF [2]:

2) EPS_s_StSys = 1

THEN:

StSys1 = VMMP_ASM_c_EPSStSysFullSysLim

ELSEIF [3]:

3) EPS_s_StSys = 2

THEN:

StSys1 = VMMP_ASM_c_EPSStSysBkLvlECU1Prim

ELSEIF [4]:

4) EPS_s_StSys = 3

THEN:

StSys1 = VMMP_ASM_c_EPSStSysBkLvlECU2Scnd

ELSEIF [5]:

5) EPS_s_StSys = 4

THEN:

StSys1 = VMMP_ASM_c_EPSStSysSysLos

ELSEIF [6]:

6) EPS_s_StSys = 7

THEN:

StSys1 = 6

ELSE:

StSys1 = 5

StSys = the first 3 bits of StSys1

Raw

{
  "ID": "16646723.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) EPS_s_StSys = 0\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysAvl\n\rELSEIF [2]:\n\r2) EPS_s_StSys = 1\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysLim\n\rELSEIF [3]:\n\r3) EPS_s_StSys = 2\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU1Prim\n\rELSEIF [4]:\n\r4) EPS_s_StSys = 3\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU2Scnd\n\rELSEIF [5]:\n\r5) EPS_s_StSys = 4\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysSysLos\n\rELSEIF [6]:\n\r6) EPS_s_StSys = 7\n\rTHEN:\n\rStSys1 = 6\n\rELSE:\n\rStSys1 = 5\n\rStSys = the first 3 bits of StSys1",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256164.0",
  "Description": "IF [1]:\n\r1) EPS_s_StSys = 0\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysAvl\n\rELSEIF [2]:\n\r2) EPS_s_StSys = 1\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysFullSysLim\n\rELSEIF [3]:\n\r3) EPS_s_StSys = 2\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU1Prim\n\rELSEIF [4]:\n\r4) EPS_s_StSys = 3\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysBkLvlECU2Scnd\n\rELSEIF [5]:\n\r5) EPS_s_StSys = 4\n\rTHEN:\n\rStSys1 = VMMP_ASM_c_EPSStSysSysLos\n\rELSEIF [6]:\n\r6) EPS_s_StSys = 7\n\rTHEN:\n\rStSys1 = 6\n\rELSE:\n\rStSys1 = 5\n\rStSys = the first 3 bits of StSys1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14616646724.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF 12]: 1) LOCSGC_s_StDeceAvl = 1 THEN: StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl ELSEIF [2]: 2) LOCSGC_s_StDeceAvl = 2 T
IF 12]:

1) LOCSGC_s_StDeceAvl = 1

THEN:

StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl

ELSEIF [2]:

2) LOCSGC_s_StDeceAvl = 2

THEN:

StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvlRstctRgn

ELSEIF [3]:

3) LOCSGC_s_StDeceAvl = 3

THEN:

StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlRstct

ELSE:

StDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlNotAvl

LgtGuide_StDeceAvl = the first 2 bits of StDeceAvl1 shidted on 3 bits to left

Raw

{
  "ID": "16646724.0",
  "ASIL": "  QM",
  "Text": "IF 12]:\n\r1) LOCSGC_s_StDeceAvl = 1\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StDeceAvl = 2\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvlRstctRgn\n\rELSEIF [3]:\n\r3) LOCSGC_s_StDeceAvl = 3\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlRstct\n\rELSE:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlNotAvl\n\rLgtGuide_StDeceAvl = the first 2 bits of StDeceAvl1 shidted on 3 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256166.0",
  "Description": "IF 12]:\n\r1) LOCSGC_s_StDeceAvl = 1\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StDeceAvl = 2\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlAvlRstctRgn\n\rELSEIF [3]:\n\r3) LOCSGC_s_StDeceAvl = 3\n\rTHEN:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlRstct\n\rELSE:\n\rStDeceAvl1 = VMMP_ASM_c_LgtGuideStDeceAvlNotAvl\n\rLgtGuide_StDeceAvl = the first 2 bits of StDeceAvl1 shidted on 3 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14716646725.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1000) LOCSGC_s_StAcceAvl = 1 THEN: StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl ELSEIF [2]: 2) LOCSGC_s_StAcceAvl = 2
IF [1]:

1000) LOCSGC_s_StAcceAvl = 1

THEN:

StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl

ELSEIF [2]:

2) LOCSGC_s_StAcceAvl = 2

THEN:

StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlRstct

ELSEIF [3]:

3) LOCSGC_s_StAcceAvl = 3

THEN:

StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlFailOper

ELSE:

StAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlNotAvl

LgtGuide_StAcceAvl = the first 2 bits of StAcceAvl1 shifted on 5 bits to left

Raw

{
  "ID": "16646725.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1000) LOCSGC_s_StAcceAvl = 1\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StAcceAvl = 2\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlRstct\n\rELSEIF [3]:\n\r3) LOCSGC_s_StAcceAvl = 3\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlFailOper\n\rELSE:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlNotAvl\n\rLgtGuide_StAcceAvl = the first 2 bits of StAcceAvl1 shifted on 5 bits to left",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256168.0",
  "Description": "IF [1]:\n\r1000) LOCSGC_s_StAcceAvl = 1\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlAvl\n\rELSEIF [2]:\n\r2) LOCSGC_s_StAcceAvl = 2\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlRstct\n\rELSEIF [3]:\n\r3) LOCSGC_s_StAcceAvl = 3\n\rTHEN:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlFailOper\n\rELSE:\n\rStAcceAvl1 = VMMP_ASM_c_LgtGuideStAcceAvlNotAvl\n\rLgtGuide_StAcceAvl = the first 2 bits of StAcceAvl1 shifted on 5 bits to left",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14816646726.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) LACC_s_LatGuide_StItAvl = 1 THEN: StItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl ELSEIF [2]: 2) LACC_s_LatGuide_St
IF [1]:

1) LACC_s_LatGuide_StItAvl = 1

THEN:

StItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl

ELSEIF [2]:

2) LACC_s_LatGuide_StItAvl = 2

THEN:

StItAvl1 = VMMP_ASM_c_LatGuideStItAvlAvl

ELSEIF [3]:

3) LACC_s_LatGuide_StItAvl = 3

THEN:

StItAvl1 = VMMP_ASM_c_LatGuideStItAvlRdcPrf

ELSE:

StItAvl1 = VMMP_ASM_c_LatGuideStItAvlNotAvl

LatGuide_StItAvl1 = the first 2 bits of StItAvl1 shifted on 7 bits to left

LatGuide_StItAvl2 = the first 2 bits of StItAvl1 shifted on 1 bits to right

Raw

{
  "ID": "16646726.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) LACC_s_LatGuide_StItAvl = 1\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl\n\rELSEIF [2]:\n\r2) LACC_s_LatGuide_StItAvl = 2\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlAvl\n\rELSEIF [3]:\n\r3) LACC_s_LatGuide_StItAvl = 3\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlRdcPrf\n\rELSE:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlNotAvl\n\rLatGuide_StItAvl1 = the first 2 bits of StItAvl1 shifted on 7 bits to left\n\r \n\rLatGuide_StItAvl2 = the first 2 bits of StItAvl1 shifted on 1 bits to right",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256170.0",
  "Description": "IF [1]:\n\r1) LACC_s_LatGuide_StItAvl = 1\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlTmpNotAvl\n\rELSEIF [2]:\n\r2) LACC_s_LatGuide_StItAvl = 2\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlAvl\n\rELSEIF [3]:\n\r3) LACC_s_LatGuide_StItAvl = 3\n\rTHEN:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlRdcPrf\n\rELSE:\n\rStItAvl1 = VMMP_ASM_c_LatGuideStItAvlNotAvl\n\rLatGuide_StItAvl1 = the first 2 bits of StItAvl1 shifted on 7 bits to left\n\r \n\rLatGuide_StItAvl2 = the first 2 bits of StItAvl1 shifted on 1 bits to right",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14916646727.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
If not specified otherwise, then: ASMVersion = 1
If not specified otherwise, then:

ASMVersion = 1

Raw

{
  "ID": "16646727.0",
  "ASIL": "  QM",
  "Text": "If not specified otherwise, then:\n\rASMVersion = 1",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1256172.0",
  "Description": "If not specified otherwise, then:\n\rASMVersion = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
15016646728.0FunctionalReleasedyesTrue
Before bitwise operations, the values should be converted to Uint8 Val1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, St
Before bitwise operations, the values should be converted to Uint8

Val1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StTracCtlSys)

Val2 = BitwiseOR (StCpbPrkLockUnit , StEscOpm, EPBActrCtl_StAvl, StQFK1)

Val3 = BitwiseOR (StBrkTqVect , StQFK2, SysSts1)

Val4 = BitwiseOR (StSys, LgtGuide_StDeceAvl, LgtGuide_StAcceAvl, LatGuide_StItAvl1)

Val5 = LatGuide_StItAvl2

Val6 = ASMVersion

IF [OR(1,2)]:

1) StatIdEveTyp = 1

2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)

THEN:

ASM_s1_StatDat = [Val1, Val2, Val3, Val4, Val5, Val6]

ELSE:

ASM_s1_StatDat = 0

Raw

{
  "ID": "16646728.0",
  "ASIL": "  QM",
  "Text": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StTracCtlSys)\n\rVal2 = BitwiseOR (StCpbPrkLockUnit , StEscOpm, EPBActrCtl_StAvl, StQFK1)\n\rVal3 = BitwiseOR (StBrkTqVect , StQFK2, SysSts1)\n\rVal4 = BitwiseOR (StSys, LgtGuide_StDeceAvl, LgtGuide_StAcceAvl, LatGuide_StItAvl1)\n\rVal5 = LatGuide_StItAvl2\n\rVal6 = ASMVersion\n\rIF [OR(1,2)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s1_StatDat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_StatDat = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1256256.0",
  "Description": "Before bitwise operations, the values should be converted to Uint8\n\r \n\rVal1 = BitwiseOR (StAntiLockCtl, StVertDynCtl, StEngDrgClt, StTracCtlSys)\n\rVal2 = BitwiseOR (StCpbPrkLockUnit , StEscOpm, EPBActrCtl_StAvl, StQFK1)\n\rVal3 = BitwiseOR (StBrkTqVect , StQFK2, SysSts1)\n\rVal4 = BitwiseOR (StSys, LgtGuide_StDeceAvl, LgtGuide_StAcceAvl, LatGuide_StItAvl1)\n\rVal5 = LatGuide_StItAvl2\n\rVal6 = ASMVersion\n\rIF [OR(1,2)]:\n\r1) StatIdEveTyp = 1\n\r2) Edge rising detected (VSOVD_s_VehPwrLvl change from 0 to 1)\n\rTHEN:\n\rASM_s1_StatDat = [Val1, Val2, Val3, Val4, Val5, Val6]\n\rELSE:\n\rASM_s1_StatDat = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}