Source files

IF: AND[1,2,3]

1.) arbitrated function is PB in the last calculation cycle 

2.) CFBPA_s_PB_IdxReqIdCur is not VMMP_c_IdxReqIdIPA_PB 

3.) Condition FlgPrkPosnAly is false

THEN:

a Trigger reason occurs

Raw

{
  "ID": "22084612.0",
  "ASIL": "  ASIL B",
  "Text": "IF: AND[1,2,3]\n\r1.) arbitrated function is PB in the last calculation cycle \n\r2.) CFBPA_s_PB_IdxReqIdCur is not VMMP_c_IdxReqIdIPA_PB \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Trigger due to omitted PB arbitration",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1279783.0",
  "Description": "IF: AND[1,2,3]\n\r1.) arbitrated function is PB in the last calculation cycle \n\r2.) CFBPA_s_PB_IdxReqIdCur is not VMMP_c_IdxReqIdIPA_PB \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) arbitrated function is PH in the last calculation cycle

2.) CFBPA_s_PH_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdRemote_Startup OR VMMP_c_IdxReqIdIPA_PH OR VMMP_c_IdxReqIdRPA_GP OR VMMP_c_IdxReqIdTPA OR VMMP_c_IdxReqIdTPA_Remote OR VMMP_c_IdxReqIdRA)

THEN:

a Trigger reason occurs

Raw

{
  "ID": "16663199.0",
  "ASIL": "  ASIL B",
  "Text": "IF [AND(1,2)]\n\r1.) arbitrated function is PH in the last calculation cycle\n\r2.) CFBPA_s_PH_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdRemote_Startup OR VMMP_c_IdxReqIdIPA_PH OR VMMP_c_IdxReqIdRPA_GP OR VMMP_c_IdxReqIdTPA OR VMMP_c_IdxReqIdTPA_Remote OR VMMP_c_IdxReqIdRA)\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1431066.0",
  "Description": "IF [AND(1,2)]\n\r1.) arbitrated function is PH in the last calculation cycle\n\r2.) CFBPA_s_PH_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdRemote_Startup OR VMMP_c_IdxReqIdIPA_PH OR VMMP_c_IdxReqIdRPA_GP OR VMMP_c_IdxReqIdTPA OR VMMP_c_IdxReqIdTPA_Remote OR VMMP_c_IdxReqIdRA)\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF: AND[1,2,3]

1.) arbitrated function is PH in the last calculation cycle 

2.) CFBPA_s_PH_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdRemote_Startup OR VMMP_c_IdxReqIdIPA_PH OR VMMP_c_IdxReqIdRPA_GP OR VMMP_c_IdxReqIdTPA OR VMMP_c_IdxReqIdTPA_Remote OR VMMP_c_IdxReqIdRA) 

3.) Condition FlgPrkPosnAly is false

THEN:

a Trigger reason occurs

Raw

{
  "ID": "22084619.0",
  "ASIL": "  ASIL B",
  "Text": "IF: AND[1,2,3]\n\r1.) arbitrated function is PH in the last calculation cycle \n\r2.) CFBPA_s_PH_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdRemote_Startup OR VMMP_c_IdxReqIdIPA_PH OR VMMP_c_IdxReqIdRPA_GP OR VMMP_c_IdxReqIdTPA OR VMMP_c_IdxReqIdTPA_Remote OR VMMP_c_IdxReqIdRA) \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Trigger due to omitted PH arbitration",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1431066.0",
  "Description": "IF: AND[1,2,3]\n\r1.) arbitrated function is PH in the last calculation cycle \n\r2.) CFBPA_s_PH_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdRemote_Startup OR VMMP_c_IdxReqIdIPA_PH OR VMMP_c_IdxReqIdRPA_GP OR VMMP_c_IdxReqIdTPA OR VMMP_c_IdxReqIdTPA_Remote OR VMMP_c_IdxReqIdRA) \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) arbitrated function is CAA in the last calculation cycle

2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon)

THEN:

a Trigger reason occurs

Raw

{
  "ID": "16663200.0",
  "ASIL": "  ASIL B",
  "Text": "IF [AND(1,2)]\n\r1.) arbitrated function is CAA in the last calculation cycle\n\r2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon)\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1431068.0",
  "Description": "IF [AND(1,2)]\n\r1.) arbitrated function is CAA in the last calculation cycle\n\r2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon)\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2)]

1.) arbitrated function is CAA in the last calculation cycle

2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon OR VMMP_c_IdxReqIdCAPARA)

THEN:

a Trigger reason occurs

Raw

{
  "ID": "16663201.0",
  "ASIL": "  ASIL B",
  "Text": "IF [AND(1,2)]\n\r1.) arbitrated function is CAA in the last calculation cycle\n\r2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon OR VMMP_c_IdxReqIdCAPARA)\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1510541.0",
  "Description": "IF [AND(1,2)]\n\r1.) arbitrated function is CAA in the last calculation cycle\n\r2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon OR VMMP_c_IdxReqIdCAPARA)\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF: AND[1,2,3]

1.) arbitrated function is CAA in the last calculation cycle 

2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon OR VMMP_c_IdxReqIdCAPARA) 

3.) Condition FlgPrkPosnAly is false

THEN:

a Trigger reason occurs

Raw

{
  "ID": "22084867.0",
  "ASIL": "  ASIL B",
  "Text": "IF: AND[1,2,3]\n\r1.) arbitrated function is CAA in the last calculation cycle \n\r2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon OR VMMP_c_IdxReqIdCAPARA) \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Trigger due to omitted CAA arbitration",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1510541.0",
  "Description": "IF: AND[1,2,3]\n\r1.) arbitrated function is CAA in the last calculation cycle \n\r2.) CFBCAA_s_CAA_IdxReqIdCur is not equal to one of the following values (VMMP_c_IdxReqIdCAPAPrk OR VMMP_c_IdxReqIdCAPARPA OR VMMP_c_IdxReqIdCAPASummon OR VMMP_c_IdxReqIdCAPARA) \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2)] 

1.) VSOEM_s_StSkidDet shows VMMP_VSOEM_c_StSkidDetSkid

2.) VMMP_FSS_p_SwtEnaSkidDet is true

THEN:

a Trigger reason occurs

Raw

{
  "ID": "16663202.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2)] \n\r1.) VSOEM_s_StSkidDet shows VMMP_VSOEM_c_StSkidDetSkid\n\r2.) VMMP_FSS_p_SwtEnaSkidDet is true\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1282144.0",
  "Description": "IF[AND(1,2)] \n\r1.) VSOEM_s_StSkidDet shows VMMP_VSOEM_c_StSkidDetSkid\n\r2.) VMMP_FSS_p_SwtEnaSkidDet is true\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF: AND[1,2,3] 

1.) VSOEM_s_StSkidDet shows VMMP_VSOEM_c_StSkidDetSkid 

2.) VMMP_FSS_p_SwtEnaSkidDet is true 

3.) Condition FlgPrkPosnAly is false

THEN:

a Trigger reason occurs

Raw

{
  "ID": "22084899.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3] \n\r1.) VSOEM_s_StSkidDet shows VMMP_VSOEM_c_StSkidDetSkid \n\r2.) VMMP_FSS_p_SwtEnaSkidDet is true \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Trigger due to skid detection",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1282144.0",
  "Description": "IF: AND[1,2,3] \n\r1.) VSOEM_s_StSkidDet shows VMMP_VSOEM_c_StSkidDetSkid \n\r2.) VMMP_FSS_p_SwtEnaSkidDet is true \n\r3.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]

1.) VSOVD_s_VehPwrLvl is false

THEN:

a Trigger reason occurs

Raw

{
  "ID": "16663203.0",
  "ASIL": "  ASIL B",
  "Text": "IF[1]\n\r1.) VSOVD_s_VehPwrLvl is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1307216.0",
  "Description": "IF[1]\n\r1.) VSOVD_s_VehPwrLvl is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF: AND[1,2]

1.) VSOVD_s_VehPwrLvl is false 

2.) Condition FlgPrkPosnAly is false

THEN:

a Trigger reason occurs

Raw

