Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsxrequirement966c313a49d7cf
VME-PROD-VehicleMotionManagement - VMMP.xlsxrequirement297dcdcc7aa02b4

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

RowIDTypeStatusRelevantCandidateReasonNormalized text
10216647108.0FunctionalReleasedyesTrue
IF [1]: 1) condition from req. C2, C AND C1 is false THEN: DSOPOST_s_BrkPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StA
IF [1]:

1) condition from req. C2, C AND C1 is false

THEN:

DSOPOST_s_BrkPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld, StVld1, VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit, VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail)

Raw

{
  "ID": "16647108.0",
  "ASIL": "  ASIL B",
  "Text": "IF [1]:\n\r1) condition from req. C2, C AND C1 is false\n\rTHEN:\n\rDSOPOST_s_BrkPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld, StVld1, VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit, VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214260.0",
  "Description": "IF [1]:\n\r1) condition from req. C2, C AND C1 is false\n\rTHEN:\n\rDSOPOST_s_BrkPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld, StVld1, VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit, VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10316647081.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Status request dominant
Status request dominant

Raw

{
  "ID": "16647081.0",
  "ASIL": "  ",
  "Text": "Status request dominant",
  "Type": "Folder",
  "Status": "",
  "Summary": "Status request dominant",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214198.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10416647082.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
StVld1 = DiagEveAll(VSOEM_s_DiagEgoMtnV_StEveReq, VSOEM_s_DiagYawRate_StEveReq, ASOTA_s_DiagLODMTqWhlAcce_StEveReq, DSOPRE_s_DiagB
StVld1 = DiagEveAll(VSOEM_s_DiagEgoMtnV_StEveReq, VSOEM_s_DiagYawRate_StEveReq, ASOTA_s_DiagLODMTqWhlAcce_StEveReq, DSOPRE_s_DiagBrkPed_StEveReq)

Raw

{
  "ID": "16647082.0",
  "ASIL": "  QM",
  "Text": "StVld1 = DiagEveAll(VSOEM_s_DiagEgoMtnV_StEveReq, VSOEM_s_DiagYawRate_StEveReq, ASOTA_s_DiagLODMTqWhlAcce_StEveReq, DSOPRE_s_DiagBrkPed_StEveReq)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214200.0",
  "Description": "StVld1 = DiagEveAll(VSOEM_s_DiagEgoMtnV_StEveReq, VSOEM_s_DiagYawRate_StEveReq, ASOTA_s_DiagLODMTqWhlAcce_StEveReq, DSOPRE_s_DiagBrkPed_StEveReq)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10516647083.0FunctionalObsoletenoFalsestatus_filtered, relevance_filtered
Init value of DSOPOST_s_BrkPed_StAddlQlfr is VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit
Init value of DSOPOST_s_BrkPed_StAddlQlfr is VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit

Raw

{
  "ID": "16647083.0",
  "ASIL": "  QM",
  "Text": "Init value of DSOPOST_s_BrkPed_StAddlQlfr is VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1244196.0",
  "Description": "Init value of DSOPOST_s_BrkPed_StAddlQlfr is VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10616647084.0FunctionalReleasedyesTrue
A IF [1]: 1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail THEN: DSOPOST_s_BrkPed_StReqDmnt = StSigOutFc
A 

IF [1]:

1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail

THEN:

DSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntFail, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)

Raw

{
  "ID": "16647084.0",
  "ASIL": "  QM",
  "Text": "A \n\rIF [1]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntFail, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214202.0",
  "Description": "A \n\rIF [1]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntFail, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10716647085.0FunctionalReleasedyesTrue
A1 IF [AND(1,2)]: 1) A is false 2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit THEN: DSOPOST_s_BrkPed
A1 

IF [AND(1,2)]:

1) A is false

2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit

THEN:

DSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntInit, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)

Raw

{
  "ID": "16647085.0",
  "ASIL": "  QM",
  "Text": "A1 \n\rIF [AND(1,2)]:\n\r1) A is false\n\r2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntInit, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214204.0",
  "Description": "A1 \n\rIF [AND(1,2)]:\n\r1) A is false\n\r2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntInit, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10816647086.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [AND(1, OR(2, 3)]: 1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty 2) DSOPRE_s_BrkPed_IdcDrvBrk = VM
IF [AND(1, OR(2, 3)]:

1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty

2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrk

3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf

THEN:

BrkPed_StReqDmnt1 = 1

ELSE:

BrkPed_StReqDmnt1 = 0

Raw

{
  "ID": "16647086.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1, OR(2, 3)]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrk\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf\n\rTHEN:\n\rBrkPed_StReqDmnt1 = 1\n\rELSE:\n\rBrkPed_StReqDmnt1 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214206.0",
  "Description": "IF [AND(1, OR(2, 3)]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrk\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf\n\rTHEN:\n\rBrkPed_StReqDmnt1 = 1\n\rELSE:\n\rBrkPed_StReqDmnt1 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
10916647087.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [OR(1, AND(2, 3))]: 1) BrkPed_StReqDmnt1 = 1 2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf 3) DSOP
IF [OR(1, AND(2, 3))]:

1) BrkPed_StReqDmnt1 = 1

2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf

3) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld

THEN:

BrkPed_StReqDmnt2 = 1

ELSE:

BrkPed_StReqDmnt2 = 0

Raw

{
  "ID": "16647087.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1, AND(2, 3))]:\n\r1) BrkPed_StReqDmnt1 = 1\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf\n\r3) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld\n\rTHEN:\n\rBrkPed_StReqDmnt2 = 1\n\rELSE:\n\rBrkPed_StReqDmnt2 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214210.0",
  "Description": "IF [OR(1, AND(2, 3))]:\n\r1) BrkPed_StReqDmnt1 = 1\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf\n\r3) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld\n\rTHEN:\n\rBrkPed_StReqDmnt2 = 1\n\rELSE:\n\rBrkPed_StReqDmnt2 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11016647088.0FunctionalReleasedyesTrue
A2 IF [AND(1, 2, 3)]: 1) BrkPed_StReqDmnt2 = 1 2) DSOPRE_s_BrkPed_TqWhlReq >= LOCCOP_s_TqWhlDece_TqDmd + VMMP_DSOPOST_p_BrkPed
A2 

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

