Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

C4 state request launch control preparing phase

IF [1]:

1) LnchCtl_s_StReq = 4

THEN:

VSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlPrepPha, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)

{
  "ID": "16646530.0",
  "ASIL": "  QM",
  "Text": "C4 state request launch control preparing phase\n\rIF [1]:\n\r1) LnchCtl_s_StReq = 4\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlPrepPha, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212651.0",
  "Description": "C4 state request launch control preparing phase\n\rIF [1]:\n\r1) LnchCtl_s_StReq = 4\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlPrepPha, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

C5 state request launch control active

IF [1]:

1) LnchCtl_s_StReq = 5

THEN:

VSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlAcv, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)

{
  "ID": "16646531.0",
  "ASIL": "  QM",
  "Text": "C5 state request launch control active\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 5\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlAcv, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343052.0",
  "Description": "C5 state request launch control active\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 5\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlAcv, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

C6 state request preconditioning request

IF [1]:

1) LnchCtl_s_StReq = 6

THEN:

VSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlPreCdnReq, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)

{
  "ID": "16646532.0",
  "ASIL": "  QM",
  "Text": "C6 state request preconditioning request\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 6\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlPreCdnReq, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343054.0",
  "Description": "C6 state request preconditioning request\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 6\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqElLnchCtlPreCdnReq, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

C7 state request preparing phase

IF [1]:

1) LnchCtl_s_StReq = 7

THEN:

VSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqLnchCtlLghtPrepPha, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)

{
  "ID": "16646533.0",
  "ASIL": "  QM",
  "Text": "C7 state request preparing phase\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 7\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqLnchCtlLghtPrepPha, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343056.0",
  "Description": "C7 state request preparing phase\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 7\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqLnchCtlLghtPrepPha, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

C8 state request light active

IF [1]:

1) LnchCtl_s_StReq = 8

THEN:

VSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqLnchCtlLghtAcv, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)

{
  "ID": "16646534.0",
  "ASIL": "  QM",
  "Text": "C8 state request light active\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 8\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqLnchCtlLghtAcv, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343058.0",
  "Description": "C8 state request light active\n\r \n\r \n\rIF [1]:\n\r1) LnchCtl_s_StReq = 8\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqLnchCtlLghtAcv, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]

1) Conditions from req. req. C1, C2,....C8 are false

THEN:

VSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqIni, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)

{
  "ID": "16646535.0",
  "ASIL": "  QM",
  "Text": "IF [1]\n\r1) Conditions from req. req. C1, C2,....C8 are false\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqIni, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1212653.0",
  "Description": "IF [1]\n\r1) Conditions from req. req. C1, C2,....C8 are false\n\rTHEN:\n\rVSOVD_s_LnchCtl_StReq = StSigOutFct (VMMP_VSOVD_c_LnchCtlStReqIni, VSOVD_s_DiagLnchCtl_StEveReq, VMMP_VSOVD_c_LnchCtlStReqIni, VMMP_VSOVD_c_LnchCtlStReqFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Special Mode State

{
  "ID": "16646536.0",
  "ASIL": "  ",
  "Text": "Special Mode State",
  "Type": "Folder",
  "Status": "",
  "Summary": "Special Mode State",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254528.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Transport Mode

{
  "ID": "16646537.0",
  "ASIL": "  ",
  "Text": "Transport Mode",
  "Type": "Folder",
  "Status": "",
  "Summary": "Transport Mode",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254594.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) Diag_s_MdInfo_ProdMd = 0

THEN:

VSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv

{
  "ID": "16646538.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Diag_s_MdInfo_ProdMd = 0\n\rTHEN:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1254532.0",
  "Description": "IF [1]:\n\r1) Diag_s_MdInfo_ProdMd = 0\n\rTHEN:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]:

1) Diag_s_AdpProdMd= 1

2) Diag_s_MdInfo_ProdMd = 1 OR 2

THEN:

VSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdAcv

ELSE:

VSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv

{
  "ID": "16646539.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) Diag_s_AdpProdMd= 1\n\r2) Diag_s_MdInfo_ProdMd = 1 OR 2\n\rTHEN:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSE:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1254588.0",
  "Description": "IF [AND(1,2)]:\n\r1) Diag_s_AdpProdMd= 1\n\r2) Diag_s_MdInfo_ProdMd = 1 OR 2\n\rTHEN:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSE:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]:

1) Diag_s_MdInfo_ProdMd = 2

2) Diag_s_AdpProdMd = 1

THEN:

VSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdAcv

ELSEIF [AND(3,4)]:

3) Diag_s_MdInfo_ProdMd = 2

4) Diag_s_AdpProdMd != 1:

VSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv

{
  "ID": "16646540.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) Diag_s_MdInfo_ProdMd = 2\n\r2) Diag_s_AdpProdMd = 1\n\rTHEN:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSEIF [AND(3,4)]:\n\r3) Diag_s_MdInfo_ProdMd = 2\n\r4) Diag_s_AdpProdMd != 1:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1254590.0",
  "Description": "IF [AND(1,2)]:\n\r1) Diag_s_MdInfo_ProdMd = 2\n\r2) Diag_s_AdpProdMd = 1\n\rTHEN:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSEIF [AND(3,4)]:\n\r3) Diag_s_MdInfo_ProdMd = 2\n\r4) Diag_s_AdpProdMd != 1:\n\rVSOVD_s_StProdMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) Diag_s_MdInfo_ProdMd = 0

THEN:

VSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv

{
  "ID": "16646541.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Diag_s_MdInfo_ProdMd = 0\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346353.0",
  "Description": "IF [1]:\n\r1) Diag_s_MdInfo_ProdMd = 0\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]:

1) Diag_s_AdpProdMdShoTrack= 1

2) Diag_s_MdInfo_ProdMd = 1 OR 2

THEN:

VSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdAcv

ELSE:

VSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv

{
  "ID": "16646542.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) Diag_s_AdpProdMdShoTrack= 1\n\r2) Diag_s_MdInfo_ProdMd = 1 OR 2\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSE:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346355.0",
  "Description": "IF [AND(1,2)]:\n\r1) Diag_s_AdpProdMdShoTrack= 1\n\r2) Diag_s_MdInfo_ProdMd = 1 OR 2\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSE:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]:

1) Diag_s_MdInfo_ProdMd = 2

2) Diag_s_AdpProdMdShoTrack = 1

THEN:

VSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdAcv

ELSEIF [AND(3,4)]:

3) Diag_s_MdInfo_ProdMd = 2

4) Diag_s_AdpProdMdShoTrack != 1:

THEN:

VSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv

{
  "ID": "16646543.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) Diag_s_MdInfo_ProdMd = 2\n\r2) Diag_s_AdpProdMdShoTrack = 1\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSEIF [AND(3,4)]:\n\r3) Diag_s_MdInfo_ProdMd = 2\n\r4) Diag_s_AdpProdMdShoTrack != 1:\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346357.0",
  "Description": "IF [AND(1,2)]:\n\r1) Diag_s_MdInfo_ProdMd = 2\n\r2) Diag_s_AdpProdMdShoTrack = 1\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdAcv\n\rELSEIF [AND(3,4)]:\n\r3) Diag_s_MdInfo_ProdMd = 2\n\r4) Diag_s_AdpProdMdShoTrack != 1:\n\rTHEN:\n\rVSOVD_s_StProdStMd = VMMP_VSOVD_c_StProdMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Transport Protection

{
  "ID": "16646544.0",
  "ASIL": "  ",
  "Text": "Transport Protection",
  "Type": "Folder",
  "Status": "",
  "Summary": "Transport Protection",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254596.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) Diag_s_MdInfo_TrptProt = 1

THEN:

VSOVD_s_StTrptProt = VMMP_VSOVD_c_StTrptProtAcv

ELSE:

VSOVD_s_StTrptProt = VMMP_VSOVD_c_StTrptProtNotAcv

{
  "ID": "16646545.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Diag_s_MdInfo_TrptProt = 1\n\rTHEN:\n\rVSOVD_s_StTrptProt = VMMP_VSOVD_c_StTrptProtAcv\n\rELSE:\n\rVSOVD_s_StTrptProt = VMMP_VSOVD_c_StTrptProtNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1254592.0",
  "Description": "IF [1]:\n\r1) Diag_s_MdInfo_TrptProt = 1\n\rTHEN:\n\rVSOVD_s_StTrptProt = VMMP_VSOVD_c_StTrptProtAcv\n\rELSE:\n\rVSOVD_s_StTrptProt = VMMP_VSOVD_c_StTrptProtNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Roll mode

{
  "ID": "16646546.0",
  "ASIL": "  ",
  "Text": "Roll mode",
  "Type": "Folder",
  "Status": "",
  "Summary": "Roll mode",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254600.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) Diag_s_MdInfo_DynoMd = 1

THEN:

VSOVD_s_StDynoMd = VMMP_VSOVD_c_StDynoMdAcv

ELSE:

VSOVD_s_StDynoMd = VMMP_VSOVD_c_StDynoMdNotAcv

{
  "ID": "16646547.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Diag_s_MdInfo_DynoMd = 1\n\rTHEN:\n\rVSOVD_s_StDynoMd = VMMP_VSOVD_c_StDynoMdAcv\n\rELSE:\n\rVSOVD_s_StDynoMd = VMMP_VSOVD_c_StDynoMdNotAcv",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1254602.0",
  "Description": "IF [1]:\n\r1) Diag_s_MdInfo_DynoMd = 1\n\rTHEN:\n\rVSOVD_s_StDynoMd = VMMP_VSOVD_c_StDynoMdAcv\n\rELSE:\n\rVSOVD_s_StDynoMd = VMMP_VSOVD_c_StDynoMdNotAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Status Handshake

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

For INT4.2:

AcvNotPsblInVMM = 0

DeacNotPsblInVMM = 0

ErrInVMMToDeacRollMd = 0

DeacCmpl = 1

{
  "ID": "16646549.0",
  "ASIL": "  ",
  "Text": "For INT4.2:\n\rAcvNotPsblInVMM = 0\n\rDeacNotPsblInVMM = 0\n\rErrInVMMToDeacRollMd = 0\n\rDeacCmpl = 1",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254606.0",
  "Description": "For INT4.2:\n\rAcvNotPsblInVMM = 0\n\rDeacNotPsblInVMM = 0\n\rErrInVMMToDeacRollMd = 0\n\rDeacCmpl = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

M1 

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

1) AcvNotPsblInVMM = 0

2) DeacCmpl = 1

3) ErrInVMMToDeacRollMd = 0

4) Diag_s_MdInfo_DynoMd = 0