{
  "ID": "22084907.0",
  "ASIL": "  ASIL B",
  "Text": "IF: AND[1,2]\n\r1.) VSOVD_s_VehPwrLvl is false \n\r2.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Trigger due to vehicle power level",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1307216.0",
  "Description": "IF: AND[1,2]\n\r1.) VSOVD_s_VehPwrLvl is false \n\r2.) Condition FlgPrkPosnAly is false\n\rTHEN:\n\ra Trigger reason occurs",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

States

Raw

{
  "ID": "16663204.0",
  "ASIL": "  ",
  "Text": "States",
  "Type": "Folder",
  "Status": "",
  "Summary": "States",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1181304.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Each chapter, which describes a state e.g. state ready, describes the behavior of this particular state and its outputs. It always contains the sub chapters

- entry condition, which describes the condition to enter the particular state

- outputs, which describes the behavior of the outputs, if the state is beeing fulfilled

- exiting requirement, if necessary, which describes the behavior while exiting this state (they do not describe the exiting conditions for this state)

Once the condition of entry are fulfilled, the state becomes active and needs to stay active until the entry conditions of an other state are fulfilled, even, if the condition of the current state are not fulfilled anymore.

Raw

{
  "ID": "16663205.0",
  "ASIL": "  QM",
  "Text": "Each chapter, which describes a state e.g. state ready, describes the behavior of this particular state and its outputs. It always contains the sub chapters\n\r- entry condition, which describes the condition to enter the particular state\n\r- outputs, which describes the behavior of the outputs, if the state is beeing fulfilled\n\r- exiting requirement, if necessary, which describes the behavior while exiting this state (they do not describe the exiting conditions for this state)\n\rOnce the condition of entry are fulfilled, the state becomes active and needs to stay active until the entry conditions of an other state are fulfilled, even, if the condition of the current state are not fulfilled anymore.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1218078.0",
  "Description": "Each chapter, which describes a state e.g. state ready, describes the behavior of this particular state and its outputs. It always contains the sub chapters\n\r- entry condition, which describes the condition to enter the particular state\n\r- outputs, which describes the behavior of the outputs, if the state is beeing fulfilled\n\r- exiting requirement, if necessary, which describes the behavior while exiting this state (they do not describe the exiting conditions for this state)\n\rOnce the condition of entry are fulfilled, the state becomes active and needs to stay active until the entry conditions of an other state are fulfilled, even, if the condition of the current state are not fulfilled anymore.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

TiMaxDurAcvTot

IF [AND(1,2)]:

1.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl

2.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

THEN: 

*TiMaxDurAcvTot shall be equal to the sum of

VMMP_FSS_p_TiMaxDurPrkPosnAly, VMMP_FSS_p_TiDurStEnReqDis and VMMP_FSS_p_TiMaxDurAcv

ELSE: 

*TiMaxDurAcvTot shall be equal to VMMP_FSS_p_TiMaxDurAcv

Raw

{
  "ID": "16663206.0",
  "ASIL": "  QM",
  "Text": "TiMaxDurAcvTot\n\r \n\r\n\rIF [AND(1,2)]:\n\r1.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl\n\r2.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN: \n\r*TiMaxDurAcvTot shall be equal to the sum of\n\rVMMP_FSS_p_TiMaxDurPrkPosnAly, VMMP_FSS_p_TiDurStEnReqDis and VMMP_FSS_p_TiMaxDurAcv\n\rELSE: \n\r*TiMaxDurAcvTot shall be equal to VMMP_FSS_p_TiMaxDurAcv",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1378150.0",
  "Description": "TiMaxDurAcvTot\n\r \n\r\n\rIF [AND(1,2)]:\n\r1.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl\n\r2.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN: \n\r*TiMaxDurAcvTot shall be equal to the sum of\n\rVMMP_FSS_p_TiMaxDurPrkPosnAly, VMMP_FSS_p_TiDurStEnReqDis and VMMP_FSS_p_TiMaxDurAcv\n\rELSE: \n\r*TiMaxDurAcvTot shall be equal to VMMP_FSS_p_TiMaxDurAcv",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

For a better understanding a simple form of the state machine is here:

FSS_Statemachine.pptx

In order to test an explicit state it might be necessary to combine some states as a precondition first. E.g.: to get to state disable, the FSS needs to go through the following states:

state inital --> state OFF --> state Disable. These correlations can be seen in the sub-chapters entry condition.

Attention: Please be aware that the internal FSS states are sometimes different from the output states shown in FSS_s_StMon. 

E.g. at the FSS internal state "Pending" the output FSS_s_StMon shows Disabled(1) and at the FSS internal state "Ready" the output FSS_s_StMon might show Pending(2).

Raw

{
  "ID": "16663207.0",
  "ASIL": "  ",
  "Text": "For a better understanding a simple form of the state machine is here:\n\rFSS_Statemachine.pptx\n\rIn order to test an explicit state it might be necessary to combine some states as a precondition first. E.g.: to get to state disable, the FSS needs to go through the following states:\n\rstate inital --> state OFF --> state Disable. These correlations can be seen in the sub-chapters entry condition.\n\r \n\rAttention: Please be aware that the internal FSS states are sometimes different from the output states shown in FSS_s_StMon. \n\rE.g. at the FSS internal state \"Pending\" the output FSS_s_StMon shows Disabled(1) and at the FSS internal state \"Ready\" the output FSS_s_StMon might show Pending(2).",
  "Type": "Information",
  "Status": "",
  "Summary": "State machine",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1218080.0",
  "Description": "For a better understanding a simple form of the state machine is here:\n\rFSS_Statemachine.pptx\n\rIn order to test an explicit state it might be necessary to combine some states as a precondition first. E.g.: to get to state disable, the FSS needs to go through the following states:\n\rstate inital --> state OFF --> state Disable. These correlations can be seen in the sub-chapters entry condition.\n\r \n\rAttention: Please be aware that the internal FSS states are sometimes different from the output states shown in FSS_s_StMon. \n\rE.g. at the FSS internal state \"Pending\" the output FSS_s_StMon shows Disabled(1) and at the FSS internal state \"Ready\" the output FSS_s_StMon might show Pending(2).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State Initial

Raw

{
  "ID": "16663208.0",
  "ASIL": "  ",
  "Text": "State Initial",
  "Type": "Folder",
  "Status": "",
  "Summary": "State Initial",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215736.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Entry condition

Raw

{
  "ID": "16663209.0",
  "ASIL": "  ",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216696.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

the state Initial shall be fulfilled at the first cycle of simulation or when the processor starts up

Raw

{
  "ID": "16663210.0",
  "ASIL": "  QM",
  "Text": "the state Initial shall be fulfilled at the first cycle of simulation or when the processor starts up",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216705.0",
  "Description": "the state Initial shall be fulfilled at the first cycle of simulation or when the processor starts up",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "16663211.0",
  "ASIL": "  ",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216699.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF module FSS is in state initial the outputs shall behave as follows

FSS_s_StMon shall be VMMP_FSS_c_StMonIni 

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReqIni 

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqIni

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReqIni

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqIni 

FSS_s_FlgPrkPosnAlyReq shall be false 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "16663212.0",
  "ASIL": "  ASIL B",
  "Text": "IF module FSS is in state initial the outputs shall behave as follows\n\rFSS_s_StMon shall be VMMP_FSS_c_StMonIni \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReqIni \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqIni\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReqIni\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqIni \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216619.0",
  "Description": "IF module FSS is in state initial the outputs shall behave as follows\n\rFSS_s_StMon shall be VMMP_FSS_c_StMonIni \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReqIni \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqIni\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReqIni\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqIni \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF module FSS is in state initial the outputs shall behave as follows

FSS_s_StMon shall be VMMP_FSS_c_StMonIni 

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReqIni 

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqIni

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReqIni

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqIni 

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "22325097.0",
  "ASIL": "  ASIL B",
  "Text": "IF module FSS is in state initial the outputs shall behave as follows\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonIni \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReqIni \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqIni\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReqIni\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqIni \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF module FSS is in state initial the outputs shall behave as follows\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonIni \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReqIni \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqIni\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReqIni\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqIni \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State OFF

Raw

{
  "ID": "16663213.0",
  "ASIL": "  ",
  "Text": "State OFF",
  "Type": "Folder",
  "Status": "",
  "Summary": "State OFF",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215738.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Entry condition

Raw

{
  "ID": "16663214.0",
  "ASIL": "  ",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216631.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous cycle was state Initial

2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOff

3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOn

4.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail

THEN: 

the state shall switch to state OFF

Raw

{
  "ID": "16663215.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,OR(2,3,4))] \n\r1.) state in previous cycle was state Initial\n\r2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOff\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOn\n\r4.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216639.0",
  "Description": "IF[AND(1,OR(2,3,4))] \n\r1.) state in previous cycle was state Initial\n\r2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOff\n\r3.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOn\n\r4.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2)] 

1.) state in previous cycle was state Failure 

2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOff

THEN: 

the state shall switch to state OFF

Raw

{
  "ID": "16663216.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2)] \n\r1.) state in previous cycle was state Failure \n\r2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOff\n\rTHEN: \n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381172.0",
  "Description": "IF[AND(1,2)] \n\r1.) state in previous cycle was state Failure \n\r2.) CRMSA_s_FSS_StTar is equal to VMMP_CRMSA_c_FSSStTarOff\n\rTHEN: \n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) state in previous calculation cycle was state Disable

2.) functional availability is false

3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail

THEN:

the state shall switch to state OFF

Raw

{
  "ID": "16663217.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state Disable\n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Disable to OFF",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216642.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state Disable\n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state DeacFromActive

2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds

3.) functional availability is false

4.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail

THEN:

the state shall switch to state OFF

Raw

{
  "ID": "16663219.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3,4)]\n\r1.) state in previous calculation cycle was state DeacFromActive\n\r2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r3.) functional availability is false\n\r4.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition DeacFromActive to OFF",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381195.0",
  "Description": "IF[AND(1,2,3,4)]\n\r1.) state in previous calculation cycle was state DeacFromActive\n\r2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r3.) functional availability is false\n\r4.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [AND(1,2,3)]

1.) state in previous calculation cycle was state Pending

2.) functional availability is false

3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail 

THEN:

the state shall switch to state OFF

Raw

{
  "ID": "28482707.0",
  "ASIL": "  QM",
  "Text": "IF [AND(1,2,3)]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail \n\r \n\rTHEN:\n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Pending to OFF",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [AND(1,2,3)]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail \n\r \n\rTHEN:\n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state DeacFromReady

2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds 

3.) functional availability is false

4.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail

THEN:

the state shall switch to state OFF

Raw

{
  "ID": "16663218.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3,4)]\n\r1.) state in previous calculation cycle was state DeacFromReady\n\r2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) functional availability is false\n\r4.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition DeacFromReady to OFF",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381174.0",
  "Description": "IF[AND(1,2,3,4)]\n\r1.) state in previous calculation cycle was state DeacFromReady\n\r2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) functional availability is false\n\r4.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous cycle was state Active

2.) functional availability is false

3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail

4.) output FSS_s_StEnaReq was equal to VMMP_FSS_c_StEnaReqDeac for at least VMMP_FSS_p_TiDurStEnReqDis seconds

5.) FSS_Stopping successfull was true in the previous cycle

THEN:

the state shall switch to state OFF

Raw

{
  "ID": "16663220.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3,4,5)]\n\r1.) state in previous cycle was state Active\n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\r4.) output FSS_s_StEnaReq was equal to VMMP_FSS_c_StEnaReqDeac for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r5.) FSS_Stopping successfull was true in the previous cycle\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "Transition DeacFromActive to OFF",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381197.0",
  "Description": "IF[AND(1,2,3,4,5)]\n\r1.) state in previous cycle was state Active\n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\r4.) output FSS_s_StEnaReq was equal to VMMP_FSS_c_StEnaReqDeac for at least VMMP_FSS_p_TiDurStEnReqDis seconds\n\r5.) FSS_Stopping successfull was true in the previous cycle\n\rTHEN:\n\rthe state shall switch to state OFF",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) state in previous cycle was state Ready 

2.) functional availability is false

3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail

THEN: 

the state shall switch to state OFF within the time *TiMaxDurAcvTot

Raw

{
  "ID": "16663221.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) state in previous cycle was state Ready \n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state OFF within the time *TiMaxDurAcvTot",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216645.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) state in previous cycle was state Ready \n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state OFF within the time *TiMaxDurAcvTot",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF[AND(1,2,3)]

1.) state in previous cycle was state Active 

2.) functional availability is false

3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail

THEN: 

the state shall switch to state OFF within the time *TiMaxDurAcvTot

Raw

{
  "ID": "16663222.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) state in previous cycle was state Active \n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state OFF within the time *TiMaxDurAcvTot",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217759.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) state in previous cycle was state Active \n\r2.) functional availability is false\n\r3.) CRMSA_s_FSS_StTar is not equal to VMMP_CRMSA_c_FSSStTarFail\n\rTHEN: \n\rthe state shall switch to state OFF within the time *TiMaxDurAcvTot",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Outputs

Raw

{
  "ID": "16663223.0",
  "ASIL": "  ",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216633.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is state OFF, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonOff

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq 

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq 

FSS_s_FlgPrkPosnAlyReq shall be false 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Hint: When the state OFF is entered coming from the DeacFromActive state, the output FSS_s_StEnaBkpReq is set to 

VMMP_FSS_c_StEnaReqDeac in the first cycle and to

 VMMP_FSS_c_StEnaReqNoReq from the following cycle.

Raw

{
  "ID": "16663224.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is state OFF, the outputs shall behave as follows:\n\r \n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonOff\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq\n\r \n\rHint: When the state OFF is entered coming from the DeacFromActive state, the output FSS_s_StEnaBkpReq is set to \n\rVMMP_FSS_c_StEnaReqDeac in the first cycle and to\n\r VMMP_FSS_c_StEnaReqNoReq from the following cycle.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216691.0",
  "Description": "If the module FSS is state OFF, the outputs shall behave as follows:\n\r \n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonOff\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq\n\r \n\rHint: When the state OFF is entered coming from the DeacFromActive state, the output FSS_s_StEnaBkpReq is set to \n\rVMMP_FSS_c_StEnaReqDeac in the first cycle and to\n\r VMMP_FSS_c_StEnaReqNoReq from the following cycle.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is state OFF, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonOff

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq 

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq 

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "22325425.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is state OFF, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonOff\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is state OFF, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonOff\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State Disable

Raw

{
  "ID": "16663225.0",
  "ASIL": "  ",
  "Text": "State Disable",
  "Type": "Folder",
  "Status": "",
  "Summary": "State Disable",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215746.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Entry condition

Raw

{
  "ID": "16663226.0",
  "ASIL": "  ",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216718.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2)]

1.) state in previous calculation cycle was state OFF

2.) functional availability is true

THEN: 

the state shall switch to state Disable

Raw

{
  "ID": "16663227.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state OFF\n\r2.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217628.0",
  "Description": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state OFF\n\r2.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2)]

1.) state in previous calculation cycle was state Failure