1) BrkPed_StReqDmnt2 = 1

2) DSOPRE_s_BrkPed_TqWhlReq >= LOCCOP_s_TqWhlDece_TqDmd + VMMP_DSOPOST_p_BrkPed_TqOfsReqDmnt

3) A1 is false

THEN:

DSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)

Raw

{
  "ID": "16647088.0",
  "ASIL": "  QM",
  "Text": "A2 \n\rIF [AND(1, 2, 3)]:\n\r1) BrkPed_StReqDmnt2 = 1\n\r2) DSOPRE_s_BrkPed_TqWhlReq >= LOCCOP_s_TqWhlDece_TqDmd + VMMP_DSOPOST_p_BrkPed_TqOfsReqDmnt\n\r3) A1 is false\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214214.0",
  "Description": "A2 \n\rIF [AND(1, 2, 3)]:\n\r1) BrkPed_StReqDmnt2 = 1\n\r2) DSOPRE_s_BrkPed_TqWhlReq >= LOCCOP_s_TqWhlDece_TqDmd + VMMP_DSOPOST_p_BrkPed_TqOfsReqDmnt\n\r3) A1 is false\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11116647089.0FunctionalReleasedyesTrue
IF [AND(1, OR(2, 3)]: 1) A2 is false 2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk 3) DSOPRE_s_BrkPed_T
IF [AND(1, OR(2, 3)]:

1) A2 is false

2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk

3) DSOPRE_s_BrkPed_TqWhlReq < (LOCCOP_s_TqWhlDece_TqDmd - VMMP_DSOPOST_p_BrkPed_TqOfsReqNotDmnt)

THEN:

DSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)

Raw

{
  "ID": "16647089.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1, OR(2, 3)]:\n\r1) A2 is false\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r3) DSOPRE_s_BrkPed_TqWhlReq < (LOCCOP_s_TqWhlDece_TqDmd - VMMP_DSOPOST_p_BrkPed_TqOfsReqNotDmnt)\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214218.0",
  "Description": "IF [AND(1, OR(2, 3)]:\n\r1) A2 is false\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r3) DSOPRE_s_BrkPed_TqWhlReq < (LOCCOP_s_TqWhlDece_TqDmd - VMMP_DSOPOST_p_BrkPed_TqOfsReqNotDmnt)\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11218842005.0FunctionalReleasedyesTrue
IF [OR(1, 2, 3)]: 1) A2 is false 2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk 3) DSOPRE_s_BrkPed_TqWhl
IF [OR(1, 2, 3)]:

1) A2 is false

2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk

3) DSOPRE_s_BrkPed_TqWhlReq < (LOCCOP_s_TqWhlDece_TqDmd - VMMP_DSOPOST_p_BrkPed_TqOfsReqNotDmnt)

THEN:

DSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)

Raw

{
  "ID": "18842005.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1, 2, 3)]:\n\r1) A2 is false\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r3) DSOPRE_s_BrkPed_TqWhlReq < (LOCCOP_s_TqWhlDece_TqDmd - VMMP_DSOPOST_p_BrkPed_TqOfsReqNotDmnt)\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1524935.0",
  "Description": "IF [OR(1, 2, 3)]:\n\r1) A2 is false\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r3) DSOPRE_s_BrkPed_TqWhlReq < (LOCCOP_s_TqWhlDece_TqDmd - VMMP_DSOPOST_p_BrkPed_TqOfsReqNotDmnt)\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_BrkPed_StReqDmntInit, VMMP_DSOPOST_c_BrkPed_StReqDmntFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
11316647090.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Status request sufficient
Status request sufficient

Raw

{
  "ID": "16647090.0",
  "ASIL": "  ",
  "Text": "Status request sufficient",
  "Type": "Folder",
  "Status": "",
  "Summary": "Status request sufficient",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214220.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11416647091.0FunctionalReleasedyesTrue
B1 IF 1]: 1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail THEN: DSOPOST_s_BrkPed_StReqSuff = StSigOutFc
B1 

IF 1]:

1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail

THEN:

DSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffFail, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)

Raw

{
  "ID": "16647091.0",
  "ASIL": "  QM",
  "Text": "B1 \n\rIF 1]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffFail, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214222.0",
  "Description": "B1 \n\rIF 1]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrFail\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffFail, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11516647092.0FunctionalReleasedyesTrue
B2 IF [AND(1,2)]: 1) B1 is false 2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit THEN: DSOPOST_s_BrkPe
B2 

IF [AND(1,2)]:

1) B1 is false

2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit

THEN:

DSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffInit, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)

Raw

{
  "ID": "16647092.0",
  "ASIL": "  QM",
  "Text": "B2 \n\rIF [AND(1,2)]:\n\r1) B1 is false\n\r2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffInit, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214233.0",
  "Description": "B2 \n\rIF [AND(1,2)]:\n\r1) B1 is false\n\r2) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrInit\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffInit, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11616647093.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) VSOVD_s_TqLgtSlopRoadCorHiAcu > 0 THEN: TqWhlAcce_TqAct = ASOTA_s_TqWhlAcce_TqAct ELSE: TqWhlAcce_TqAct = 0
IF [1]:

1) VSOVD_s_TqLgtSlopRoadCorHiAcu > 0

