Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

VNSM Control Requests

{
  "ID": "16647235.0",
  "ASIL": "  ",
  "Text": "VNSM Control Requests",
  "Type": "Folder",
  "Status": "",
  "Summary": "VNSM Control Requests",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1339230.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]: 

1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlA

OR is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV

OR is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl

THEN: 

depending on the the parameters:

VMMP_SSHPOST_p_flgARBLgtSwtOnUsrId*

the outputs

VMM_s_FlgVNSMUsrId* should be set (1)

{
  "ID": "16647236.0",
  "ASIL": "  QM",
  "Text": "IF[1]: \n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlA\n\rOR is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV\n\rOR is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgARBLgtSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314060.0",
  "Description": "IF[1]: \n\r1) ARBLLCSC_s_LgtCtl_StAcv is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlA\n\rOR is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvLgtCtlV\n\rOR is equal to VMMP_ARBLLCSC_c_LgtCtl_StAcvTrjCtl\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgARBLgtSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]: 

1) ARBLLCSC_s_LatCtl_StAcv is equal to VMMP_ARBLLCSC_c_LatCtl_StAcvCrvtCtl

OR is equal to VMMP_ARBLLCSC_c_LatCtl_StAcvTrjCtl

THEN: 

depending on the the parameters:

VMMP_SSHPOST_p_flgARBLatSwtOnUsrId*

the outputs

VMM_s_FlgVNSMUsrId* should be set (1)

{
  "ID": "16647237.0",
  "ASIL": "  QM",
  "Text": "IF[1]: \n\r1) ARBLLCSC_s_LatCtl_StAcv is equal to VMMP_ARBLLCSC_c_LatCtl_StAcvCrvtCtl\n\rOR is equal to VMMP_ARBLLCSC_c_LatCtl_StAcvTrjCtl\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgARBLatSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314062.0",
  "Description": "IF[1]: \n\r1) ARBLLCSC_s_LatCtl_StAcv is equal to VMMP_ARBLLCSC_c_LatCtl_StAcvCrvtCtl\n\rOR is equal to VMMP_ARBLLCSC_c_LatCtl_StAcvTrjCtl\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgARBLatSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]: 

1) ARBLGLSCA_s_LgtLimA_FlgAcv is unequal to zero

THEN: 

depending on the the parameters:

VMMP_SSHPOST_p_flgARBLgtLimASwtOnUsrId*

the outputs

VMM_s_FlgVNSMUsrId* should be set (1)

{
  "ID": "16647238.0",
  "ASIL": "  QM",
  "Text": "IF[1]: \n\r1) ARBLGLSCA_s_LgtLimA_FlgAcv is unequal to zero\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgARBLgtLimASwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314066.0",
  "Description": "IF[1]: \n\r1) ARBLGLSCA_s_LgtLimA_FlgAcv is unequal to zero\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgARBLgtLimASwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

VNSM Hold Management Requests

{
  "ID": "16647239.0",
  "ASIL": "  ",
  "Text": "VNSM Hold Management Requests",
  "Type": "Folder",
  "Status": "",
  "Summary": "VNSM Hold Management Requests",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1339232.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]: 

1) HMSOP_s_StPrkBrkAcv is equal to VMMP_HMS_c_StPrkBrkAcvAlyReq

OR HMSOP_s_StPrkPosnAcv is equal to VMMP_HMS_c_StPrkPosnAcvAlyReq

THEN: 

depending on the the parameters:

VMMP_SSHPOST_p_flgHMSSwtOnUsrId*

the outputs

VMM_s_FlgVNSMUsrId* should be set (1)

{
  "ID": "16647240.0",
  "ASIL": "  QM",
  "Text": "IF[1]: \n\r1) HMSOP_s_StPrkBrkAcv is equal to VMMP_HMS_c_StPrkBrkAcvAlyReq\n\rOR HMSOP_s_StPrkPosnAcv is equal to VMMP_HMS_c_StPrkPosnAcvAlyReq\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgHMSSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314068.0",
  "Description": "IF[1]: \n\r1) HMSOP_s_StPrkBrkAcv is equal to VMMP_HMS_c_StPrkBrkAcvAlyReq\n\rOR HMSOP_s_StPrkPosnAcv is equal to VMMP_HMS_c_StPrkPosnAcvAlyReq\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgHMSSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]: 

1) HMSOP_s_StExtDispTrigEPB is equal to one (Indicator request)