2.) functional availability is true

THEN: 

the state shall switch to state Disable

Raw

{
  "ID": "16663228.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state Failure\n\r2.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217630.0",
  "Description": "IF[AND(1,2)]\n\r1.) state in previous calculation cycle was state Failure\n\r2.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) state in previous calculation cycle was state DeacFromActive

2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds 

3.) functional availability is true

THEN: 

the state shall switch to state Disable

Raw

{
  "ID": "16663230.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromActive\n\r2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition DeacFromActive to Disable",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217636.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromActive\n\r2.) state DeacFromActive was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) state in previous calculation cycle was state Pending

2.) state Pending was active for more than 3s

3.) functional availability is true

THEN: 

the state shall switch to state Disable

Raw

{
  "ID": "16663232.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) state Pending was active for more than 3s\n\r3.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Pending to Disable",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217884.0",
  "Description": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) state Pending was active for more than 3s\n\r3.) functional availability is true\n\rTHEN: \n\rthe state shall switch to state Disable",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2,3)]

1.) state in previous calculation cycle was state DeacFromReady

2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds 

3.) functional availability is true

THEN:

the state shall switch to state Disable

Raw

{
  "ID": "28548502.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromReady\n\r2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) functional availability is true\n\rTHEN:\n\rthe state shall switch to state Disable",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition DeacFromReady to Disable",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[AND(1,2,3)]\n\r1.) state in previous calculation cycle was state DeacFromReady\n\r2.) state DeacFromReady was active for at least VMMP_FSS_p_TiDurStEnReqDis seconds \n\r\n\r3.) functional availability is true\n\rTHEN:\n\rthe state shall switch to state Disable",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) 