THEN:

TqWhlAcce_TqAct = ASOTA_s_TqWhlAcce_TqAct

ELSE:

TqWhlAcce_TqAct = 0

Raw

{
  "ID": "16647093.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) VSOVD_s_TqLgtSlopRoadCorHiAcu > 0\n\rTHEN:\n\rTqWhlAcce_TqAct = ASOTA_s_TqWhlAcce_TqAct\n\rELSE:\n\rTqWhlAcce_TqAct = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214224.0",
  "Description": "IF [1]:\n\r1) VSOVD_s_TqLgtSlopRoadCorHiAcu > 0\n\rTHEN:\n\rTqWhlAcce_TqAct = ASOTA_s_TqWhlAcce_TqAct\n\rELSE:\n\rTqWhlAcce_TqAct = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11716647094.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfs
IF [1]:

1) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuffWithPred + ASOTA_s_TqGbxInPred

THEN: 

BrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuffWthPred

ELSE: 

BrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuff

Raw

{
  "ID": "16647094.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuffWithPred + ASOTA_s_TqGbxInPred\n\rTHEN: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuffWthPred\n\rELSE: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214229.0",
  "Description": "IF [1]:\n\r1) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuffWithPred + ASOTA_s_TqGbxInPred\n\rTHEN: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuffWthPred\n\rELSE: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11822062593.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [1]: 1) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReq
IF [1]:

1) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuffWithPred + ASOTA_s_TqGbxInPred

THEN: 

BrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuffWthPred

ELSE: 

BrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuff

Raw

{
  "ID": "22062593.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuffWithPred + ASOTA_s_TqGbxInPred\n\rTHEN: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuffWthPred\n\rELSE: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuff",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [1]:\n\r1) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuffWithPred + ASOTA_s_TqGbxInPred\n\rTHEN: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuffWthPred\n\rELSE: \n\rBrkPed_StReqDmnt3 = VMMP_DSOPOST_c_BrkPed_StReqSuffSuff",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
11916647095.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
IF [ AND(1, OR(2,3))]: 1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty 2) DSOPRE_s_BrkPed_IdcDrvBrk = V
IF [ AND(1, OR(2,3))]:

1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty

2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrk

3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf

THEN:

BrkPed_StAddlQlfrRedQlty = 1

ELSEIF [AND(4,5)}:

4) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld

5) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld

THEN:

BrkPed_StAddlQlfrRedQlty = 1

ELSE:

BrkPed_StAddlQlfrRedQlty = 0

Raw

{
  "ID": "16647095.0",
  "ASIL": "  ",
  "Text": "IF [ AND(1, OR(2,3))]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrk\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf\n\rTHEN:\n\rBrkPed_StAddlQlfrRedQlty = 1\n\rELSEIF [AND(4,5)}:\n\r4) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld\n\r5) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld\n\rTHEN:\n\rBrkPed_StAddlQlfrRedQlty = 1\n\rELSE:\n\rBrkPed_StAddlQlfrRedQlty = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1406962.0",
  "Description": "IF [ AND(1, OR(2,3))]:\n\r1) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrRedQlty\n\r2) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrk\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkDrvBrkConf\n\rTHEN:\n\rBrkPed_StAddlQlfrRedQlty = 1\n\rELSEIF [AND(4,5)}:\n\r4) DSOPOST_s_BrkPed_StAddlQlfr = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld\n\r5) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPOST_c_BrkPed_StAddlQlfrVld\n\rTHEN:\n\rBrkPed_StAddlQlfrRedQlty = 1\n\rELSE:\n\rBrkPed_StAddlQlfrRedQlty = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12016647096.0FunctionalReleasedyesTrue
IF [AND(1, OR(2,3,4))]: 1) results of conditions from req. B1 and B2 are false 2) DSOPRE_s_BrkPed_TqWhlReq < abs(ASOTA_s_TqWhlAc
IF [AND(1, OR(2,3,4))]:

1) results of conditions from req. B1 and B2 are false

2) DSOPRE_s_BrkPed_TqWhlReq < abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqNotSuff

3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk

4) VSOEM_s_StSdsl != VMMP_VSOEM_c_StSdslSdsl

THEN:

DSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffNotSuff, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)

ELSEIF [AND(5,6,7,8)]:

5) results of conditions from req. B1 and B2 are false

6) BrkPed_StAddlQlfrRedQlty = 1

7) VSOEM_s_StSdsl = VMMP_VSOEM_c_StSdslSdsl

8) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuff

THEN:

DSOPOST_s_BrkPed_StReqSuff = StSigOutFct (BrkPed_StReqDmnt3, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)

ELSE:

DSOPOST_s_BrkPed_StReqSuff = DSOPOST_s_BrkPed_StReqSuff (k-1)

Raw