THEN: 

depending on the the parameters:

VMMP_SSHPOST_p_flgExtDispSwtOnUsrId*

the outputs

VMM_s_FlgVNSMUsrId* should be set (1)

{
  "ID": "16647241.0",
  "ASIL": "  QM",
  "Text": "IF[1]: \n\r1) HMSOP_s_StExtDispTrigEPB is equal to one (Indicator request)\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgExtDispSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314072.0",
  "Description": "IF[1]: \n\r1) HMSOP_s_StExtDispTrigEPB is equal to one (Indicator request)\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgExtDispSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]: 

1) FSS_s_StEnaReq is equal to VMMP_FSS_c_StEnaReqReq

OR is equal to VMMP_FSS_c_StEnaReqDeac

THEN: 

depending on the the parameters:

VMMP_SSHPOST_p_flgFSSSwtOnUsrId*

the outputs

VMM_s_FlgVNSMUsrId* should be set (1)

{
  "ID": "16647242.0",
  "ASIL": "  QM",
  "Text": "IF[1]: \n\r1) FSS_s_StEnaReq is equal to VMMP_FSS_c_StEnaReqReq\n\rOR is equal to VMMP_FSS_c_StEnaReqDeac\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgFSSSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314070.0",
  "Description": "IF[1]: \n\r1) FSS_s_StEnaReq is equal to VMMP_FSS_c_StEnaReqReq\n\rOR is equal to VMMP_FSS_c_StEnaReqDeac\n\rTHEN: \n\rdepending on the the parameters:\n\rVMMP_SSHPOST_p_flgFSSSwtOnUsrId*\n\rthe outputs\n\rVMM_s_FlgVNSMUsrId* should be set (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

ESC Activation

{
  "ID": "16647243.0",
  "ASIL": "  ",
  "Text": "ESC Activation",
  "Type": "Folder",
  "Status": "",
  "Summary": "ESC Activation",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1314076.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The esc activation logic is responsible for reactivating an esc which is in a certain PATA mode or prohibit that the esc could be switched off.

{
  "ID": "16647244.0",
  "ASIL": "  ",
  "Text": "The esc activation logic is responsible for reactivating an esc which is in a certain PATA mode or prohibit that the esc could be switched off.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1314083.0",
  "Description": "The esc activation logic is responsible for reactivating an esc which is in a certain PATA mode or prohibit that the esc could be switched off.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Within SSHPOST there are two different types of esc activations.

A permanent request, which should be hold as long as the input requests and an overridable request which is held as long until the esc confirmation will be returned.

{
  "ID": "16647245.0",
  "ASIL": "  ",
  "Text": "Within SSHPOST there are two different types of esc activations.\n\rA permanent request, which should be hold as long as the input requests and an overridable request which is held as long until the esc confirmation will be returned.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1314109.0",
  "Description": "Within SSHPOST there are two different types of esc activations.\n\rA permanent request, which should be hold as long as the input requests and an overridable request which is held as long until the esc confirmation will be returned.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The outputs should only be unequal to zero if the esc activation function is switched on, which means:

IF[1]:

1) VMMP_SSHPOST_p_ESCAcvSwtOn is false

THEN:

SSHPOST_s_StReqESCAcv and SSHPOST_s_EscAcvErr should always be zero.

ELSE:

the following requirements should tested.

{
  "ID": "16647246.0",
  "ASIL": "  QM",
  "Text": "The outputs should only be unequal to zero if the esc activation function is switched on, which means:\n\rIF[1]:\n\r1) VMMP_SSHPOST_p_ESCAcvSwtOn is false\n\rTHEN:\n\rSSHPOST_s_StReqESCAcv and SSHPOST_s_EscAcvErr should always be zero.\n\rELSE:\n\rthe following requirements should tested.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314115.0",
  "Description": "The outputs should only be unequal to zero if the esc activation function is switched on, which means:\n\rIF[1]:\n\r1) VMMP_SSHPOST_p_ESCAcvSwtOn is false\n\rTHEN:\n\rSSHPOST_s_StReqESCAcv and SSHPOST_s_EscAcvErr should always be zero.\n\rELSE:\n\rthe following requirements should tested.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Permanent Request

{
  "ID": "16647247.0",
  "ASIL": "  ",
  "Text": "Permanent Request",
  "Type": "Folder",
  "Status": "",
  "Summary": "Permanent Request",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1314111.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2)]:

1) one of the input signals:

ARBLLCSC_s_LgtLatCtl_StReqESCAcv,

ARBLGLSCA_s_LgtLimA_StReqESCAcv is equal to VMMP_SSHPOST_c_PermReq

2) OR(1,2,3):

1) VMMP_SSHPOST_p_PermReq2PATA0 is true AND ASOAF_s_StStabCtl is equal to PATA0 (VMMP_SSHPOST_c_ESCPATA0)

