Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

u1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples

u = min (ADeceDmdRaw , u1)

Kp = 1

T = VMMP_c_TiSmpl/(VMMP_c_TiSmpl+VMMP_VSOEM_p_TiFilAMonDmd)

VSOEM_m_ADeceDmdFil = max (ADeceDmdRaw , LowPassFil (u, Kp, T)

{
  "ID": "16646311.0",
  "ASIL": "  ASIL C",
  "Text": "u1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples\n\ru = min (ADeceDmdRaw , u1)\n\rKp = 1\n\rT = VMMP_c_TiSmpl/(VMMP_c_TiSmpl+VMMP_VSOEM_p_TiFilAMonDmd)\n\rVSOEM_m_ADeceDmdFil = max (ADeceDmdRaw , LowPassFil (u, Kp, T)",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345233.0",
  "Description": "u1 = ADeceDmdRaw delayed on VMMP_VSOEM_p_TiDlyAMonDmd samples\n\ru = min (ADeceDmdRaw , u1)\n\rKp = 1\n\rT = VMMP_c_TiSmpl/(VMMP_c_TiSmpl+VMMP_VSOEM_p_TiFilAMonDmd)\n\rVSOEM_m_ADeceDmdFil = max (ADeceDmdRaw , LowPassFil (u, Kp, T)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Acceleration below limit exceeded ASIL QM

{
  "ID": "16646312.0",
  "ASIL": "  ",
  "Text": "Acceleration below limit exceeded ASIL QM",
  "Type": "Folder",
  "Status": "",
  "Summary": "Acceleration below limit exceeded ASIL QM",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345245.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

BlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil

IF [1]

1) BlowLim_FlgAMonMaxExc1 <= 0

THEN:

FlgAMonMaxExc = BlowLim_FlgAMonMaxExc1 

ELSE:

FlgAMonMaxExc = FlgAMonMaxExc1*VMMP_VSOEM_p_FacIntgDwnAMon

{
  "ID": "16646313.0",
  "ASIL": "  ASIL C",
  "Text": "BlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil\n\rIF [1]\n\r1) BlowLim_FlgAMonMaxExc1 <= 0\n\rTHEN:\n\rFlgAMonMaxExc = BlowLim_FlgAMonMaxExc1 \n\rELSE:\n\rFlgAMonMaxExc = FlgAMonMaxExc1*VMMP_VSOEM_p_FacIntgDwnAMon",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345244.0",
  "Description": "BlowLim_FlgAMonMaxExc1 = VSOEM_s_ALgtVehCor + VMMP_VSOEM_p_ATlrADeceMonDmd - VSOEM_m_ADeceDmdFil\n\rIF [1]\n\r1) BlowLim_FlgAMonMaxExc1 <= 0\n\rTHEN:\n\rFlgAMonMaxExc = BlowLim_FlgAMonMaxExc1 \n\rELSE:\n\rFlgAMonMaxExc = FlgAMonMaxExc1*VMMP_VSOEM_p_FacIntgDwnAMon",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) VSOEM_m_FlgAMonEna = 1

THEN:

FlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10)

ELSE:

FlgAMonEna2 = 0

{
  "ID": "16646314.0",
  "ASIL": "  ASIL C",
  "Text": "IF [1]:\n\r1) VSOEM_m_FlgAMonEna = 1\n\rTHEN:\n\rFlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10)\n\rELSE:\n\rFlgAMonEna2 = 0",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1345252.0",
  "Description": "IF [1]:\n\r1) VSOEM_m_FlgAMonEna = 1\n\rTHEN:\n\rFlgAMonEna2 = the integral of the signal FlgAMonMaxExc (integration range: 0-10)\n\rELSE:\n\rFlgAMonEna2 = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) seconds.

THEN:

VSOEM_s_FlgADeceMonDmdExc = 0

ELSE:

VSOEM_s_FlgADeceMonDmdExc = 1

{
  "ID": "16646315.0",
  "ASIL": "  ASIL C",
  "Text": "IF [1]:\n\r1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) seconds.\n\rTHEN:\n\rVSOEM_s_FlgADeceMonDmdExc = 0\n\rELSE:\n\rVSOEM_s_FlgADeceMonDmdExc = 1",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1345247.0",
  "Description": "IF [1]:\n\r1) FlgAMonEna2 < VMMP_VSOEM_p_VAlwBlwADeceMonDmd for a time no longer than (VMMP_VSOEM_p_TiDeacAMon * VMMP_c_TiSimSmpl) seconds.\n\rTHEN:\n\rVSOEM_s_FlgADeceMonDmdExc = 0\n\rELSE:\n\rVSOEM_s_FlgADeceMonDmdExc = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}