{
  "ID": "16647096.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1, OR(2,3,4))]:\n\r1) results of conditions from req. B1 and B2 are false\n\r2) DSOPRE_s_BrkPed_TqWhlReq < abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqNotSuff\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r4) VSOEM_s_StSdsl != VMMP_VSOEM_c_StSdslSdsl\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffNotSuff, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSEIF [AND(5,6,7,8)]:\n\r5) results of conditions from req. B1 and B2 are false\n\r6) BrkPed_StAddlQlfrRedQlty = 1\n\r7) VSOEM_s_StSdsl = VMMP_VSOEM_c_StSdslSdsl\n\r8) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuff\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (BrkPed_StReqDmnt3, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSE:\n\rDSOPOST_s_BrkPed_StReqSuff = DSOPOST_s_BrkPed_StReqSuff (k-1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214226.0",
  "Description": "IF [AND(1, OR(2,3,4))]:\n\r1) results of conditions from req. B1 and B2 are false\n\r2) DSOPRE_s_BrkPed_TqWhlReq < abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqNotSuff\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r4) VSOEM_s_StSdsl != VMMP_VSOEM_c_StSdslSdsl\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffNotSuff, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSEIF [AND(5,6,7,8)]:\n\r5) results of conditions from req. B1 and B2 are false\n\r6) BrkPed_StAddlQlfrRedQlty = 1\n\r7) VSOEM_s_StSdsl = VMMP_VSOEM_c_StSdslSdsl\n\r8) DSOPRE_s_BrkPed_TqWhlReq >= abs(ASOTA_s_TqWhlAcce_TqAct + VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuff\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (BrkPed_StReqDmnt3, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSE:\n\rDSOPOST_s_BrkPed_StReqSuff = DSOPOST_s_BrkPed_StReqSuff (k-1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12122122741.0FunctionalReleasedyesTrue
IF [AND(1, OR(2,3,4))]: 1) results of conditions from req. B1 and B2 are false 2) DSOPRE_s_BrkPed_TqWhlReq < abs(TqWhlAcce_TqAct
IF [AND(1, OR(2,3,4))]:

1) results of conditions from req. B1 and B2 are false

2) DSOPRE_s_BrkPed_TqWhlReq < abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu)

3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk

4) VSOEM_s_StSdsl != VMMP_VSOEM_c_StSdslSdsl

THEN:

DSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffNotSuff, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)

ELSEIF [AND(5,6,7,8)]:

5) results of conditions from req. B1 and B2 are false

6) BrkPed_StAddlQlfrRedQlty = 1

7) VSOEM_s_StSdsl = VMMP_VSOEM_c_StSdslSdsl

8) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuff

THEN:

DSOPOST_s_BrkPed_StReqSuff = StSigOutFct (BrkPed_StReqDmnt3, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)

ELSE:

DSOPOST_s_BrkPed_StReqSuff = DSOPOST_s_BrkPed_StReqSuff (k-1)

Raw