2) VMMP_SSHPOST_p_PermReq2PATA1 is true AND ASOAF_s_StStabCtl is equal to PATA1 (VMMP_SSHPOST_c_ESCPATA1)

3) VMMP_SSHPOST_p_PermReq2PATA2 is true AND ASOAF_s_StStabCtl is equal to PATA2 (VMMP_SSHPOST_c_ESCPATA2)

THEN:

the output SSHPOST_s_StReqESCAcv should be permanent request (3)

ELSE:

the output SSHPOST_s_StReqESCAcv should be NoRequest (0)

{
  "ID": "16647248.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2)]:\n\r1) one of the input signals:\n\rARBLLCSC_s_LgtLatCtl_StReqESCAcv,\n\rARBLGLSCA_s_LgtLimA_StReqESCAcv is equal to VMMP_SSHPOST_c_PermReq\n\r2) OR(1,2,3):\n\r1) VMMP_SSHPOST_p_PermReq2PATA0 is true AND ASOAF_s_StStabCtl is equal to PATA0 (VMMP_SSHPOST_c_ESCPATA0)\n\r2) VMMP_SSHPOST_p_PermReq2PATA1 is true AND ASOAF_s_StStabCtl is equal to PATA1 (VMMP_SSHPOST_c_ESCPATA1)\n\r3) VMMP_SSHPOST_p_PermReq2PATA2 is true AND ASOAF_s_StStabCtl is equal to PATA2 (VMMP_SSHPOST_c_ESCPATA2)\n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3)\n\rELSE:\n\rthe output SSHPOST_s_StReqESCAcv should be NoRequest (0)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314113.0",
  "Description": "IF[AND(1,2)]:\n\r1) one of the input signals:\n\rARBLLCSC_s_LgtLatCtl_StReqESCAcv,\n\rARBLGLSCA_s_LgtLimA_StReqESCAcv is equal to VMMP_SSHPOST_c_PermReq\n\r2) OR(1,2,3):\n\r1) VMMP_SSHPOST_p_PermReq2PATA0 is true AND ASOAF_s_StStabCtl is equal to PATA0 (VMMP_SSHPOST_c_ESCPATA0)\n\r2) VMMP_SSHPOST_p_PermReq2PATA1 is true AND ASOAF_s_StStabCtl is equal to PATA1 (VMMP_SSHPOST_c_ESCPATA1)\n\r3) VMMP_SSHPOST_p_PermReq2PATA2 is true AND ASOAF_s_StStabCtl is equal to PATA2 (VMMP_SSHPOST_c_ESCPATA2)\n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3)\n\rELSE:\n\rthe output SSHPOST_s_StReqESCAcv should be NoRequest (0)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Overridable Request

{
  "ID": "16647249.0",
  "ASIL": "  ",
  "Text": "Overridable Request",
  "Type": "Folder",
  "Status": "",
  "Summary": "Overridable Request",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1314118.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[AND(1,2)]:

1) one of the input signals:

ARBLLCSC_s_LgtLatCtl_StReqESCAcv,

ARBLGLSCA_s_LgtLimA_StReqESCAcv is equal to VMMP_SSHPOST_c_OvrdReq

2) OR(1,2,3):

1) VMMP_SSHPOST_p_OvrdReq2PATA0 is true AND ASOAF_s_StStabCtl is equal to PATA0 (VMMP_SSHPOST_c_ESCPATA0)

2) VMMP_SSHPOST_p_OvrdReq2PATA1 is true AND ASOAF_s_StStabCtl is equal to PATA1 (VMMP_SSHPOST_c_ESCPATA1)