state in previous cycle wa

s state Ready

2.) *StEnReq is VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis

3.) *StEnReq is VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis

4.) no Trigger reason occurs

THEN 

the state shall switch to state Disable

Raw

{
  "ID": "23192080.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,OR(2,3),4 )]\n\r1.) \n\rstate in previous cycle wa\n\rs state Ready\n\r2.) *StEnReq is VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis\n\r3.) *StEnReq is VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis\n\r4.) no Trigger reason occurs\n\rTHEN \n\rthe state shall switch to state Disable",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF[AND(1,OR(2,3),4 )]\n\r1.) \n\rstate in previous cycle wa\n\rs state Ready\n\r2.) *StEnReq is VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis\n\r3.) *StEnReq is VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis\n\r4.) no Trigger reason occurs\n\rTHEN \n\rthe state shall switch to state Disable",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "16663233.0",
  "ASIL": "  ",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216720.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Disable, the outputs shall behave as follows:

Raw

{
  "ID": "16663234.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state Disable, the outputs shall behave as follows:",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1322579.0",
  "Description": "If the module FSS is in state Disable, the outputs shall behave as follows:",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF not differently described in this chapter the outputs shall be equal to their default values for state Disable as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonDi 

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq 

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq 

FSS_s_FlgPrkPosnAlyReq shall be false 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Hint: When the state Disable is entered coming from the DeacFromActive state, the output FSS_s_StEnaBkpReq is set to 

VMMP_FSS_c_StEnaReqDeac in the first cycle and to

 VMMP_FSS_c_StEnaReqNoReq from the following cycle.

Raw

{
  "ID": "16663235.0",
  "ASIL": "  ASIL B",
  "Text": "IF not differently described in this chapter the outputs shall be equal to their default values for state Disable as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq\n\r \n\rHint: When the state Disable is entered coming from the DeacFromActive state, the output FSS_s_StEnaBkpReq is set to \n\rVMMP_FSS_c_StEnaReqDeac in the first cycle and to\n\r VMMP_FSS_c_StEnaReqNoReq from the following cycle.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216750.0",
  "Description": "IF not differently described in this chapter the outputs shall be equal to their default values for state Disable as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq\n\r \n\rHint: When the state Disable is entered coming from the DeacFromActive state, the output FSS_s_StEnaBkpReq is set to \n\rVMMP_FSS_c_StEnaReqDeac in the first cycle and to\n\r VMMP_FSS_c_StEnaReqNoReq from the following cycle.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF not differently described in this chapter the outputs shall be equal to their default values for state Disable as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonDi 

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq 

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq 

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "22326966.0",
  "ASIL": "  ASIL B",
  "Text": "IF not differently described in this chapter the outputs shall be equal to their default values for state Disable as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF not differently described in this chapter the outputs shall be equal to their default values for state Disable as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqNoReq \n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) no Trigger reason occurs

2.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn

3.) *StEnReq si equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn

4.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn or VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn for less than 3s

5.) state was not equal to state Ready for the last VMMP_FSS_p_TiDurStEnReqDis seconds

THEN: 

FSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqReq

This requirement is dominant to requirement above 16663235

 concerning FSS_s_StEnaReq

Raw

{
  "ID": "16663236.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,OR(2,3),4,5)]\n\r1.) no Trigger reason occurs\n\r2.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r3.) *StEnReq si equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\r4.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn or VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn for less than 3s\n\r5.) state was not equal to state Ready for the last VMMP_FSS_p_TiDurStEnReqDis seconds\n\rTHEN: \n\rFSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqReq\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaReq",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217644.0",
  "Description": "IF[AND(1,OR(2,3),4,5)]\n\r1.) no Trigger reason occurs\n\r2.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r3.) *StEnReq si equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\r4.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn or VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn for less than 3s\n\r5.) state was not equal to state Ready for the last VMMP_FSS_p_TiDurStEnReqDis seconds\n\rTHEN: \n\rFSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqReq\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State Pending

Raw

{
  "ID": "28073999.0",
  "ASIL": "  n/a",
  "Text": "State Pending",
  "Type": "Folder",
  "Status": "",
  "Summary": "State Pending",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Entry condition

Raw

{
  "ID": "28075260.0",
  "ASIL": "  n/a",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

1.) state in previous calculation cycle was state Disable

2.) functional availability is true

3.) no Trigger reason occurs

4.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn

5.) *StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn

THEN:

the state shall switch to state Pending

Raw

{
  "ID": "28103041.0",
  "ASIL": "  ASIL B",
  "Text": "IF AND(1,2,3,OR[4,5])\n\r1.) state in previous calculation cycle was state Disable\n\r2.) functional availability is true\n\r3.) no Trigger reason occurs\n\r4.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r5.) *StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\rTHEN:\n\rthe state shall switch to state Pending",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Disable to Pending",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF AND(1,2,3,OR[4,5])\n\r1.) state in previous calculation cycle was state Disable\n\r2.) functional availability is true\n\r3.) no Trigger reason occurs\n\r4.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r5.) *StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\rTHEN:\n\rthe state shall switch to state Pending",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "28075271.0",
  "ASIL": "  n/a",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

If the module FSS is in state Pending, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonDi

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq

FSS_s_FlgPrkPosnAlyReq shall be false

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "28106670.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Pending, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs state Pending Cl1-3",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state Pending, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Pending, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonDi

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "28106672.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Pending, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs state Pending",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state Pending, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Pending, the output FSS_s_StEnaBkpReq shall behave as follows:

IF [1]

1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

THEN:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq

ELSE:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqReq

Raw

{
  "ID": "16663237.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Pending, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\rIF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_StEnaBkpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1286977.0",
  "Description": "If the module FSS is in state Pending, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\rIF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State Ready

Raw

{
  "ID": "16663242.0",
  "ASIL": "  ",
  "Text": "State Ready",
  "Type": "Folder",
  "Status": "",
  "Summary": "State Ready",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215740.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Entry condition

Raw

{
  "ID": "16663243.0",
  "ASIL": "  ",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216726.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state Pending

2.) no Trigger reason occurs

3.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn

4.) *StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn

5.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonRdy

6.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd

7.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

8.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpRdy

9.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpPnd

THEN: 

the state shall switch to state Ready

Raw

{
  "ID": "16663244.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,2,OR(3,4),OR(5,6),OR (7,8,9))]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) no Trigger reason occurs\n\r3.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r4.) *StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\r5.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonRdy\n\r6.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r7.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r8.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpRdy\n\r9.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\rTHEN: \n\rthe state shall switch to state Ready",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Pending to Ready",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217642.0",
  "Description": "IF[AND(1,2,OR(3,4),OR(5,6),OR (7,8,9))]\n\r1.) state in previous calculation cycle was state Pending\n\r2.) no Trigger reason occurs\n\r3.) *StEnReq is equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r4.) *StEnReq is equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\r5.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonRdy\n\r6.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r7.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r8.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpRdy\n\r9.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\rTHEN: \n\rthe state shall switch to state Ready",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "16663245.0",
  "ASIL": "  ",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216728.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Ready, the outputs shall behave as follows:

Raw

{
  "ID": "16663246.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state Ready, the outputs shall behave as follows:",
  "Type": "Pre Condition",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1322581.0",
  "Description": "If the module FSS is in state Ready, the outputs shall behave as follows:",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

IF not differently described in this chapter the outputs shall be equal to their default values for state Ready as follows:

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq 

FSS_s_FlgPrkPosnAlyReq shall be false 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "16663247.0",
  "ASIL": "  ASIL B",
  "Text": "IF not differently described in this chapter the outputs shall be equal to their default values for state Ready as follows:\n\r \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216755.0",
  "Description": "IF not differently described in this chapter the outputs shall be equal to their default values for state Ready as follows:\n\r \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF not differently described in this chapter the outputs shall be equal to their default values for state Ready as follows:

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq 

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) 

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "22335159.0",
  "ASIL": "  ASIL B",
  "Text": "IF not differently described in this chapter the outputs shall be equal to their default values for state Ready as follows:\n\r \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF not differently described in this chapter the outputs shall be equal to their default values for state Ready as follows:\n\r \n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqReq\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false) \n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd

2.) ASOAF_s_FailSafeStop_StMonBkp is equal VMMP_ASOAF_c_FailSafeStopStMonBkpPnd

3.) arbitrated function is PB

4.) *VMaxLimArbPB is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd

5.) arbitrated function is PH

6.) *VMaxLimArbPH is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd

7.) arbitrated function is CAA

8.) *VMaxLimArbCAA is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd

THEN:

FSS_s_StMon is equal to VMMP_FSS_c_StMonPnd

ELSE: 

FSS_s_StMon is equal to VMMP_FSS_c_StMonRdy

Raw

{
  "ID": "16663248.0",
  "ASIL": "  ASIL B",
  "Text": "IF OR[1,AND(2,OR(AND(3,4),AND(5,6),AND(7,8)))]\n\r1.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r2.) ASOAF_s_FailSafeStop_StMonBkp is equal VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\r3.) arbitrated function is PB\n\r4.) *VMaxLimArbPB is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd\n\r5.) arbitrated function is PH\n\r6.) *VMaxLimArbPH is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd\n\r7.) arbitrated function is CAA\n\r8.) *VMaxLimArbCAA is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd\n\rTHEN:\n\rFSS_s_StMon is equal to VMMP_FSS_c_StMonPnd\n\rELSE: \n\rFSS_s_StMon is equal to VMMP_FSS_c_StMonRdy",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1274490.0",
  "Description": "IF OR[1,AND(2,OR(AND(3,4),AND(5,6),AND(7,8)))]\n\r1.) ASOAF_s_FailSafeStop_StMon is equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r2.) ASOAF_s_FailSafeStop_StMonBkp is equal VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\r3.) arbitrated function is PB\n\r4.) *VMaxLimArbPB is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd\n\r5.) arbitrated function is PH\n\r6.) *VMaxLimArbPH is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd\n\r7.) arbitrated function is CAA\n\r8.) *VMaxLimArbCAA is even or lower than VMMP_FSS_p_VMaxLimStMonBkpPnd\n\rTHEN:\n\rFSS_s_StMon is equal to VMMP_FSS_c_StMonPnd\n\rELSE: \n\rFSS_s_StMon is equal to VMMP_FSS_c_StMonRdy",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]

1.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

THEN: 

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq

ELSE:

FSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReq

Raw

{
  "ID": "16663249.0",
  "ASIL": "  QM",
  "Text": "IF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN: \n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1274486.0",
  "Description": "IF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN: \n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall show VMMP_FSS_c_StEnaReqReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State DeacFromReady

Raw

{
  "ID": "28076126.0",
  "ASIL": "  n/a",
  "Text": "State DeacFromReady",
  "Type": "Folder",
  "Status": "",
  "Summary": "State DeacFromReady",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Entry condition

Raw

{
  "ID": "28076127.0",
  "ASIL": "  n/a",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

1.) state in previous calculation cycle was state Ready

2.) *StEnReq is VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis

3.) *StEnReq is VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis

4.) no Trigger reason occurs

THEN 

the state shall switch to state DeacFromReady

Raw

{
  "ID": "16663229.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,OR[2,3],4)]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) *StEnReq is VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis\n\r3.) *StEnReq is VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis\n\r4.) no Trigger reason occurs\n\rTHEN \n\rthe state shall switch to state DeacFromReady",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Ready to DeacFromReady",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217632.0",
  "Description": "IF[AND(1,OR[2,3],4)]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) *StEnReq is VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis\n\r3.) *StEnReq is VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis\n\r4.) no Trigger reason occurs\n\rTHEN \n\rthe state shall switch to state DeacFromReady",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state Ready

2.) *StEnReq is not equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn

3.) *StEnReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn

4.) Condition FlgPrkPosnAly is true

THEN: 

the state shall switch to state DeacFromReady

Raw

{
  "ID": "22107790.0",
  "ASIL": "  ASIL B",
  "Text": "IF: AND[1,2,3,4]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) *StEnReq is not equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r3.) *StEnReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\r4.) Condition FlgPrkPosnAly is true\n\rTHEN: \n\rthe state shall switch to state DeacFromReady",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Ready to DeacFromReady due to applied PrkPosn",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF: AND[1,2,3,4]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) *StEnReq is not equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r3.) *StEnReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\r4.) Condition FlgPrkPosnAly is true\n\rTHEN: \n\rthe state shall switch to state DeacFromReady",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state Pending

2.) state Pending was active for less than 3 seconds

3.) functional availability is true

4.) *StEnReq is not equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn

5.) *StEnReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn

THEN:

The state shall switch to state DeacFromReady

Raw

{
  "ID": "28105999.0",
  "ASIL": "  ASIL A",
  "Text": "IF AND(1,2,3,4,5)\n\r1.) state in previous calculation cycle was state Pending\n\r2.) state Pending was active for less than 3 seconds\n\r3.) functional availability is true\n\r4.) *StEnReq is not equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r5.) *StEnReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\rTHEN:\n\rThe state shall switch to state DeacFromReady",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Pending to DeacFromReady",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF AND(1,2,3,4,5)\n\r1.) state in previous calculation cycle was state Pending\n\r2.) state Pending was active for less than 3 seconds\n\r3.) functional availability is true\n\r4.) *StEnReq is not equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn\n\r5.) *StEnReq is not equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn\n\rTHEN:\n\rThe state shall switch to state DeacFromReady",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "28076128.0",
  "ASIL": "  n/a",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

If the module FSS is in state DeacFromReady, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonDi

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq

FSS_s_FlgPrkPosnAlyReq shall be false

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "28628459.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state DeacFromReady, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs state DeacFromReady Cl1-3",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state DeacFromReady, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state DeacFromReady, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonDi

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "28628637.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state DeacFromReady, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs state DeacFromReady",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state DeacFromReady, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonDi\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft\n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state DeacFromReady, the output FSS_s_StEnaBkpReq shall behave as follows:

 IF [1]

1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

THEN:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq

ELSE:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac

Raw

{
  "ID": "16663239.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state DeacFromReady, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\r IF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_StEnaBkpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1381229.0",
  "Description": "If the module FSS is in state DeacFromReady, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\r IF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) *StEnReq changed from VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn to other value

2.) *StEnReq changed from VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn to other value

3.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since condition 1.) or condition 2.) became valid

THEN: 

FSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqDeac

This requirement is dominant to requirement above 16663235

 concerning FSS_s_StEnaReq

Raw

{
  "ID": "16663241.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(OR(1,2),3)]\n\r1.) *StEnReq changed from VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn to other value\n\r2.) *StEnReq changed from VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn to other value\n\r3.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since condition 1.) or condition 2.) became valid\n\rTHEN: \n\rFSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaReq",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381232.0",
  "Description": "IF[AND(OR(1,2),3)]\n\r1.) *StEnReq changed from VMMP_CFBPA_c_PHFailSafeStop_StEnReqEn to other value\n\r2.) *StEnReq changed from VMMP_CFBPA_c_PBFailSafeStop_StEnReqEn to other value\n\r3.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since condition 1.) or condition 2.) became valid\n\rTHEN: \n\rFSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state Ready

2.) *StEnReq was equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis when state Disable was entered this time

3.) *StEnReq was equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis when state Disable was entered this time

4.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since state Disable was entered this time

THEN: 

FSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqDeac

This requirement is dominant to requirement above 16663235

 concerning FSS_s_StEnaReq

Raw

{
  "ID": "16663240.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,OR(2,3),4)]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) *StEnReq was equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis when state Disable was entered this time\n\r3.) *StEnReq was equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis when state Disable was entered this time\n\r4.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since state Disable was entered this time\n\rTHEN: \n\rFSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaReq",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381225.0",
  "Description": "IF[AND(1,OR(2,3),4)]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) *StEnReq was equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis when state Disable was entered this time\n\r3.) *StEnReq was equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis when state Disable was entered this time\n\r4.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since state Disable was entered this time\n\rTHEN: \n\rFSS_s_StEnaReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state Ready

2.) ASOAF_s_FailSafeStop_StMon does not show VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