{
  "ID": "22122741.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1, OR(2,3,4))]:\n\r1) results of conditions from req. B1 and B2 are false\n\r2) DSOPRE_s_BrkPed_TqWhlReq < abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu)\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r4) VSOEM_s_StSdsl != VMMP_VSOEM_c_StSdslSdsl\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffNotSuff, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSEIF [AND(5,6,7,8)]:\n\r5) results of conditions from req. B1 and B2 are false\n\r6) BrkPed_StAddlQlfrRedQlty = 1\n\r7) VSOEM_s_StSdsl = VMMP_VSOEM_c_StSdslSdsl\n\r8) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuff\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (BrkPed_StReqDmnt3, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSE:\n\rDSOPOST_s_BrkPed_StReqSuff = DSOPOST_s_BrkPed_StReqSuff (k-1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1, OR(2,3,4))]:\n\r1) results of conditions from req. B1 and B2 are false\n\r2) DSOPRE_s_BrkPed_TqWhlReq < abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu)\n\r3) DSOPRE_s_BrkPed_IdcDrvBrk = VMMP_DSOPRE_c_BrkPed_IdcDrvBrkNoDrvBrk\n\r4) VSOEM_s_StSdsl != VMMP_VSOEM_c_StSdslSdsl\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (VMMP_DSOPOST_c_BrkPed_StReqSuffNotSuff, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSEIF [AND(5,6,7,8)]:\n\r5) results of conditions from req. B1 and B2 are false\n\r6) BrkPed_StAddlQlfrRedQlty = 1\n\r7) VSOEM_s_StSdsl = VMMP_VSOEM_c_StSdslSdsl\n\r8) DSOPRE_s_BrkPed_TqWhlReq >= abs(TqWhlAcce_TqAct) + abs(VSOVD_s_TqLgtSlopRoadCorHiAcu) + VMMP_DSOPOST_p_BrkPed_TqOfsReqSuff\n\rTHEN:\n\rDSOPOST_s_BrkPed_StReqSuff = StSigOutFct (BrkPed_StReqDmnt3, StVld1, VMMP_DSOPOST_c_BrkPed_StReqSuffInit, VMMP_DSOPOST_c_BrkPed_StReqSuffFail)\n\rELSE:\n\rDSOPOST_s_BrkPed_StReqSuff = DSOPOST_s_BrkPed_StReqSuff (k-1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12216647097.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Intensity Demand
Intensity Demand

Raw

{
  "ID": "16647097.0",
  "ASIL": "  ",
  "Text": "Intensity Demand",
  "Type": "Folder",
  "Status": "",
  "Summary": "Intensity Demand",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214235.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12316647098.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
DSOPOST_s_BrkPed_ItDmdNrm is boundered between 0 (lower limit) and VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat (upper limit)
DSOPOST_s_BrkPed_ItDmdNrm is boundered between 0 (lower limit) and VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat (upper limit)

Raw

{
  "ID": "16647098.0",
  "ASIL": "  QM",
  "Text": "DSOPOST_s_BrkPed_ItDmdNrm is boundered between 0 (lower limit) and VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat (upper limit)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214237.0",
  "Description": "DSOPOST_s_BrkPed_ItDmdNrm is boundered between 0 (lower limit) and VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat (upper limit)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12416647099.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
GP_VehBdy_p_RefAxlLdRe = GLPA_s_VehBdy_p_RefAxlLdRe GP_VehBdy_p_RefAxlLdFr = GLPA_s_VehBdy_p_RefAxlLdFr
GP_VehBdy_p_RefAxlLdRe = GLPA_s_VehBdy_p_RefAxlLdRe

GP_VehBdy_p_RefAxlLdFr = GLPA_s_VehBdy_p_RefAxlLdFr

Raw

{
  "ID": "16647099.0",
  "ASIL": "  QM",
  "Text": "GP_VehBdy_p_RefAxlLdRe = GLPA_s_VehBdy_p_RefAxlLdRe\n\rGP_VehBdy_p_RefAxlLdFr = GLPA_s_VehBdy_p_RefAxlLdFr",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214241.0",
  "Description": "GP_VehBdy_p_RefAxlLdRe = GLPA_s_VehBdy_p_RefAxlLdRe\n\rGP_VehBdy_p_RefAxlLdFr = GLPA_s_VehBdy_p_RefAxlLdFr",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12516647100.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
VehBdyRef = GLPA_s_VehBdy_p_RefAxlLdRe + GLPA_s_VehBdy_p_RefAxlLdFr ItDmdNrm = VMMP_DSOPOST_p_BrkPed_ItDmdNrmRef * VSOVD_s_LStatW
VehBdyRef = GLPA_s_VehBdy_p_RefAxlLdRe + GLPA_s_VehBdy_p_RefAxlLdFr

ItDmdNrm = VMMP_DSOPOST_p_BrkPed_ItDmdNrmRef * VSOVD_s_LStatWhlRdRe*VehBdyRef

IF [1]:

1) ItDmdNrm = 0

THEN:

BrkPed_ItDmdNrm = DSOPRE_s_BrkPed_TqWhlReq / VMMP_c_DivLim

ELSE:

BrkPed_ItDmdNrm = DSOPRE_s_BrkPed_TqWhlReq / ItDmdNrm

Raw

{
  "ID": "16647100.0",
  "ASIL": "  ASIL B",
  "Text": "VehBdyRef = GLPA_s_VehBdy_p_RefAxlLdRe + GLPA_s_VehBdy_p_RefAxlLdFr\n\rItDmdNrm = VMMP_DSOPOST_p_BrkPed_ItDmdNrmRef * VSOVD_s_LStatWhlRdRe*VehBdyRef\n\rIF [1]:\n\r1) ItDmdNrm = 0\n\rTHEN:\n\rBrkPed_ItDmdNrm = DSOPRE_s_BrkPed_TqWhlReq / VMMP_c_DivLim\n\rELSE:\n\rBrkPed_ItDmdNrm = DSOPRE_s_BrkPed_TqWhlReq / ItDmdNrm",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1387010.0",
  "Description": "VehBdyRef = GLPA_s_VehBdy_p_RefAxlLdRe + GLPA_s_VehBdy_p_RefAxlLdFr\n\rItDmdNrm = VMMP_DSOPOST_p_BrkPed_ItDmdNrmRef * VSOVD_s_LStatWhlRdRe*VehBdyRef\n\rIF [1]:\n\r1) ItDmdNrm = 0\n\rTHEN:\n\rBrkPed_ItDmdNrm = DSOPRE_s_BrkPed_TqWhlReq / VMMP_c_DivLim\n\rELSE:\n\rBrkPed_ItDmdNrm = DSOPRE_s_BrkPed_TqWhlReq / ItDmdNrm",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12616647101.0FunctionalReleasedyesTrue
DSOPOST_s_BrkPed_ItDmdNrm = PhySigOutFct (BrkPed_ItDmdNrm, DSOPRE_s_DiagBrkPed_StEveReq, 0)
DSOPOST_s_BrkPed_ItDmdNrm = PhySigOutFct (BrkPed_ItDmdNrm, DSOPRE_s_DiagBrkPed_StEveReq, 0)

Raw

{
  "ID": "16647101.0",
  "ASIL": "  QM",
  "Text": "DSOPOST_s_BrkPed_ItDmdNrm = PhySigOutFct (BrkPed_ItDmdNrm, DSOPRE_s_DiagBrkPed_StEveReq, 0)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214239.0",
  "Description": "DSOPOST_s_BrkPed_ItDmdNrm = PhySigOutFct (BrkPed_ItDmdNrm, DSOPRE_s_DiagBrkPed_StEveReq, 0)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12716647102.0FunctionalReleasedyesTrue
IF [1]: 1) BrkPed_ItDmdNrm > VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat THEN: DSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVld
IF [1]:

1) BrkPed_ItDmdNrm > VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat

THEN:

DSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldNeut, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)

ELSE:

DSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagBrkPed_StEveReq, VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)

Raw

{
  "ID": "16647102.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) BrkPed_ItDmdNrm > VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat\n\rTHEN:\n\rDSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldNeut, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)\n\rELSE:\n\rDSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagBrkPed_StEveReq, VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214245.0",
  "Description": "IF [1]:\n\r1) BrkPed_ItDmdNrm > VMMP_DSOPOST_p_BrkPed_ItDmdNrmSat\n\rTHEN:\n\rDSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldNeut, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)\n\rELSE:\n\rDSOPOST_s_BrkPed_ItDmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagBrkPed_StEveReq, VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12816647109.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Additional drive pedal Info
Additional drive pedal Info

Raw

{
  "ID": "16647109.0",
  "ASIL": "  ",
  "Text": "Additional drive pedal Info",
  "Type": "Folder",
  "Status": "",
  "Summary": "Additional drive pedal Info",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214262.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
12916647110.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Status request dominant
Status request dominant

Raw

{
  "ID": "16647110.0",
  "ASIL": "  ",
  "Text": "Status request dominant",
  "Type": "Folder",
  "Status": "",
  "Summary": "Status request dominant",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214264.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13016647111.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
StVld1 = DiagEveAll(DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)
StVld1 = DiagEveAll(DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)

Raw

{
  "ID": "16647111.0",
  "ASIL": "  QM",
  "Text": "StVld1 = DiagEveAll(DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214266.0",
  "Description": "StVld1 = DiagEveAll(DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13116647112.0FunctionalReleasedyesTrue
D2 TqWhlAcceDmd = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd TqDmd = LOCTOP_s_TqWhlReq_TqDmd - VMMP_DSOPO
D2

TqWhlAcceDmd = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd 

TqDmd = LOCTOP_s_TqWhlReq_TqDmd - VMMP_DSOPOST_c_DrvPed_TqOfsReqNotDmnt

IF [OR(1, 2)]:

1) DSOPRE_s_DrvPed_StPed = 0

2) TqWhlAcceDmd < TqDmd

THEN:

DSOPOST_s_DrvPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_DrvPed_StReqDmntInit, VMMP_DSOPOST_c_DrvPed_StReqDmntFail)

ELSE:

DSOPOST_s_DrvPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StReqDmntDmnt, StVld1, VMMP_DSOPOST_c_DrvPed_StReqDmntInit, VMMP_DSOPOST_c_DrvPed_StReqDmntFail)

Raw

{
  "ID": "16647112.0",
  "ASIL": "  QM",
  "Text": "D2\n\rTqWhlAcceDmd = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd \n\rTqDmd = LOCTOP_s_TqWhlReq_TqDmd - VMMP_DSOPOST_c_DrvPed_TqOfsReqNotDmnt\n\rIF [OR(1, 2)]:\n\r1) DSOPRE_s_DrvPed_StPed = 0\n\r2) TqWhlAcceDmd < TqDmd\n\rTHEN:\n\rDSOPOST_s_DrvPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_DrvPed_StReqDmntInit, VMMP_DSOPOST_c_DrvPed_StReqDmntFail)\n\rELSE:\n\rDSOPOST_s_DrvPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StReqDmntDmnt, StVld1, VMMP_DSOPOST_c_DrvPed_StReqDmntInit, VMMP_DSOPOST_c_DrvPed_StReqDmntFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214274.0",
  "Description": "D2\n\rTqWhlAcceDmd = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd \n\rTqDmd = LOCTOP_s_TqWhlReq_TqDmd - VMMP_DSOPOST_c_DrvPed_TqOfsReqNotDmnt\n\rIF [OR(1, 2)]:\n\r1) DSOPRE_s_DrvPed_StPed = 0\n\r2) TqWhlAcceDmd < TqDmd\n\rTHEN:\n\rDSOPOST_s_DrvPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StReqDmntNotDmnt, StVld1, VMMP_DSOPOST_c_DrvPed_StReqDmntInit, VMMP_DSOPOST_c_DrvPed_StReqDmntFail)\n\rELSE:\n\rDSOPOST_s_DrvPed_StReqDmnt = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StReqDmntDmnt, StVld1, VMMP_DSOPOST_c_DrvPed_StReqDmntInit, VMMP_DSOPOST_c_DrvPed_StReqDmntFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13216647113.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Acceleration demand
Acceleration demand

Raw

{
  "ID": "16647113.0",
  "ASIL": "  ",
  "Text": "Acceleration demand",
  "Type": "Folder",
  "Status": "",
  "Summary": "Acceleration demand",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214276.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13316647114.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)
StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)

Raw

{
  "ID": "16647114.0",
  "ASIL": "  QM",
  "Text": "StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214298.0",
  "Description": "StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13416647115.0FunctionalReleasedyesTrue
DSOPOST_s_DrvPed_ADmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagDrvReq_StEveReq, VMMP_c_StVldOut_StVldIni, VMM
DSOPOST_s_DrvPed_ADmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagDrvReq_StEveReq, VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)

Raw

{
  "ID": "16647115.0",
  "ASIL": "  QM",
  "Text": "DSOPOST_s_DrvPed_ADmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagDrvReq_StEveReq, VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214300.0",
  "Description": "DSOPOST_s_DrvPed_ADmdNrmStVld = StSigOutFct (VMMP_c_StVldOut_StVldVld, DSOPRE_s_DiagDrvReq_StEveReq, VMMP_c_StVldOut_StVldIni, VMMP_c_StVldOut_StVldFailQlf)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13516647116.0FunctionalReleasedyesTrue
DrvPed_TqWhl1 = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd TqWhl = VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefA
DrvPed_TqWhl1 = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd

TqWhl = VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefAxlLdRe + GP_VehBdy_p_RefAxlLdFr)

IF [1]

1) TqWhl = 0