3) VMMP_SSHPOST_p_OvrdReq2PATA2 is true AND ASOAF_s_StStabCtl is equal to PATA2 (VMMP_SSHPOST_c_ESCPATA2)

THEN:

the output SSHPOST_s_StReqESCAcv should be permanent request (3) as long until ASOAF_s_StStabCtl changes to PATA0 (VMMP_SSHPOST_c_ESCPATA0). But never longer than VMMP_SSHPOST_p_ESCAcvCtrLimUppr*VMMP_c_TiSmpl seconds. If this supervision time is exceeded, the output SSHPOST_s_StReqESCAcv should change back to zero.

ELSE:

the output SSHPOST_s_StReqESCAcv should be NoRequest (0)

{
  "ID": "16647250.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2)]:\n\r1) one of the input signals:\n\rARBLLCSC_s_LgtLatCtl_StReqESCAcv,\n\rARBLGLSCA_s_LgtLimA_StReqESCAcv is equal to VMMP_SSHPOST_c_OvrdReq\n\r2) OR(1,2,3):\n\r1) VMMP_SSHPOST_p_OvrdReq2PATA0 is true AND ASOAF_s_StStabCtl is equal to PATA0 (VMMP_SSHPOST_c_ESCPATA0)\n\r2) VMMP_SSHPOST_p_OvrdReq2PATA1 is true AND ASOAF_s_StStabCtl is equal to PATA1 (VMMP_SSHPOST_c_ESCPATA1)\n\r3) VMMP_SSHPOST_p_OvrdReq2PATA2 is true AND ASOAF_s_StStabCtl is equal to PATA2 (VMMP_SSHPOST_c_ESCPATA2)\n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3) as long until ASOAF_s_StStabCtl changes to PATA0 (VMMP_SSHPOST_c_ESCPATA0). But never longer than VMMP_SSHPOST_p_ESCAcvCtrLimUppr*VMMP_c_TiSmpl seconds. If this supervision time is exceeded, the output SSHPOST_s_StReqESCAcv should change back to zero.\n\rELSE:\n\rthe output SSHPOST_s_StReqESCAcv should be NoRequest (0)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314120.0",
  "Description": "IF[AND(1,2)]:\n\r1) one of the input signals:\n\rARBLLCSC_s_LgtLatCtl_StReqESCAcv,\n\rARBLGLSCA_s_LgtLimA_StReqESCAcv is equal to VMMP_SSHPOST_c_OvrdReq\n\r2) OR(1,2,3):\n\r1) VMMP_SSHPOST_p_OvrdReq2PATA0 is true AND ASOAF_s_StStabCtl is equal to PATA0 (VMMP_SSHPOST_c_ESCPATA0)\n\r2) VMMP_SSHPOST_p_OvrdReq2PATA1 is true AND ASOAF_s_StStabCtl is equal to PATA1 (VMMP_SSHPOST_c_ESCPATA1)\n\r3) VMMP_SSHPOST_p_OvrdReq2PATA2 is true AND ASOAF_s_StStabCtl is equal to PATA2 (VMMP_SSHPOST_c_ESCPATA2)\n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3) as long until ASOAF_s_StStabCtl changes to PATA0 (VMMP_SSHPOST_c_ESCPATA0). But never longer than VMMP_SSHPOST_p_ESCAcvCtrLimUppr*VMMP_c_TiSmpl seconds. If this supervision time is exceeded, the output SSHPOST_s_StReqESCAcv should change back to zero.\n\rELSE:\n\rthe output SSHPOST_s_StReqESCAcv should be NoRequest (0)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

ESC Request by WarningBrake

{
  "ID": "16647251.0",
  "ASIL": "  ",
  "Text": "ESC Request by WarningBrake",
  "Type": "Folder",
  "Status": "",
  "Summary": "ESC Request by WarningBrake",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1386499.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Permanent Request

{
  "ID": "16647252.0",
  "ASIL": "  ",
  "Text": "Permanent Request",
  "Type": "Folder",
  "Status": "",
  "Summary": "Permanent Request",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1386503.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1) warning brake request should trigger a permanent esc request, which means VMMP_SSHPOST_p_WarnBrkESCAcvReq is equal to 2

2) VMMP_SSHPOST_p_WarnBrkESCAcvSwtOn equal to one

3) a warning brake request occurs, which means (0 < SSHPOST_s_WarnBrk_ItReq < 8)