3.) *StEnReq was equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis when state Disable was entered this time

4.) *StEnReq was equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis when state Disable was entered this time

5.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since state Disable was entered this time

THEN: 

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac

This requirement is dominant to requirement above 16663235

 concerning FSS_s_StEnaBkpReq

Raw

{
  "ID": "16663238.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,2,OR(3,4),5)]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) ASOAF_s_FailSafeStop_StMon does not show VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r3.) *StEnReq was equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis when state Disable was entered this time\n\r4.) *StEnReq was equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis when state Disable was entered this time\n\r5.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since state Disable was entered this time\n\rTHEN: \n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaBkpReq",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381209.0",
  "Description": "IF[AND(1,2,OR(3,4),5)]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) ASOAF_s_FailSafeStop_StMon does not show VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r3.) *StEnReq was equal to VMMP_CFBPA_c_PHFailSafeStop_StEnReqDis when state Disable was entered this time\n\r4.) *StEnReq was equal to VMMP_CFBPA_c_PBFailSafeStop_StEnReqDis when state Disable was entered this time\n\r5.) the time VMMP_FSS_p_TiDurStEnReqDis has not passed since state Disable was entered this time\n\rTHEN: \n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\r\n\rThis requirement is dominant to requirement above 16663235\n\r concerning FSS_s_StEnaBkpReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State Active

Raw

{
  "ID": "16663250.0",
  "ASIL": "  ",
  "Text": "State Active",
  "Type": "Folder",
  "Status": "",
  "Summary": "State Active",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1215742.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Entry condition

Raw

{
  "ID": "16663251.0",
  "ASIL": "  ",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216734.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1.) state in previous calculation cycle was state Ready

2.) a Trigger reason occurs

3.) ASOAF_s_FailSafeStop_StMon is not equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd

4.) ASOAF_s_FailSafeStop_StMonBkp is not equal VMMP_ASOAF_c_FailSafeStopStMonBkpPnd

THEN: 

the state shall switch to state Active

Raw

{
  "ID": "16663252.0",
  "ASIL": "  ASIL B",
  "Text": "IF[AND(1,2,OR(3,4))]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) a Trigger reason occurs\n\r3.) ASOAF_s_FailSafeStop_StMon is not equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r4.) ASOAF_s_FailSafeStop_StMonBkp is not equal VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\rTHEN: \n\rthe state shall switch to state Active",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217737.0",
  "Description": "IF[AND(1,2,OR(3,4))]\n\r1.) state in previous calculation cycle was state Ready\n\r2.) a Trigger reason occurs\n\r3.) ASOAF_s_FailSafeStop_StMon is not equal to VMMP_ASOAF_c_FailSafeStop_StMonPnd\n\r4.) ASOAF_s_FailSafeStop_StMonBkp is not equal VMMP_ASOAF_c_FailSafeStopStMonBkpPnd\n\rTHEN: \n\rthe state shall switch to state Active",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "16663253.0",
  "ASIL": "  ",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216736.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the outputs shall behave as follows:

Raw

{
  "ID": "16663254.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state Active, the outputs shall behave as follows:",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1216761.0",
  "Description": "If the module FSS is in state Active, the outputs shall behave as follows:",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) VSOVD_s_GrpPTConfAxpCEAcv is false

THEN: 

FSS_s_SpdWhlLim_FlgAcv shall be true

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_FSS_p_SpdWhlLim_TqWhlMin

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_FSS_p_SpdWhlLim_TqWhlMax

ELSE:

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

Raw

{
  "ID": "16663256.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN: \n\rFSS_s_SpdWhlLim_FlgAcv shall be true\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_FSS_p_SpdWhlLim_TqWhlMin\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_FSS_p_SpdWhlLim_TqWhlMax\n\rELSE:\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349711.0",
  "Description": "IF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN: \n\rFSS_s_SpdWhlLim_FlgAcv shall be true\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_FSS_p_SpdWhlLim_TqWhlMin\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_FSS_p_SpdWhlLim_TqWhlMax\n\rELSE:\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:

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

1.) VSOVD_s_GrpPTConfAxpCEAcv is true

2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq

3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvl0

4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:

Item 16663183 (VMaxLim PB exceeded)

Item 16663184 (VMaxLim PH exceeded)

Item 16663185 (VMaxLim CAA exceeded)

THEN: 

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT

ELSE: 

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "16663257.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:\n\r \n\rIF [AND(1,OR(2,AND(3,4)))]\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is true\n\r2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq\n\r3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvl0\n\r4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:\n\rItem 16663183 (VMaxLim PB exceeded)\n\rItem 16663184 (VMaxLim PH exceeded)\n\rItem 16663185 (VMaxLim CAA exceeded)\n\rTHEN: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT\n\rELSE: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_LgtStgy_StDiPrpReq Cl1-3",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1274488.0",
  "Description": "If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:\n\r \n\rIF [AND(1,OR(2,AND(3,4)))]\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is true\n\r2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq\n\r3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvl0\n\r4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:\n\rItem 16663183 (VMaxLim PB exceeded)\n\rItem 16663184 (VMaxLim PH exceeded)\n\rItem 16663185 (VMaxLim CAA exceeded)\n\rTHEN: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT\n\rELSE: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:

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

1.) VSOVD_s_GrpPTConfAxpCEAcv is true

2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq

3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvlVld

4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:

Item 22083891 (VMaxLim PB exceeded)

Item 22083905 (VMaxLim PH exceeded)

Item 22083912 (VMaxLim CAA exceeded)

THEN: 

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT

ELSE: 

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "16663258.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:\n\r \n\rIF [AND(1,OR(2,AND(3,4)))]\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is true\n\r2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq\n\r3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvlVld\n\r4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:\n\rItem 22083891 (VMaxLim PB exceeded)\n\rItem 22083905 (VMaxLim PH exceeded)\n\rItem 22083912 (VMaxLim CAA exceeded)\n\rTHEN: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT\n\rELSE: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_LgtStgy_StDiPrpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1510543.0",
  "Description": "If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:\n\r \n\rIF [AND(1,OR(2,AND(3,4)))]\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is true\n\r2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq\n\r3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvlVld\n\r4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:\n\rItem 22083891 (VMaxLim PB exceeded)\n\rItem 22083905 (VMaxLim PH exceeded)\n\rItem 22083912 (VMaxLim CAA exceeded)\n\rTHEN: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT\n\rELSE: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:

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

1.) VSOVD_s_GrpPTConfAxpCEAcv is true

2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq

3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvlVld

4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:

Item 22083891 (VMaxLim PB exceeded)

Item 22083905 (VMaxLim PH exceeded)

Item 22083912 (VMaxLim CAA exceeded)

5.) VMMP_FSS_p_SwtEnaDiPrpReqVMaxExc is true

THEN: 

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT

ELSE: 

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "58938123.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:\n\r \n\rIF [AND(1,OR(2,AND(3,4,5)))]\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is true\n\r2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq\n\r3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvlVld\n\r4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:\n\rItem 22083891 (VMaxLim PB exceeded)\n\rItem 22083905 (VMaxLim PH exceeded)\n\rItem 22083912 (VMaxLim CAA exceeded)\n\r5.) VMMP_FSS_p_SwtEnaDiPrpReqVMaxExc is true\n\rTHEN: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT\n\rELSE: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_LgtStgy_StDiPrpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1510543.0",
  "Description": "If the module FSS is in state Active, the output FSS_s_LgtStgy_StDiPrpReq shall behave as follows:\n\r \n\rIF [AND(1,OR(2,AND(3,4,5)))]\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is true\n\r2.) FSS_s_StStopBkpReq is equal VMMP_FSS_c_StStopReqReq\n\r3.) ASOAF_s_EgyPrfLvl is equal to VMMP_ASOAF_c_NVEMEgyPrfLvlVld\n\r4.) The Trigger reason for the entry condition in this current state Active was one of the following ones:\n\rItem 22083891 (VMaxLim PB exceeded)\n\rItem 22083905 (VMaxLim PH exceeded)\n\rItem 22083912 (VMaxLim CAA exceeded)\n\r5.) VMMP_FSS_p_SwtEnaDiPrpReqVMaxExc is true\n\rTHEN: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqDisPT\n\rELSE: \n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_StEnaBkpReq shall behave as follows:

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