THEN:

DrvPed_TqWhl2 = 1 / VMMP_c_DivLim

ELSE:

DrvPed_TqWhl2 = 1 / (VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefAxlLdRe + GP_VehBdy_p_RefAxlLdFr))

DSOPOST_s_DrvPed_ADmdNrm = PhySigOutFct (DrvPed_TqWhl1 * DrvPed_TqWhl2, StVld1, 0)

Raw

{
  "ID": "16647116.0",
  "ASIL": "  ASIL B",
  "Text": "DrvPed_TqWhl1 = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd\n\rTqWhl = VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefAxlLdRe + GP_VehBdy_p_RefAxlLdFr)\n\rIF [1]\n\r1) TqWhl = 0\n\rTHEN:\n\rDrvPed_TqWhl2 = 1 / VMMP_c_DivLim\n\rELSE:\n\rDrvPed_TqWhl2 = 1 / (VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefAxlLdRe + GP_VehBdy_p_RefAxlLdFr))\n\rDSOPOST_s_DrvPed_ADmdNrm = PhySigOutFct (DrvPed_TqWhl1 * DrvPed_TqWhl2, StVld1, 0)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214296.0",
  "Description": "DrvPed_TqWhl1 = abs(DSOPRE_s_DrvPed_TqWhlAcceDmd) - DSOPRE_s_DrvPed_TqWhlDeceDmd\n\rTqWhl = VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefAxlLdRe + GP_VehBdy_p_RefAxlLdFr)\n\rIF [1]\n\r1) TqWhl = 0\n\rTHEN:\n\rDrvPed_TqWhl2 = 1 / VMMP_c_DivLim\n\rELSE:\n\rDrvPed_TqWhl2 = 1 / (VSOVD_s_LStatWhlRdRe * (GP_VehBdy_p_RefAxlLdRe + GP_VehBdy_p_RefAxlLdFr))\n\rDSOPOST_s_DrvPed_ADmdNrm = PhySigOutFct (DrvPed_TqWhl1 * DrvPed_TqWhl2, StVld1, 0)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13616647117.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Additional drive pedal info
Additional drive pedal info

Raw

{
  "ID": "16647117.0",
  "ASIL": "  ",
  "Text": "Additional drive pedal info",
  "Type": "Folder",
  "Status": "",
  "Summary": "Additional drive pedal info",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214302.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13716647118.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)
StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)