THEN:

the output SSHPOST_s_StReqESCAcv should be permanent request (3) as long as the SSHPOST_s_WarnBrk_ItReq is established.

{
  "ID": "16647253.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]:\n\r1) warning brake request should trigger a permanent esc request, which means VMMP_SSHPOST_p_WarnBrkESCAcvReq is equal to 2\n\r2) VMMP_SSHPOST_p_WarnBrkESCAcvSwtOn equal to one\n\r3) a warning brake request occurs, which means (0 < SSHPOST_s_WarnBrk_ItReq < 8)\n\r \n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3) as long as the SSHPOST_s_WarnBrk_ItReq is established.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1386507.0",
  "Description": "IF[AND(1,2,3)]:\n\r1) warning brake request should trigger a permanent esc request, which means VMMP_SSHPOST_p_WarnBrkESCAcvReq is equal to 2\n\r2) VMMP_SSHPOST_p_WarnBrkESCAcvSwtOn equal to one\n\r3) a warning brake request occurs, which means (0 < SSHPOST_s_WarnBrk_ItReq < 8)\n\r \n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3) as long as the SSHPOST_s_WarnBrk_ItReq is established.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Overridable Request

{
  "ID": "16647254.0",
  "ASIL": "  ",
  "Text": "Overridable Request",
  "Type": "Folder",
  "Status": "",
  "Summary": "Overridable Request",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1386505.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1) warning brake request should trigger an overrideable esc request, which means VMMP_SSHPOST_p_WarnBrkESCAcvReq is equal to 1

2) VMMP_SSHPOST_p_WarnBrkESCAcvSwtOn equal to one

3) a rising warning brake request occurs, which means (0 < SSHPOST_s_WarnBrk_ItReq < 8)

THEN:

the output SSHPOST_s_StReqESCAcv should be permanent request (3) as long until ASOAF_s_StStabCtl changes to PATA0 (VMMP_SSHPOST_c_ESCPATA0). But never longer than VMMP_SSHPOST_p_ESCAcvCtrLimUppr*VMMP_c_TiSmpl seconds. If this supervision time is exceeded, the output SSHPOST_s_StReqESCAcv should change back to zero.