1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time

3.) FSS_FlgEndToPosnAlyReq is true

THEN:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqReq

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

4.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

5.) VMMP_FSS_p_TiMaxDurAcv seconds have passed since state Active was entered this time

6.) (VMMP_FSS_p_TiMaxDurAcv + VMMP_FSS_p_TiDurStEnReqDis) seconds have not passed since state Active was entered this time

7.) FSS_FlgEndToPosnAlyReq is false

THEN:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac

ELSE:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq

Hint: The expression "since state Active was entered this time" means, that the timer ist started, when entering the state Active and is running as long as the statemachine is in state Active.

Raw

{
  "ID": "16663259.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state Active, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\rIF [AND(1,OR[2,3])]:\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time\n\r3.) FSS_FlgEndToPosnAlyReq is true\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqReq\n\r \n\rELSEIF [AND(4,5,6,7)]:\n\r4.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r5.) VMMP_FSS_p_TiMaxDurAcv seconds have passed since state Active was entered this time\n\r6.) (VMMP_FSS_p_TiMaxDurAcv + VMMP_FSS_p_TiDurStEnReqDis) seconds have not passed since state Active was entered this time\n\r7.) FSS_FlgEndToPosnAlyReq is false\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\r \n\rHint: The expression \"since state Active was entered this time\" means, that the timer ist started, when entering the state Active and is running as long as the statemachine is in state Active.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_StEnaBkpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349715.0",
  "Description": "If the module FSS is in state Active, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\rIF [AND(1,OR[2,3])]:\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time\n\r3.) FSS_FlgEndToPosnAlyReq is true\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqReq\n\r \n\rELSEIF [AND(4,5,6,7)]:\n\r4.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r5.) VMMP_FSS_p_TiMaxDurAcv seconds have passed since state Active was entered this time\n\r6.) (VMMP_FSS_p_TiMaxDurAcv + VMMP_FSS_p_TiDurStEnReqDis) seconds have not passed since state Active was entered this time\n\r7.) FSS_FlgEndToPosnAlyReq is false\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac\n\r \n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\r \n\rHint: The expression \"since state Active was entered this time\" means, that the timer ist started, when entering the state Active and is running as long as the statemachine is in state Active.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Raw

{
  "ID": "30060113.0",
  "ASIL": "  QM",
  "Text": "",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_StStopBkpReq shall behave as follows:

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

1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time

3.) FSS_FlgEndToPosnAlyReq is true

4.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl

THEN: 

FSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqReq

ELSE:

FSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqNoReq

Raw

{
  "ID": "16663260.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state Active, the output FSS_s_StStopBkpReq shall behave as follows:\n\r \n\rIF [AND(1,OR[2,3],4)]:\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time\n\r3.) FSS_FlgEndToPosnAlyReq is true\n\r4.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl\n\rTHEN: \n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqReq\n\rELSE:\n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_StStopBkpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1349713.0",
  "Description": "If the module FSS is in state Active, the output FSS_s_StStopBkpReq shall behave as follows:\n\r \n\rIF [AND(1,OR[2,3],4)]:\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time\n\r3.) FSS_FlgEndToPosnAlyReq is true\n\r4.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl\n\rTHEN: \n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqReq\n\rELSE:\n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_StStopBkpReq shall behave as follows:

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

1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time

3.) FSS_FlgEndToPosnAlyReq is true

4.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl

5.) HMSOP_s_StPrkPosnAcv is not equal to VMMP_HMS_c_StPrkPosnAcvAlyReq

6.) HMSOP_s_StPrkPosnAcv is not equal to VMMP_HMS_c_StPrkPosnAcvAly

THEN: 

FSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqReq

ELSE:

FSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqNoReq

Raw

{
  "ID": "22335739.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state Active, the output FSS_s_StStopBkpReq shall behave as follows:\n\r \n\rIF [AND(1,OR[2,3],4,5,6)]:\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time\n\r3.) FSS_FlgEndToPosnAlyReq is true\n\r4.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl\n\r5.) HMSOP_s_StPrkPosnAcv is not equal to VMMP_HMS_c_StPrkPosnAcvAlyReq\n\r6.) HMSOP_s_StPrkPosnAcv is not equal to VMMP_HMS_c_StPrkPosnAcvAly\n\rTHEN: \n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqReq\n\rELSE:\n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_StStopBkpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state Active, the output FSS_s_StStopBkpReq shall behave as follows:\n\r \n\rIF [AND(1,OR[2,3],4,5,6)]:\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is not equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\r2.) VMMP_FSS_p_TiMaxDurAcv seconds have not passed since state Active was entered this time\n\r3.) FSS_FlgEndToPosnAlyReq is true\n\r4.) ASOAF_s_TqWhlBrk_StAvl is not equal to VMMP_ASOAF_c_TqWhlBrk_StAvlAvl\n\r5.) HMSOP_s_StPrkPosnAcv is not equal to VMMP_HMS_c_StPrkPosnAcvAlyReq\n\r6.) HMSOP_s_StPrkPosnAcv is not equal to VMMP_HMS_c_StPrkPosnAcvAly\n\rTHEN: \n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqReq\n\rELSE:\n\rFSS_s_StStopBkpReq shall be equal to VMMP_FSS_c_StStopReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) VSOVD_s_GrpPTConfAxpCEAcv is false

THEN:

FSS_s_SpdWhlLim_SpdWhlMin shall ramp with a gradient of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct + VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be greater then 0 (zero).

ELSE 

FSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft

Raw

{
  "ID": "16663261.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMin shall ramp with a gradient of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct + VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be greater then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216769.0",
  "Description": "IF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMin shall ramp with a gradient of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct + VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be greater then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMin shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMinDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1] 

1.) VSOVD_s_GrpPTConfAxpCEAcv is false

THEN:

FSS_s_SpdWhlLim_SpdWhlMax shall ramp with a gradient of the negative value of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct - VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be smaller then 0 (zero).

ELSE 

FSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft

Raw

{
  "ID": "16663262.0",
  "ASIL": "  QM",
  "Text": "IF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMax shall ramp with a gradient of the negative value of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct - VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be smaller then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216772.0",
  "Description": "IF[1] \n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN:\n\rFSS_s_SpdWhlLim_SpdWhlMax shall ramp with a gradient of the negative value of VMMP_FSS_p_SpdWhlRampGrd from (ASOAF_s_SpdWhlLim_SpdWhlAct - VMMP_FSS_p_SpdWhlRampGrd * VMMP_c_TiSmpl) to 0 (zero), but shall never be smaller then 0 (zero).\n\rELSE \n\rFSS_s_SpdWhlLim_SpdWhlMax shall be VMMP_LOCC_c_SpdWhlLim_SpdWhlMaxDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_FlgPrkPosnAlyReq shall behave as follows:

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

1.) VSOEM_s_VLgtVehCor_FlgVld is true

2.) VSOEM_s_VLgtVehCor is greater than or equal to VMMP_FSS_p_VEmgcyPrkAly

3.) output FSS_s_StStopBkpReq is equal to VMMP_FSS_c_StStopReqReq

THEN: 

FSS_s_FlgPrkPosnAlyReq shall be false

ELSE: 

FSS_s_FlgPrkPosnAlyReq shall be true

Raw

{
  "ID": "16663263.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Active, the output FSS_s_FlgPrkPosnAlyReq shall behave as follows:\n\r \n\rIF [OR(AND[1,2],3]\n\r1.) VSOEM_s_VLgtVehCor_FlgVld is true\n\r2.) VSOEM_s_VLgtVehCor is greater than or equal to VMMP_FSS_p_VEmgcyPrkAly\n\r3.) output FSS_s_StStopBkpReq is equal to VMMP_FSS_c_StStopReqReq\n\rTHEN: \n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rELSE: \n\rFSS_s_FlgPrkPosnAlyReq shall be true",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_FlgPrkPosnAlyReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216783.0",
  "Description": "If the module FSS is in state Active, the output FSS_s_FlgPrkPosnAlyReq shall behave as follows:\n\r \n\rIF [OR(AND[1,2],3]\n\r1.) VSOEM_s_VLgtVehCor_FlgVld is true\n\r2.) VSOEM_s_VLgtVehCor is greater than or equal to VMMP_FSS_p_VEmgcyPrkAly\n\r3.) output FSS_s_StStopBkpReq is equal to VMMP_FSS_c_StStopReqReq\n\rTHEN: \n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rELSE: \n\rFSS_s_FlgPrkPosnAlyReq shall be true",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state Active, the output FSS_s_FlgPrkPosnAlyReq shall behave as follows:

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

1.) VSOEM_s_VLgtVehCor_FlgVld is true