Raw

{
  "ID": "16647118.0",
  "ASIL": "  QM",
  "Text": "StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214306.0",
  "Description": "StVld1 = DiagEveAll (DSOPRE_s_DiagAPI_StEveReq, DSOPRE_s_DiagDrvReq_StEveReq)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13816647119.0FunctionalReleasedyesTrue
IF [1]: 1) API_s_StDrvPedCnfd = 2 THEN: DSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrRedQlty, StV
IF [1]:

1) API_s_StDrvPedCnfd = 2

THEN:

DSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrRedQlty, StVld1, VMMP_DSOPOST_c_DrvPed_StAddlQlfrInit, VMMP_DSOPOST_c_DrvPed_StAddlQlfrFail)

ELSE:

DSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrVld, StVld1, VMMP_DSOPOST_c_DrvPed_StAddlQlfrInit, VMMP_DSOPOST_c_DrvPed_StAddlQlfrFail)

Raw

{
  "ID": "16647119.0",
  "ASIL": "  ASIL B",
  "Text": "IF [1]:\n\r1) API_s_StDrvPedCnfd = 2\n\rTHEN:\n\rDSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrRedQlty, StVld1, VMMP_DSOPOST_c_DrvPed_StAddlQlfrInit, VMMP_DSOPOST_c_DrvPed_StAddlQlfrFail)\n\rELSE:\n\rDSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrVld, StVld1, VMMP_DSOPOST_c_DrvPed_StAddlQlfrInit, VMMP_DSOPOST_c_DrvPed_StAddlQlfrFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214310.0",
  "Description": "IF [1]:\n\r1) API_s_StDrvPedCnfd = 2\n\rTHEN:\n\rDSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrRedQlty, StVld1, VMMP_DSOPOST_c_DrvPed_StAddlQlfrInit, VMMP_DSOPOST_c_DrvPed_StAddlQlfrFail)\n\rELSE:\n\rDSOPOST_s_DrvPed_StAddlQlfr = StSigOutFct (VMMP_DSOPOST_c_DrvPed_StAddlQlfrVld, StVld1, VMMP_DSOPOST_c_DrvPed_StAddlQlfrInit, VMMP_DSOPOST_c_DrvPed_StAddlQlfrFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
13916647120.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Driver braking criteria
Driver braking criteria

Raw

{
  "ID": "16647120.0",
  "ASIL": "  ",
  "Text": "Driver braking criteria",
  "Type": "Folder",
  "Status": "",
  "Summary": "Driver braking criteria",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214314.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14016647121.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
LookUpTable Lookup table blocks use arrays of data to map input values to output values, approximating mathematical functions. 1
LookUpTable

Lookup table blocks use arrays of data to map input values to output values, approximating mathematical functions.

1. Table data = data1

2. Breakpoints = data2

Referring to this chapter will be done as following: LookUpTable (input, data1, data2), where "input" is the input value of the table

Raw

{
  "ID": "16647121.0",
  "ASIL": "  QM",
  "Text": "LookUpTable\n\rLookup table blocks use arrays of data to map input values to output values, approximating mathematical functions.\n\r \n\r1. Table data = data1\n\r2. Breakpoints = data2\n\rReferring to this chapter will be done as following: LookUpTable (input, data1, data2), where \"input\" is the input value of the table",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1214320.0",
  "Description": "LookUpTable\n\rLookup table blocks use arrays of data to map input values to output values, approximating mathematical functions.\n\r \n\r1. Table data = data1\n\r2. Breakpoints = data2\n\rReferring to this chapter will be done as following: LookUpTable (input, data1, data2), where \"input\" is the input value of the table",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
14116647122.0FunctionalReleasedyesTrue
data1 = VMMP_DSOPOST_p1_TqWhlBrkPed_RstDrvBrkCta data2 = VMMP_DSOPOST_px_LPosnBrkPed data3 = VMMP_DSOPOST_p1_TqWhlBrkPed_SetDrvB
data1 = VMMP_DSOPOST_p1_TqWhlBrkPed_RstDrvBrkCta

data2 = VMMP_DSOPOST_px_LPosnBrkPed

data3 = VMMP_DSOPOST_p1_TqWhlBrkPed_SetDrvBrkCta

IF [OR(1, 2)]:

1) DSOPRE_s_BrkPed_TqWhlReq < LookUpTable (DSOPRE_s_BrkPed_LPosnBrkPedDrv, data1, data2)

2) DSOPRE_s_BrkPed_LPosnBrkPedDrv < VMMP_DSOPOST_p_LPosnBrkPedMin_RstDrvBrkCta

THEN:

DSOPOST_s_StDrvBrkCtaWBA = StSigOutFct (VMMP_DSOPOST_c_StDrvBrkCtaWBANotFuf, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_DSOPOST_c_StDrvBrkCtaWBAIni, VMMP_DSOPOST_c_StDrvBrkCtaWBAFail)

ELSEIF[OR[3,4]]:

3) DSOPRE_s_BrkPed_TqWhlReq >= LookUpTable (DSOPRE_s_BrkPed_LPosnBrkPedDrv, data3, data2)