{
  "ID": "16647255.0",
  "ASIL": "  QM",
  "Text": "IF[AND(1,2,3)]:\n\r1) warning brake request should trigger an overrideable esc request, which means VMMP_SSHPOST_p_WarnBrkESCAcvReq is equal to 1\n\r2) VMMP_SSHPOST_p_WarnBrkESCAcvSwtOn equal to one\n\r3) a rising warning brake request occurs, which means (0 < SSHPOST_s_WarnBrk_ItReq < 8)\n\r \n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3) as long until ASOAF_s_StStabCtl changes to PATA0 (VMMP_SSHPOST_c_ESCPATA0). But never longer than VMMP_SSHPOST_p_ESCAcvCtrLimUppr*VMMP_c_TiSmpl seconds. If this supervision time is exceeded, the output SSHPOST_s_StReqESCAcv should change back to zero.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1386501.0",
  "Description": "IF[AND(1,2,3)]:\n\r1) warning brake request should trigger an overrideable esc request, which means VMMP_SSHPOST_p_WarnBrkESCAcvReq is equal to 1\n\r2) VMMP_SSHPOST_p_WarnBrkESCAcvSwtOn equal to one\n\r3) a rising warning brake request occurs, which means (0 < SSHPOST_s_WarnBrk_ItReq < 8)\n\r \n\rTHEN:\n\rthe output SSHPOST_s_StReqESCAcv should be permanent request (3) as long until ASOAF_s_StStabCtl changes to PATA0 (VMMP_SSHPOST_c_ESCPATA0). But never longer than VMMP_SSHPOST_p_ESCAcvCtrLimUppr*VMMP_c_TiSmpl seconds. If this supervision time is exceeded, the output SSHPOST_s_StReqESCAcv should change back to zero.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

ESC Activation Supervision

{
  "ID": "16647256.0",
  "ASIL": "  ",
  "Text": "ESC Activation Supervision",
  "Type": "Folder",
  "Status": "",
  "Summary": "ESC Activation Supervision",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1314123.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF[1]:

1) there is an rising edge of the previously described permanent or overridable request (SSHPOST_s_StReqESCAcv) a timer algorithm starts, which is supervising the input signal ASOAF_s_StStabCtl. If this signal doesn't change from a value unequal to VMMP_SSHPOST_c_ESCPATA0 to VMMP_SSHPOST_c_ESCPATA0 within VMMP_SSHPOST_p_ESCAcvCtrLimUppr timesteps

THEN: 

the output signal SSHPOST_s_EscAcvErr should change to Failure (1)

{
  "ID": "16647257.0",
  "ASIL": "  QM",
  "Text": "IF[1]:\n\r1) there is an rising edge of the previously described permanent or overridable request (SSHPOST_s_StReqESCAcv) a timer algorithm starts, which is supervising the input signal ASOAF_s_StStabCtl. If this signal doesn't change from a value unequal to VMMP_SSHPOST_c_ESCPATA0 to VMMP_SSHPOST_c_ESCPATA0 within VMMP_SSHPOST_p_ESCAcvCtrLimUppr timesteps\n\rTHEN: \n\rthe output signal SSHPOST_s_EscAcvErr should change to Failure (1)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1314125.0",
  "Description": "IF[1]:\n\r1) there is an rising edge of the previously described permanent or overridable request (SSHPOST_s_StReqESCAcv) a timer algorithm starts, which is supervising the input signal ASOAF_s_StStabCtl. If this signal doesn't change from a value unequal to VMMP_SSHPOST_c_ESCPATA0 to VMMP_SSHPOST_c_ESCPATA0 within VMMP_SSHPOST_p_ESCAcvCtrLimUppr timesteps\n\rTHEN: \n\rthe output signal SSHPOST_s_EscAcvErr should change to Failure (1)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Brake Light Suppression/Request

{
  "ID": "16647258.0",
  "ASIL": "  ",
  "Text": "Brake Light Suppression/Request",
  "Type": "Folder",
  "Status": "",
  "Summary": "Brake Light Suppression/Request",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1362594.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

This functionality consolidates all VMMP brake light suppressions or requests

{
  "ID": "16647259.0",
  "ASIL": "  ",
  "Text": "This functionality consolidates all VMMP brake light suppressions or requests",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1362596.0",
  "Description": "This functionality consolidates all VMMP brake light suppressions or requests",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]: 

1) VSOEM_s_StEmgcyDece equals VMMP_VSOEM_c_StEmgcyDeceActive

THEN [1]: 

1) SSHPOST_s_BrkLght_StReq equals one (means BrakeLightActivationRequest)

ELSE [1]: 

1) SSHPOST_s_BrkLght_StReq equals HMSOP_s_StBrkLghtReq

{
  "ID": "16647260.0",
  "ASIL": "  QM",
  "Text": "IF [1]: \n\r1) VSOEM_s_StEmgcyDece equals VMMP_VSOEM_c_StEmgcyDeceActive\n\rTHEN [1]: \n\r1) SSHPOST_s_BrkLght_StReq equals one (means BrakeLightActivationRequest)\n\rELSE [1]: \n\r1) SSHPOST_s_BrkLght_StReq equals HMSOP_s_StBrkLghtReq",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1362598.0",
  "Description": "IF [1]: \n\r1) VSOEM_s_StEmgcyDece equals VMMP_VSOEM_c_StEmgcyDeceActive\n\rTHEN [1]: \n\r1) SSHPOST_s_BrkLght_StReq equals one (means BrakeLightActivationRequest)\n\rELSE [1]: \n\r1) SSHPOST_s_BrkLght_StReq equals HMSOP_s_StBrkLghtReq",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

SSHPOST_s_BrkLght_IdxTqWhlSrcTyp equals LOCCOP_s_BrkLght_IdxTqWhlSrcTyp

{
  "ID": "16647261.0",
  "ASIL": "  ASIL B",
  "Text": "SSHPOST_s_BrkLght_IdxTqWhlSrcTyp equals LOCCOP_s_BrkLght_IdxTqWhlSrcTyp",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1362600.0",
  "Description": "SSHPOST_s_BrkLght_IdxTqWhlSrcTyp equals LOCCOP_s_BrkLght_IdxTqWhlSrcTyp",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}