THEN:

VSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac

ELSE:

VSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvNotPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdAcvNotPsbl 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac

{
  "ID": "16646550.0",
  "ASIL": "  QM",
  "Text": "M1 \n\rIF [OR(1, AND(2,3,4)]:\n\r1) AcvNotPsblInVMM = 0\n\r2) DeacCmpl = 1\n\r3) ErrInVMMToDeacRollMd = 0\n\r4) Diag_s_MdInfo_DynoMd = 0\n\rTHEN:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac\n\rELSE:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdAcvNotPsbl \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254608.0",
  "Description": "M1 \n\rIF [OR(1, AND(2,3,4)]:\n\r1) AcvNotPsblInVMM = 0\n\r2) DeacCmpl = 1\n\r3) ErrInVMMToDeacRollMd = 0\n\r4) Diag_s_MdInfo_DynoMd = 0\n\rTHEN:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac\n\rELSE:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdAcvNotPsbl \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

M2 

IF [AND(1,2)]:

1) M1 is false

2) Diag_s_MdInfo_DynoMd == 1

THEN:

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone

{
  "ID": "16646551.0",
  "ASIL": "  QM",
  "Text": "M2 \n\rIF [AND(1,2)]:\n\r1) M1 is false\n\r2) Diag_s_MdInfo_DynoMd == 1\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254619.0",
  "Description": "M2 \n\rIF [AND(1,2)]:\n\r1) M1 is false\n\r2) Diag_s_MdInfo_DynoMd == 1\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

M3 

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

1) M2 is true

2) Diag_s_MdInfo_DynoMd == 0

3) DeacNotPsblInVMM == 1

THEN:

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeacNotPsbl

{
  "ID": "16646552.0",
  "ASIL": "  QM",
  "Text": "M3 \n\rIF [AND(1,2,3)]:\n\r1) M2 is true\n\r2) Diag_s_MdInfo_DynoMd == 0\n\r3) DeacNotPsblInVMM == 1\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeacNotPsbl",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254621.0",
  "Description": "M3 \n\rIF [AND(1,2,3)]:\n\r1) M2 is true\n\r2) Diag_s_MdInfo_DynoMd == 0\n\r3) DeacNotPsblInVMM == 1\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeacNotPsbl",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF [AND(1,2)]:

1) M2 is true

2) ErrInVMMToDeacRollMd == 1

THEN: 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeac

{
  "ID": "16646553.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) M2 is true\n\r2) ErrInVMMToDeacRollMd == 1\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeac",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254626.0",
  "Description": "IF [AND(1,2)]:\n\r1) M2 is true\n\r2) ErrInVMMToDeacRollMd == 1\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeac",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF [AND(1,2)]:

1) M3 is true

2) DeacNotPsblInVMM == 0

THEN: 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone

{
  "ID": "16646554.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) M3 is true\n\r2) DeacNotPsblInVMM == 0\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254629.0",
  "Description": "IF [AND(1,2)]:\n\r1) M3 is true\n\r2) DeacNotPsblInVMM == 0\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

M4 

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

1) M1 is true

2) DIAG_s_MdInfo_DynoMd == 0

3) DeacNotPsblInVMM == 0

THEN: 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone

{
  "ID": "16646555.0",
  "ASIL": "  QM",
  "Text": "M4 \n\rIF [AND(1,2,3)]:\n\r1) M1 is true\n\r2) DIAG_s_MdInfo_DynoMd == 0\n\r3) DeacNotPsblInVMM == 0\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254633.0",
  "Description": "M4 \n\rIF [AND(1,2,3)]:\n\r1) M1 is true\n\r2) DIAG_s_MdInfo_DynoMd == 0\n\r3) DeacNotPsblInVMM == 0\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF [AND(1,2)]:

1) M4 is true

2) DeacNotPsblInVMM == 1

THEN: 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeacNotPsbl

{
  "ID": "16646556.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2)]:\n\r1) M4 is true\n\r2) DeacNotPsblInVMM == 1\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeacNotPsbl",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254637.0",
  "Description": "IF [AND(1,2)]:\n\r1) M4 is true\n\r2) DeacNotPsblInVMM == 1\n\rTHEN: \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdDeacNotPsbl",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Init values:

VSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac

IF [1]:

1) DIAG_s_MdInfo_DynoMd = 1

THEN:

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone

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

1) DIAG_s_MdInfo_DynoMd(k-1) = 1

2) DIAG_s_MdInfo_DynoMd(k) = 0

3) DeacNotPsblInVMM = 0

THEN:

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone

ELSEIF [AND(4,5)]:

4) :ErrInVMMToDeacRollMd = 0

5) DeacCmpl = 1

THEN:

VSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl 

VSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone 

VSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac

{
  "ID": "16646557.0",
  "ASIL": "  QM",
  "Text": "Init values:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac\n\rIF [1]:\n\r1) DIAG_s_MdInfo_DynoMd = 1\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone\n\rELSEIF [AND(1,2,3)]:\n\r1) DIAG_s_MdInfo_DynoMd(k-1) = 1\n\r2) DIAG_s_MdInfo_DynoMd(k) = 0\n\r3) DeacNotPsblInVMM = 0\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone\n\rELSEIF [AND(4,5)]:\n\r4) :ErrInVMMToDeacRollMd = 0\n\r5) DeacCmpl = 1\n\rTHEN:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1287285.0",
  "Description": "Init values:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac\n\rIF [1]:\n\r1) DIAG_s_MdInfo_DynoMd = 1\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacNotPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone\n\rELSEIF [AND(1,2,3)]:\n\r1) DIAG_s_MdInfo_DynoMd(k-1) = 1\n\r2) DIAG_s_MdInfo_DynoMd(k) = 0\n\r3) DeacNotPsblInVMM = 0\n\rTHEN:\n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeacStrt \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone\n\rELSEIF [AND(4,5)]:\n\r4) :ErrInVMMToDeacRollMd = 0\n\r5) DeacCmpl = 1\n\rTHEN:\n\rVSOVD_s_StDynoMdAcv = VMMP_VSOVD_c_StDynoMdAcvAcvPsbl \n\rVSOVD_s_StDiagDynoMd = VMMP_VSOVD_c_StDiagDynoMdNone \n\rVSOVD_s_StDynoMdDeac = VMMP_VSOVD_c_StDynoMdDeacDeac",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

High Availability Configuration

{
  "ID": "16646558.0",
  "ASIL": "  ",
  "Text": "High Availability Configuration",
  "Type": "Folder",
  "Status": "",
  "Summary": "High Availability Configuration",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1254530.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

For C05

VSOVD_s_HiAvl_StConf = 0

{
  "ID": "16646559.0",
  "ASIL": "  QM",
  "Text": "For C05\n\rVSOVD_s_HiAvl_StConf = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1254648.0",
  "Description": "For C05\n\rVSOVD_s_HiAvl_StConf = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Power Train Configuration Service

{
  "ID": "16646560.0",
  "ASIL": "  ",
  "Text": "Power Train Configuration Service",
  "Type": "Folder",
  "Status": "",
  "Summary": "Power Train Configuration Service",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1271537.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

TiVecPTCfg = (0, 0, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrInc, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrDec)

CiagEvePT1= DiagEveFct (PTCfgSrv_s_StPLSAConf, PTCfgSrv_sc_StPLSAConf, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMax, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMin, TiVecPTCfg , 0, 0, 1)

CiagEvePT2= DiagEveFct (PTCfgSrv_s_GrpPTConfAxpCEAcv , PTCfgSrv_sc_GrpPTConfAxpCEAcv , 1, 0, TiVecPTCfg , 0, 0, 1)

{
  "ID": "16646561.0",
  "ASIL": "  ASIL B",
  "Text": "TiVecPTCfg = (0, 0, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrInc, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrDec)\n\r \n\r \n\rCiagEvePT1= DiagEveFct (PTCfgSrv_s_StPLSAConf, PTCfgSrv_sc_StPLSAConf, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMax, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMin, TiVecPTCfg , 0, 0, 1)\n\r \n\rCiagEvePT2= DiagEveFct (PTCfgSrv_s_GrpPTConfAxpCEAcv , PTCfgSrv_sc_GrpPTConfAxpCEAcv , 1, 0, TiVecPTCfg , 0, 0, 1)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407231.0",
  "Description": "TiVecPTCfg = (0, 0, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrInc, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrDec)\n\r \n\r \n\rCiagEvePT1= DiagEveFct (PTCfgSrv_s_StPLSAConf, PTCfgSrv_sc_StPLSAConf, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMax, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMin, TiVecPTCfg , 0, 0, 1)\n\r \n\rCiagEvePT2= DiagEveFct (PTCfgSrv_s_GrpPTConfAxpCEAcv , PTCfgSrv_sc_GrpPTConfAxpCEAcv , 1, 0, TiVecPTCfg , 0, 0, 1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

TiVecPTCfg = (0, 0, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrInc, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrDec)

CiagEvePT1= DiagEveFct (PTCfgSrv_s_StPLSAConf, PTCfgSrv_sc_StPLSAConf, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMax, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMin, TiVecPTCfg , 0, 0, 1)

CiagEvePT2= DiagEveFct (PTCfgSrv_s_GrpPTConfAxpCEAcv , PTCfgSrv_sc_GrpPTConfAxpCEAcv , 1, 0, TiVecPTCfg , 0, 0, 1)

 CiagEvePT3= DiagEveFct (PTCfgSrv_s_ValConfPTTyp, PTCfgSrv_sc_ValConfPTTyp, VMMP_VSOVD_c_ValConfPTTypMax, VMMP_VSOVD_c_ValConfPTTypMin, TiVecPTCfg , 0, 0, 1)

{
  "ID": "44383194.0",
  "ASIL": "  ASIL B",
  "Text": "TiVecPTCfg = (0, 0, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrInc, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrDec)\n\r \n\r \n\rCiagEvePT1= DiagEveFct (PTCfgSrv_s_StPLSAConf, PTCfgSrv_sc_StPLSAConf, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMax, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMin, TiVecPTCfg , 0, 0, 1)\n\r \n\rCiagEvePT2= DiagEveFct (PTCfgSrv_s_GrpPTConfAxpCEAcv , PTCfgSrv_sc_GrpPTConfAxpCEAcv , 1, 0, TiVecPTCfg , 0, 0, 1)\n\r \n\r CiagEvePT3= DiagEveFct (PTCfgSrv_s_ValConfPTTyp, PTCfgSrv_sc_ValConfPTTyp, VMMP_VSOVD_c_ValConfPTTypMax, VMMP_VSOVD_c_ValConfPTTypMin, TiVecPTCfg , 0, 0, 1)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "TiVecPTCfg = (0, 0, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrInc, VMMP_VSOVD_p_DiagStPLSAConfErrCurCtrDec)\n\r \n\r \n\rCiagEvePT1= DiagEveFct (PTCfgSrv_s_StPLSAConf, PTCfgSrv_sc_StPLSAConf, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMax, VMMP_VSOVD_c_PTCfgSrvStPLSAConfMin, TiVecPTCfg , 0, 0, 1)\n\r \n\rCiagEvePT2= DiagEveFct (PTCfgSrv_s_GrpPTConfAxpCEAcv , PTCfgSrv_sc_GrpPTConfAxpCEAcv , 1, 0, TiVecPTCfg , 0, 0, 1)\n\r \n\r CiagEvePT3= DiagEveFct (PTCfgSrv_s_ValConfPTTyp, PTCfgSrv_sc_ValConfPTTyp, VMMP_VSOVD_c_ValConfPTTypMax, VMMP_VSOVD_c_ValConfPTTypMin, TiVecPTCfg , 0, 0, 1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_DiagPTCfgSrv_StEveReq = DiagEveAllFct (CiagEvePT1, CiagEvePT2)

{
  "ID": "16646562.0",
  "ASIL": "  ASIL B",
  "Text": "VSOVD_s_DiagPTCfgSrv_StEveReq = DiagEveAllFct (CiagEvePT1, CiagEvePT2)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1271540.0",
  "Description": "VSOVD_s_DiagPTCfgSrv_StEveReq = DiagEveAllFct (CiagEvePT1, CiagEvePT2)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_DiagPTCfgSrv_StEveReq = DiagEveAllFct (CiagEvePT1, CiagEvePT2, CiagEvePT3)

{
  "ID": "44383243.0",
  "ASIL": "  ASIL B",
  "Text": "VSOVD_s_DiagPTCfgSrv_StEveReq = DiagEveAllFct (CiagEvePT1, CiagEvePT2, CiagEvePT3)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "VSOVD_s_DiagPTCfgSrv_StEveReq = DiagEveAllFct (CiagEvePT1, CiagEvePT2, CiagEvePT3)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_StPLSAConf = StSigOutFct (PTCfgSrv_s_StPLSAConf, VSOVD_s_DiagPTCfgSrv_StEveReq, VMMP_VSOVD_c_StPLSAConfIni, VMMP_VSOVD_c_StPLSAConfFail)

{
  "ID": "16646563.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_StPLSAConf = StSigOutFct (PTCfgSrv_s_StPLSAConf, VSOVD_s_DiagPTCfgSrv_StEveReq, VMMP_VSOVD_c_StPLSAConfIni, VMMP_VSOVD_c_StPLSAConfFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1271549.0",
  "Description": "VSOVD_s_StPLSAConf = StSigOutFct (PTCfgSrv_s_StPLSAConf, VSOVD_s_DiagPTCfgSrv_StEveReq, VMMP_VSOVD_c_StPLSAConfIni, VMMP_VSOVD_c_StPLSAConfFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_GrpPTConfAxpCEAcv = PhySigOutFct (PTCfgSrv_s_GrpPTConfAxpCEAcv, VSOVD_s_DiagPTCfgSrv_StEveReq, 0)

{
  "ID": "16646564.0",
  "ASIL": "  ASIL B",
  "Text": "VSOVD_s_GrpPTConfAxpCEAcv = PhySigOutFct (PTCfgSrv_s_GrpPTConfAxpCEAcv, VSOVD_s_DiagPTCfgSrv_StEveReq, 0)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1343060.0",
  "Description": "VSOVD_s_GrpPTConfAxpCEAcv = PhySigOutFct (PTCfgSrv_s_GrpPTConfAxpCEAcv, VSOVD_s_DiagPTCfgSrv_StEveReq, 0)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_ValConfPTTyp= PhySigOutFct (PTCfgSrv_s_ValConfPTTyp, VSOVD_s_DiagPTCfgSrv_StEveReq, 0)

{
  "ID": "44383257.0",
  "ASIL": "  ASIL B",
  "Text": "VSOVD_s_ValConfPTTyp= PhySigOutFct (PTCfgSrv_s_ValConfPTTyp, VSOVD_s_DiagPTCfgSrv_StEveReq, 0)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "VSOVD_s_ValConfPTTyp= PhySigOutFct (PTCfgSrv_s_ValConfPTTyp, VSOVD_s_DiagPTCfgSrv_StEveReq, 0)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Cross Exchange Protection

{
  "ID": "16646565.0",
  "ASIL": "  ",
  "Text": "Cross Exchange Protection",
  "Type": "Folder",
  "Status": "",
  "Summary": "Cross Exchange Protection",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1271552.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_StCrExchProt should show the values of QTS_s_Sts

{
  "ID": "16646566.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_StCrExchProt should show the values of QTS_s_Sts",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1271554.0",
  "Description": "VSOVD_s_StCrExchProt should show the values of QTS_s_Sts",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Combined Local Time

{
  "ID": "16646567.0",
  "ASIL": "  ",
  "Text": "Combined Local Time",
  "Type": "Folder",
  "Status": "",
  "Summary": "Combined Local Time",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1288106.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_BasTi_NumCyc should show the values of CLT_s_NumCyc

{
  "ID": "16646568.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_BasTi_NumCyc should show the values of CLT_s_NumCyc",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1288108.0",
  "Description": "VSOVD_s_BasTi_NumCyc should show the values of CLT_s_NumCyc",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_BasTi_StCnfd should show the values of CLT_s_StConfd

{
  "ID": "16646569.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_BasTi_StCnfd should show the values of CLT_s_StConfd",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1288110.0",
  "Description": "VSOVD_s_BasTi_StCnfd should show the values of CLT_s_StConfd",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_BasTi_TiStampSc should show the values of CLT_s_TiStampSc

{
  "ID": "16646570.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_BasTi_TiStampSc should show the values of CLT_s_TiStampSc",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1288112.0",
  "Description": "VSOVD_s_BasTi_TiStampSc should show the values of CLT_s_TiStampSc",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_BasTi_TiStampScFrc should show the values of 0.1*CLT_s_TiStampScFrc

{
  "ID": "16646571.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_BasTi_TiStampScFrc should show the values of 0.1*CLT_s_TiStampScFrc",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1288114.0",
  "Description": "VSOVD_s_BasTi_TiStampScFrc should show the values of 0.1*CLT_s_TiStampScFrc",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_BasTi_NumClcCyc05 = random number, which must be formed in such a way that a sequence of 20 random values is only repeated with an average probability of less than 1E-7 [1 / h]

{
  "ID": "16646572.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_BasTi_NumClcCyc05 = random number, which must be formed in such a way that a sequence of 20 random values is only repeated with an average probability of less than 1E-7 [1 / h]",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1288116.0",
  "Description": "VSOVD_s_BasTi_NumClcCyc05 = random number, which must be formed in such a way that a sequence of 20 random values is only repeated with an average probability of less than 1E-7 [1 / h]",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_BasTi_NumClcCyc09 = random number, which must be formed in such a way that a sequence of 20 random values is only repeated with an average probability of less than 1E-7 [1 / h]

{
  "ID": "16646573.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_BasTi_NumClcCyc09 = random number, which must be formed in such a way that a sequence of 20 random values is only repeated with an average probability of less than 1E-7 [1 / h]",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1288118.0",
  "Description": "VSOVD_s_BasTi_NumClcCyc09 = random number, which must be formed in such a way that a sequence of 20 random values is only repeated with an average probability of less than 1E-7 [1 / h]",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Warn Lamp Master

{
  "ID": "16646574.0",
  "ASIL": "  ",
  "Text": "Warn Lamp Master",
  "Type": "Folder",
  "Status": "",
  "Summary": "Warn Lamp Master",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1346359.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

TiVecWLM = (0, 0, VMMP_VSOVD_p_WLMStChSysErrCurCtrInc, VMMP_VSOVD_p_WLMStChSysErrCurCtrDec)

VSOVD_s_DiagWLM_StEveReq = DiagEveFct (WLM_s_StChSys, WLM_sc_StChSys , VMMP_VSOVD_c_WLMStChSysMax, VMMP_VSOVD_c_WLMStChSysMin, TiVecWLM , 0, 0, 1)

{
  "ID": "16646575.0",
  "ASIL": "  QM",
  "Text": "TiVecWLM = (0, 0, VMMP_VSOVD_p_WLMStChSysErrCurCtrInc, VMMP_VSOVD_p_WLMStChSysErrCurCtrDec)\n\rVSOVD_s_DiagWLM_StEveReq = DiagEveFct (WLM_s_StChSys, WLM_sc_StChSys , VMMP_VSOVD_c_WLMStChSysMax, VMMP_VSOVD_c_WLMStChSysMin, TiVecWLM , 0, 0, 1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346361.0",
  "Description": "TiVecWLM = (0, 0, VMMP_VSOVD_p_WLMStChSysErrCurCtrInc, VMMP_VSOVD_p_WLMStChSysErrCurCtrDec)\n\rVSOVD_s_DiagWLM_StEveReq = DiagEveFct (WLM_s_StChSys, WLM_sc_StChSys , VMMP_VSOVD_c_WLMStChSysMax, VMMP_VSOVD_c_WLMStChSysMin, TiVecWLM , 0, 0, 1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VSOVD_s_WLMStChSys = StSigOutFct (WLM_s_StChSys, VSOVD_s_DiagWLM_StEveReq, VMMP_VSOVD_c_WLMStChSysIni, VMMP_VSOVD_c_WLMStChSysFail)

{
  "ID": "16646576.0",
  "ASIL": "  QM",
  "Text": "VSOVD_s_WLMStChSys = StSigOutFct (WLM_s_StChSys, VSOVD_s_DiagWLM_StEveReq, VMMP_VSOVD_c_WLMStChSysIni, VMMP_VSOVD_c_WLMStChSysFail)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1346363.0",
  "Description": "VSOVD_s_WLMStChSys = StSigOutFct (WLM_s_StChSys, VSOVD_s_DiagWLM_StEveReq, VMMP_VSOVD_c_WLMStChSysIni, VMMP_VSOVD_c_WLMStChSysFail)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Charisma Program - V Max (DrvPrgvMax)

{
  "ID": "21346630.0",
  "ASIL": "  ",
  "Text": "Charisma Program - V Max (DrvPrgvMax)",
  "Type": "Folder",
  "Status": "",
  "Summary": "Charisma Program - V Max (DrvPrgvMax)",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF [1]:

1) first bit (Bit0, "FlgSigNotConf") is set in at least one of the classifiers

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigDi

ELSE IF [1]:

1) within the time span starting at (err_qual_time + err_dequal_time) and ending at the current time step, conditions 2) AND 3) AND 4) are satisfied for a continuous duration of at least err_qual_time

2) at least one signal has NOT a valid value as given by valid_signal_values

3) 6th bit (Bit5, "FlgMonNotAcv") is NOT set in any of the classifiers

4) TDiagStart = 1

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld

ELSE IF [1]:

1) within the time span starting at (err_qual_time + err_dequal_time) and ending at the current time step, conditions 2) AND 3) AND 4) are satisfied for a continuous duration of at least err_qual_time

2) 8th bit (Bit7, "FlgErrCur") is set in at least one of the classifiers

3) 6th bit (Bit5, "FlgMonNotAcv") is NOT set in any of the classifiers

4) TDiagStart = 1

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld

ELSE IF [1]:

1) 3rd bit (Bit2, "FlgErrQlf") is set in at least one of the classifiers

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigFail

ELSE IF [1]

1) 4th bit (Bit3, "FlgIni") is set in at least one of the classifiers

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni

ELSE IF [1]

1) 6th bit (Bit5, "FlgMonNotAcv") is set in at least one of the classifiers

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni

ELSE IF [1]

1) at least one signal has NOT a valid value as given by valid_signal_values

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp

ELSE IF [1]

1) 8th bit (Bit7, "FlgErrCur") is set in at least one of the classifiers

THEN:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp

ELSE:

VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNone

with:

* classifiers:

** CHA_sc_ReqPrgDt

* valid_signal_values:

** CHA_s_ReqPrgDt: 0 (NoProgram), 1 (Program1), 2 (Program2), 3 (Program3), 4 (Program4), 5 (Program5), 6 (Program6), 7 (Program7), 8 (Program8), 9 (Program9), 10 (Program10), 11 (Program11), 12 (Program12), 13 (Program13), 14 (Program14), 15 (Program15)

* err_qual_time: 500 ms (with parameter VMMP_VSOVD_p_DiagChaReqPrgDtErrCurInc = 200)

* err_dequal_time: 1000 ms (with parameter VMMP_VSOVD_p_DiagChaReqPrgDtErrCurDec = -100)

{
  "ID": "21346660.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) first bit (Bit0, \"FlgSigNotConf\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigDi\n\r \n\rELSE IF [1]:\n\r1) within the time span starting at (err_qual_time + err_dequal_time) and ending at the current time step, conditions 2) AND 3) AND 4) are satisfied for a continuous duration of at least err_qual_time\n\r2) at least one signal has NOT a valid value as given by valid_signal_values\n\r3) 6th bit (Bit5, \"FlgMonNotAcv\") is NOT set in any of the classifiers\n\r4) TDiagStart = 1\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld\n\r \n\rELSE IF [1]:\n\r1) within the time span starting at (err_qual_time + err_dequal_time) and ending at the current time step, conditions 2) AND 3) AND 4) are satisfied for a continuous duration of at least err_qual_time\n\r2) 8th bit (Bit7, \"FlgErrCur\") is set in at least one of the classifiers\n\r3) 6th bit (Bit5, \"FlgMonNotAcv\") is NOT set in any of the classifiers\n\r4) TDiagStart = 1\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld\n\r \n\rELSE IF [1]:\n\r1) 3rd bit (Bit2, \"FlgErrQlf\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigFail\n\r \n\rELSE IF [1]\n\r1) 4th bit (Bit3, \"FlgIni\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni\n\r \n\rELSE IF [1]\n\r1) 6th bit (Bit5, \"FlgMonNotAcv\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni\n\r \n\rELSE IF [1]\n\r1) at least one signal has NOT a valid value as given by valid_signal_values\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp\n\r \n\rELSE IF [1]\n\r1) 8th bit (Bit7, \"FlgErrCur\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp\n\r \n\rELSE:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNone\n\r \n\rwith:\n\r* classifiers:\n\r** CHA_sc_ReqPrgDt\n\r* valid_signal_values:\n\r** CHA_s_ReqPrgDt: 0 (NoProgram), 1 (Program1), 2 (Program2), 3 (Program3), 4 (Program4), 5 (Program5), 6 (Program6), 7 (Program7), 8 (Program8), 9 (Program9), 10 (Program10), 11 (Program11), 12 (Program12), 13 (Program13), 14 (Program14), 15 (Program15)\n\r* err_qual_time: 500 ms (with parameter VMMP_VSOVD_p_DiagChaReqPrgDtErrCurInc = 200)\n\r* err_dequal_time: 1000 ms (with parameter VMMP_VSOVD_p_DiagChaReqPrgDtErrCurDec = -100)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Diag Event Calculation",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [1]:\n\r1) first bit (Bit0, \"FlgSigNotConf\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigDi\n\r \n\rELSE IF [1]:\n\r1) within the time span starting at (err_qual_time + err_dequal_time) and ending at the current time step, conditions 2) AND 3) AND 4) are satisfied for a continuous duration of at least err_qual_time\n\r2) at least one signal has NOT a valid value as given by valid_signal_values\n\r3) 6th bit (Bit5, \"FlgMonNotAcv\") is NOT set in any of the classifiers\n\r4) TDiagStart = 1\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld\n\r \n\rELSE IF [1]:\n\r1) within the time span starting at (err_qual_time + err_dequal_time) and ending at the current time step, conditions 2) AND 3) AND 4) are satisfied for a continuous duration of at least err_qual_time\n\r2) 8th bit (Bit7, \"FlgErrCur\") is set in at least one of the classifiers\n\r3) 6th bit (Bit5, \"FlgMonNotAcv\") is NOT set in any of the classifiers\n\r4) TDiagStart = 1\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld\n\r \n\rELSE IF [1]:\n\r1) 3rd bit (Bit2, \"FlgErrQlf\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigFail\n\r \n\rELSE IF [1]\n\r1) 4th bit (Bit3, \"FlgIni\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni\n\r \n\rELSE IF [1]\n\r1) 6th bit (Bit5, \"FlgMonNotAcv\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni\n\r \n\rELSE IF [1]\n\r1) at least one signal has NOT a valid value as given by valid_signal_values\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp\n\r \n\rELSE IF [1]\n\r1) 8th bit (Bit7, \"FlgErrCur\") is set in at least one of the classifiers\n\rTHEN:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp\n\r \n\rELSE:\n\rVSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNone\n\r \n\rwith:\n\r* classifiers:\n\r** CHA_sc_ReqPrgDt\n\r* valid_signal_values:\n\r** CHA_s_ReqPrgDt: 0 (NoProgram), 1 (Program1), 2 (Program2), 3 (Program3), 4 (Program4), 5 (Program5), 6 (Program6), 7 (Program7), 8 (Program8), 9 (Program9), 10 (Program10), 11 (Program11), 12 (Program12), 13 (Program13), 14 (Program14), 15 (Program15)\n\r* err_qual_time: 500 ms (with parameter VMMP_VSOVD_p_DiagChaReqPrgDtErrCurInc = 200)\n\r* err_dequal_time: 1000 ms (with parameter VMMP_VSOVD_p_DiagChaReqPrgDtErrCurDec = -100)",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigFail

2) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld

3) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigDi

4) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni

THEN:

VSOVD_s_StCHAReqPrgDt = 0

{
  "ID": "21347816.0",
  "ASIL": "  QM",
  "Text": "IF [OR(1,2,3,4)]:\n\r1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigFail\n\r2) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld\n\r3) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigDi\n\r4) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni\n\rTHEN:\n\rVSOVD_s_StCHAReqPrgDt = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Fail and Init Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [OR(1,2,3,4)]:\n\r1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigFail\n\r2) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNotVld\n\r3) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigDi\n\r4) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigIni\n\rTHEN:\n\rVSOVD_s_StCHAReqPrgDt = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF[(1)]:

1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp

THEN:

VSOVD_s_StCHAReqPrgDt shall be equal to the value of previous computation cycle (Hold Last Value)

{
  "ID": "21347847.0",
  "ASIL": "  QM",
  "Text": "IF[(1)]:\n\r1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp\n\rTHEN:\n\rVSOVD_s_StCHAReqPrgDt shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Suspicious Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[(1)]:\n\r1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigSusp\n\rTHEN:\n\rVSOVD_s_StCHAReqPrgDt shall be equal to the value of previous computation cycle (Hold Last Value)",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF [(1)]:

1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNone

THEN:

VSOVD_s_StCHAReqPrgDt = CHA_s_ReqPrgDt

{
  "ID": "21347836.0",
  "ASIL": "  QM",
  "Text": "IF [(1)]:\n\r1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNone\n\rTHEN:\n\rVSOVD_s_StCHAReqPrgDt = CHA_s_ReqPrgDt",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Valid Case",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [(1)]:\n\r1) VSOVD_s_DiagChaReqPrgDt_StEveReq = VMMP_c_DiagEveSigNone\n\rTHEN:\n\rVSOVD_s_StCHAReqPrgDt = CHA_s_ReqPrgDt",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}