4) DSOPRE_s_BrkPed_LPosnBrkPedDrv >= VMMP_DSOPOST_p_LPosnBrkPedMin_SetDrvBrkCta

THEN:

DSOPOST_s_StDrvBrkCtaWBA = StSigOutFct (VMMP_DSOPOST_c_StDrvBrkCtaWBAFuf, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_DSOPOST_c_StDrvBrkCtaWBAIni, VMMP_DSOPOST_c_StDrvBrkCtaWBAFail)

ELSE:

DSOPOST_s_StDrvBrkCtaWBA = DSOPOST_s_StDrvBrkCtaWBA(k-1)

Raw

{
  "ID": "16647122.0",
  "ASIL": "  ASIL C",
  "Text": "data1 = VMMP_DSOPOST_p1_TqWhlBrkPed_RstDrvBrkCta\n\rdata2 = VMMP_DSOPOST_px_LPosnBrkPed\n\rdata3 = VMMP_DSOPOST_p1_TqWhlBrkPed_SetDrvBrkCta\n\r \n\rIF [OR(1, 2)]:\n\r1) DSOPRE_s_BrkPed_TqWhlReq < LookUpTable (DSOPRE_s_BrkPed_LPosnBrkPedDrv, data1, data2)\n\r2) DSOPRE_s_BrkPed_LPosnBrkPedDrv < VMMP_DSOPOST_p_LPosnBrkPedMin_RstDrvBrkCta\n\rTHEN:\n\rDSOPOST_s_StDrvBrkCtaWBA = StSigOutFct (VMMP_DSOPOST_c_StDrvBrkCtaWBANotFuf, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_DSOPOST_c_StDrvBrkCtaWBAIni, VMMP_DSOPOST_c_StDrvBrkCtaWBAFail)\n\r \n\rELSEIF[OR[3,4]]:\n\r3) DSOPRE_s_BrkPed_TqWhlReq >= LookUpTable (DSOPRE_s_BrkPed_LPosnBrkPedDrv, data3, data2)\n\r4) DSOPRE_s_BrkPed_LPosnBrkPedDrv >= VMMP_DSOPOST_p_LPosnBrkPedMin_SetDrvBrkCta\n\rTHEN:\n\rDSOPOST_s_StDrvBrkCtaWBA = StSigOutFct (VMMP_DSOPOST_c_StDrvBrkCtaWBAFuf, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_DSOPOST_c_StDrvBrkCtaWBAIni, VMMP_DSOPOST_c_StDrvBrkCtaWBAFail)\n\r \n\rELSE:\n\rDSOPOST_s_StDrvBrkCtaWBA = DSOPOST_s_StDrvBrkCtaWBA(k-1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1214324.0",
  "Description": "data1 = VMMP_DSOPOST_p1_TqWhlBrkPed_RstDrvBrkCta\n\rdata2 = VMMP_DSOPOST_px_LPosnBrkPed\n\rdata3 = VMMP_DSOPOST_p1_TqWhlBrkPed_SetDrvBrkCta\n\r \n\rIF [OR(1, 2)]:\n\r1) DSOPRE_s_BrkPed_TqWhlReq < LookUpTable (DSOPRE_s_BrkPed_LPosnBrkPedDrv, data1, data2)\n\r2) DSOPRE_s_BrkPed_LPosnBrkPedDrv < VMMP_DSOPOST_p_LPosnBrkPedMin_RstDrvBrkCta\n\rTHEN:\n\rDSOPOST_s_StDrvBrkCtaWBA = StSigOutFct (VMMP_DSOPOST_c_StDrvBrkCtaWBANotFuf, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_DSOPOST_c_StDrvBrkCtaWBAIni, VMMP_DSOPOST_c_StDrvBrkCtaWBAFail)\n\r \n\rELSEIF[OR[3,4]]:\n\r3) DSOPRE_s_BrkPed_TqWhlReq >= LookUpTable (DSOPRE_s_BrkPed_LPosnBrkPedDrv, data3, data2)\n\r4) DSOPRE_s_BrkPed_LPosnBrkPedDrv >= VMMP_DSOPOST_p_LPosnBrkPedMin_SetDrvBrkCta\n\rTHEN:\n\rDSOPOST_s_StDrvBrkCtaWBA = StSigOutFct (VMMP_DSOPOST_c_StDrvBrkCtaWBAFuf, DSOPRE_s_DiagBrkPed_StEveReq , VMMP_DSOPOST_c_StDrvBrkCtaWBAIni, VMMP_DSOPOST_c_StDrvBrkCtaWBAFail)\n\r \n\rELSE:\n\rDSOPOST_s_StDrvBrkCtaWBA = DSOPOST_s_StDrvBrkCtaWBA(k-1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}