2.) VSOEM_s_VLgtVehCor is greater than or equal to VMMP_FSS_p_VEmgcyPrkAly

3.) output FSS_s_StStopBkpReq is equal to VMMP_FSS_c_StStopReqReq

THEN: 

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)

ELSE: 

FSS_s_FlgPrkPosnAlyReq shall be true delayed by one software cycle (Information: initial value of unit delay is false)

Raw

{
  "ID": "22335586.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state Active, the output FSS_s_FlgPrkPosnAlyReq shall behave as follows:\n\r \n\rIF [OR(AND[1,2],3)]\n\r1.) VSOEM_s_VLgtVehCor_FlgVld is true\n\r2.) VSOEM_s_VLgtVehCor is greater than or equal to VMMP_FSS_p_VEmgcyPrkAly\n\r3.) output FSS_s_StStopBkpReq is equal to VMMP_FSS_c_StStopReqReq\n\rTHEN: \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rELSE: \n\rFSS_s_FlgPrkPosnAlyReq shall be true delayed by one software cycle (Information: initial value of unit delay is false)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_FlgPrkPosnAlyReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state Active, the output FSS_s_FlgPrkPosnAlyReq shall behave as follows:\n\r \n\rIF [OR(AND[1,2],3)]\n\r1.) VSOEM_s_VLgtVehCor_FlgVld is true\n\r2.) VSOEM_s_VLgtVehCor is greater than or equal to VMMP_FSS_p_VEmgcyPrkAly\n\r3.) output FSS_s_StStopBkpReq is equal to VMMP_FSS_c_StStopReqReq\n\rTHEN: \n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rELSE: \n\rFSS_s_FlgPrkPosnAlyReq shall be true delayed by one software cycle (Information: initial value of unit delay is false)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

State DeacFromActive

Raw

{
  "ID": "28076518.0",
  "ASIL": "  n/a",
  "Text": "State DeacFromActive",
  "Type": "Folder",
  "Status": "",
  "Summary": "State DeacFromActive",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Entry condition

Raw

{
  "ID": "28076519.0",
  "ASIL": "  n/a",
  "Text": "Entry condition",
  "Type": "Folder",
  "Status": "",
  "Summary": "Entry condition",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

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

1.) state in previous calculation cycle was state Active

2.) FSS_Stopping successfull is true

3.) *TiMaxDurAcvTot seconds have passed since state Active was entered this time

THEN: 

the state shall switch to state DeacFromActive

Raw

{
  "ID": "16663231.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,OR[2,3])]\n\r1.) state in previous calculation cycle was state Active\n\r2.) FSS_Stopping successfull is true\n\r3.) *TiMaxDurAcvTot seconds have passed since state Active was entered this time\n\rTHEN: \n\rthe state shall switch to state DeacFromActive",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "Transition Active to DeacFromActive",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1217751.0",
  "Description": "IF[AND(1,OR[2,3])]\n\r1.) state in previous calculation cycle was state Active\n\r2.) FSS_Stopping successfull is true\n\r3.) *TiMaxDurAcvTot seconds have passed since state Active was entered this time\n\rTHEN: \n\rthe state shall switch to state DeacFromActive",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Outputs

Raw

{
  "ID": "28076521.0",
  "ASIL": "  n/a",
  "Text": "Outputs",
  "Type": "Folder",
  "Status": "",
  "Summary": "Outputs",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

If the module FSS is in state DeacFromActive, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonAcv

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq

FSS_s_FlgPrkPosnAlyReq shall be false

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "16663255.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state DeacFromActive, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonAcv\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs state DeacFromActive Cl1-3",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1216766.0",
  "Description": "If the module FSS is in state DeacFromActive, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonAcv\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state DeacFromActive, the outputs shall behave as follows:

FSS_s_StMon shall be VMMP_FSS_c_StMonAcv

FSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac

FSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq

FSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq

FSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)

FSS_s_FlgPrkBrkAlyReq shall be false

FSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq

Raw

{
  "ID": "28662042.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state DeacFromActive, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonAcv\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs state DeacFromActive",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state DeacFromActive, the outputs shall behave as follows:\n\r \n\rFSS_s_StMon shall be VMMP_FSS_c_StMonAcv\n\rFSS_s_StEnaReq shall be VMMP_FSS_c_StEnaReqDeac\n\rFSS_s_StStopReq shall be VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_StStopBkpReq shall show VMMP_FSS_c_StStopReqNoReq\n\rFSS_s_FlgPrkPosnAlyReq shall be false delayed by one software cycle (Information: initial value of unit delay is false)\n\rFSS_s_FlgPrkBrkAlyReq shall be false\n\rFSS_s_LgtStgy_StDiPrpReq shall be VMMP_FSS_c_LgtStgy_StDiPrpReqNoReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state DeacFromActive, the output FSS_s_StEnaBkpReq shall behave as follows:

 IF [1]

1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg

THEN:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq

ELSE:

FSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac

Raw

{
  "ID": "28662209.0",
  "ASIL": "  ASIL B",
  "Text": "If the module FSS is in state DeacFromActive, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\r IF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Output FSS_s_StEnaBkpReq",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state DeacFromActive, the output FSS_s_StEnaBkpReq shall behave as follows:\n\r \n\r IF [1]\n\r1.) ASOAF_s_FailSafeStop_StMonBkp is equal to VMMP_ASOAF_c_FailSafeStopStMonBkpNotItg\n\rTHEN:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqNoReq\n\rELSE:\n\rFSS_s_StEnaBkpReq shall be equal to VMMP_FSS_c_StEnaReqDeac",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the module FSS is in state DeacFromActive

, the outputs 

FSS_s_SpdWhlLim_FlgAcv, FSS_s_SpdWhlLim_TqWhlMin and FSS_s_SpdWhlLim_TqWhlMax 

shall behave as follows:

IF [1]:

1.) VSOVD_s_GrpPTConfAxpCEAcv is false

THEN: 

FSS_s_SpdWhlLim_FlgAcv shall be true

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_FSS_p_SpdWhlLim_TqWhlMin

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_FSS_p_SpdWhlLim_TqWhlMax

ELSE:

FSS_s_SpdWhlLim_FlgAcv shall be false

FSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft

FSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft

Raw

{
  "ID": "29555041.0",
  "ASIL": "  QM",
  "Text": "If the module FSS is in state DeacFromActive\n\r, the outputs \n\rFSS_s_SpdWhlLim_FlgAcv, FSS_s_SpdWhlLim_TqWhlMin and FSS_s_SpdWhlLim_TqWhlMax \n\rshall behave as follows:\n\r \n\rIF [1]:\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN: \n\rFSS_s_SpdWhlLim_FlgAcv shall be true\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_FSS_p_SpdWhlLim_TqWhlMin\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_FSS_p_SpdWhlLim_TqWhlMax\n\rELSE:\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Outputs FSS_s_SpdWhlLim_FlgAcv, _TqWhlMin/Max",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the module FSS is in state DeacFromActive\n\r, the outputs \n\rFSS_s_SpdWhlLim_FlgAcv, FSS_s_SpdWhlLim_TqWhlMin and FSS_s_SpdWhlLim_TqWhlMax \n\rshall behave as follows:\n\r \n\rIF [1]:\n\r1.) VSOVD_s_GrpPTConfAxpCEAcv is false\n\rTHEN: \n\rFSS_s_SpdWhlLim_FlgAcv shall be true\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_FSS_p_SpdWhlLim_TqWhlMin\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_FSS_p_SpdWhlLim_TqWhlMax\n\rELSE:\n\rFSS_s_SpdWhlLim_FlgAcv shall be false\n\rFSS_s_SpdWhlLim_TqWhlMin shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMinDft\n\rFSS_s_SpdWhlLim_TqWhlMax shall be VMMP_LOCC_c_SpdWhlLim_TqWhlMaxDft",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}