Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

If the reset condition is fulfilled, the transfer to the HMS torque limitation is complete.

As soon as the transfer is completed, the output signal LOCCDRC_s_TqWhlReqDrv_TqDmd is determined directly by the HMS torque limitation request LOCCDRC_m_TqWhlLimHMS_TqDmd.

{
  "ID": "16656999",
  "ASIL": "  ",
  "Text": "If the reset condition is fulfilled, the transfer to the HMS torque limitation is complete.\n_x000D_As soon as the transfer is completed, the output signal LOCCDRC_s_TqWhlReqDrv_TqDmd is determined directly by the HMS torque limitation request LOCCDRC_m_TqWhlLimHMS_TqDmd.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407501",
  "Description": "If the reset condition is fulfilled, the transfer to the HMS torque limitation is complete.\n_x000D_As soon as the transfer is completed, the output signal LOCCDRC_s_TqWhlReqDrv_TqDmd is determined directly by the HMS torque limitation request LOCCDRC_m_TqWhlLimHMS_TqDmd.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

TqLimLOCToHMSTrf01:

TqLimLOCToHMSTrf01 indicates an active torque transfer and must be viewed like a flip-flop with dominant set input.

Set:OR(1,AND(2,3))

1)The condition FlgTqLimLOCAcv must be changed from true to false and must remain false for the further course of the scenario (deactivation of LOC limitation).

2) The signal LOCCTS_s_TqWhlLimLOC_FlgDeacTrfTrig must be changed from false to true and must remain true for the further course of the scenario (deactivation of LOC limitation).

3) LOCCDRC_m_TqWhlLimLOC_TqDmd is greater than LOCCDRC_m_TqWhlLimHMS_TqDmd

TqLimLOCToHMSTrf01 becomes true, when this start condition is fulfilled.

Reset:

The scenario is over as soon as LOCCDRC_s_TqWhlReqDrv_TqDmd is equal LOCCDRC_m_TqWhlLimHMS_TqDmd.

TqLimLOCToHMSTrf01 becomes false, when this end condition is fulfilled.

{
  "ID": "46712194",
  "ASIL": "  ASIL D",
  "Text": "TqLimLOCToHMSTrf01:\n_x000D_ \n_x000D_ \n_x000D_TqLimLOCToHMSTrf01 indicates an active torque transfer and must be viewed like a flip-flop with dominant set input.\n_x000D_ \n_x000D_ \n_x000D_Set:OR(1,AND(2,3))\n_x000D_1)The condition FlgTqLimLOCAcv must be changed from true to false and must remain false for the further course of the scenario (deactivation of LOC limitation).\n_x000D_2) The signal LOCCTS_s_TqWhlLimLOC_FlgDeacTrfTrig must be changed from false to true and must remain true for the further course of the scenario (deactivation of LOC limitation).\n_x000D_3) LOCCDRC_m_TqWhlLimLOC_TqDmd is greater than LOCCDRC_m_TqWhlLimHMS_TqDmd\n_x000D_TqLimLOCToHMSTrf01 becomes true, when this start condition is fulfilled.\n_x000D_ \n_x000D_ \n_x000D_Reset:\n_x000D_The scenario is over as soon as LOCCDRC_s_TqWhlReqDrv_TqDmd is equal LOCCDRC_m_TqWhlLimHMS_TqDmd.\n_x000D_TqLimLOCToHMSTrf01 becomes false, when this end condition is fulfilled.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "TqLimLOCToHMSTrf01:\n_x000D_ \n_x000D_ \n_x000D_TqLimLOCToHMSTrf01 indicates an active torque transfer and must be viewed like a flip-flop with dominant set input.\n_x000D_ \n_x000D_ \n_x000D_Set:OR(1,AND(2,3))\n_x000D_1)The condition FlgTqLimLOCAcv must be changed from true to false and must remain false for the further course of the scenario (deactivation of LOC limitation).\n_x000D_2) The signal LOCCTS_s_TqWhlLimLOC_FlgDeacTrfTrig must be changed from false to true and must remain true for the further course of the scenario (deactivation of LOC limitation).\n_x000D_3) LOCCDRC_m_TqWhlLimLOC_TqDmd is greater than LOCCDRC_m_TqWhlLimHMS_TqDmd\n_x000D_TqLimLOCToHMSTrf01 becomes true, when this start condition is fulfilled.\n_x000D_ \n_x000D_ \n_x000D_Reset:\n_x000D_The scenario is over as soon as LOCCDRC_s_TqWhlReqDrv_TqDmd is equal LOCCDRC_m_TqWhlLimHMS_TqDmd.\n_x000D_TqLimLOCToHMSTrf01 becomes false, when this end condition is fulfilled.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

If the reset condition is fulfilled, the transfer to the HMS torque limitation is complete.

As soon as the transfer is completed, the output signal LOCCDRC_s_TqWhlReqDrv_TqDmd is determined directly by the HMS torque limitation request LOCCDRC_m_TqWhlLimHMS_TqDmd.

{
  "ID": "46712195",
  "ASIL": "  ",
  "Text": "If the reset condition is fulfilled, the transfer to the HMS torque limitation is complete.\n_x000D_As soon as the transfer is completed, the output signal LOCCDRC_s_TqWhlReqDrv_TqDmd is determined directly by the HMS torque limitation request LOCCDRC_m_TqWhlLimHMS_TqDmd.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "If the reset condition is fulfilled, the transfer to the HMS torque limitation is complete.\n_x000D_As soon as the transfer is completed, the output signal LOCCDRC_s_TqWhlReqDrv_TqDmd is determined directly by the HMS torque limitation request LOCCDRC_m_TqWhlLimHMS_TqDmd.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

the first set-condition describes how the stimulation should be. During the deactivation, the flag remains false. So for this scenario, the set conition is only fullfilled for one time step (falling edge).

{
  "ID": "49302526",
  "ASIL": "  ",
  "Text": "the first set-condition describes how the stimulation should be. During the deactivation, the flag remains false. So for this scenario, the set conition is only fullfilled for one time step (falling edge).",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "the first set-condition describes how the stimulation should be. During the deactivation, the flag remains false. So for this scenario, the set conition is only fullfilled for one time step (falling edge).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Requirements

{
  "ID": "16657000",
  "ASIL": "  ",
  "Text": "Requirements",
  "Type": "Folder",
  "Status": "",
  "Summary": "Requirements",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407477",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The following functional requirements describe the expected behavior after the start condition of the dynamic scenario has occured (deactivation of the LOC limitation)!

The behavior before the start condition is not described but covered by other scenarios.

{
  "ID": "16657001",
  "ASIL": "  QM",
  "Text": "The following functional requirements describe the expected behavior after the start condition of the dynamic scenario has occured (deactivation of the LOC limitation)!\n_x000D_The behavior before the start condition is not described but covered by other scenarios.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407487",
  "Description": "The following functional requirements describe the expected behavior after the start condition of the dynamic scenario has occured (deactivation of the LOC limitation)!\n_x000D_The behavior before the start condition is not described but covered by other scenarios.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The torque levels (_TqDmd, _TqDrg) at the time of setting TqLimLOCToHMSTrf01 should be varied in different test runs.

{
  "ID": "16657002",
  "ASIL": "  QM",
  "Text": "The torque levels (_TqDmd, _TqDrg) at the time of setting TqLimLOCToHMSTrf01 should be varied in different test runs.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407488",
  "Description": "The torque levels (_TqDmd, _TqDrg) at the time of setting TqLimLOCToHMSTrf01 should be varied in different test runs.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCCTS_s_TqWhlLimHMS_FlgAcv should be active during the scenario.

{
  "ID": "16657003",
  "ASIL": "  QM",
  "Text": "LOCCTS_s_TqWhlLimHMS_FlgAcv should be active during the scenario.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407530",
  "Description": "LOCCTS_s_TqWhlLimHMS_FlgAcv should be active during the scenario.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LOCCTS_s_TqWhlLimHMS_TqDmd should be varied during the scenario and in different test runs (increase, decrease and keep constant).

{
  "ID": "16657004",
  "ASIL": "  QM",
  "Text": "LOCCTS_s_TqWhlLimHMS_TqDmd should be varied during the scenario and in different test runs (increase, decrease and keep constant).",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407527",
  "Description": "LOCCTS_s_TqWhlLimHMS_TqDmd should be varied during the scenario and in different test runs (increase, decrease and keep constant).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

As long as TqLimLOCToHMSTrf01 is true, the index LOCCDRC_s_TqWhlReqDrv_IdxChn must not change and must be equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnLimLOCDrv.

When TqLimLOCToHMSTrf01 becomes false, the index LOCCDRC_s_TqWhlReqDrv_IdxChn must be equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnLimHMSDrv.

{
  "ID": "16657005",
  "ASIL": "  ASIL D",
  "Text": "As long as TqLimLOCToHMSTrf01 is true, the index LOCCDRC_s_TqWhlReqDrv_IdxChn must not change and must be equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnLimLOCDrv.\n_x000D_When TqLimLOCToHMSTrf01 becomes false, the index LOCCDRC_s_TqWhlReqDrv_IdxChn must be equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnLimHMSDrv.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1407490",
  "Description": "As long as TqLimLOCToHMSTrf01 is true, the index LOCCDRC_s_TqWhlReqDrv_IdxChn must not change and must be equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnLimLOCDrv.\n_x000D_When TqLimLOCToHMSTrf01 becomes false, the index LOCCDRC_s_TqWhlReqDrv_IdxChn must be equal to constant VMMP_LOCC_c_TqWhlDmd_IdxChnLimHMSDrv.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

As long as TqLimLOCToHMSTrf01 is true, the output torque request must follow these requirements:

* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising when the input DSOPRE_s_DrvPed_PrctPed is rising.

* LOCCDRC_s_TqWhlReqDrv_TqDmd is falling but not below LOCCDRC_m_TqWhlReqDrvPed_TqDrg when the input DSOPRE_s_DrvPed_PrctPed is falling.

* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising with the gradient VMMP_LOCCDRC_p_TrfLimDrvDeac_TqGrdTiRampMin when the input DSOPRE_s_DrvPed_PrctPed is constant.

* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising when input DSOPRE_s_DrvPed_StPed is false and LOCCDRC_m_TqWhlReqDrvPed_TqTarPred is greater than LOCCDRC_m_TqWhlReqDrvPed_TqDrg (delayed for a time VMMP_LOCCDRC_p_TrfLimDrvDeac_TiDlyPedNotPress).

When TqLimLOCDeacTrf01 becomes false, the output torque request LOCCDRC_s_TqWhlReqDrv_TqDmd must be equal LOCCDRC_m_TqWhlLimHMS_TqDmd.

{
  "ID": "16657006",
  "ASIL": "  ASIL D",
  "Text": "As long as TqLimLOCToHMSTrf01 is true, the output torque request must follow these requirements:\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising when the input DSOPRE_s_DrvPed_PrctPed is rising.\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is falling but not below LOCCDRC_m_TqWhlReqDrvPed_TqDrg when the input DSOPRE_s_DrvPed_PrctPed is falling.\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising with the gradient VMMP_LOCCDRC_p_TrfLimDrvDeac_TqGrdTiRampMin when the input DSOPRE_s_DrvPed_PrctPed is constant.\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising when input DSOPRE_s_DrvPed_StPed is false and LOCCDRC_m_TqWhlReqDrvPed_TqTarPred is greater than LOCCDRC_m_TqWhlReqDrvPed_TqDrg (delayed for a time VMMP_LOCCDRC_p_TrfLimDrvDeac_TiDlyPedNotPress).\n_x000D_When TqLimLOCDeacTrf01 becomes false, the output torque request LOCCDRC_s_TqWhlReqDrv_TqDmd must be equal LOCCDRC_m_TqWhlLimHMS_TqDmd.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1407491",
  "Description": "As long as TqLimLOCToHMSTrf01 is true, the output torque request must follow these requirements:\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising when the input DSOPRE_s_DrvPed_PrctPed is rising.\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is falling but not below LOCCDRC_m_TqWhlReqDrvPed_TqDrg when the input DSOPRE_s_DrvPed_PrctPed is falling.\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising with the gradient VMMP_LOCCDRC_p_TrfLimDrvDeac_TqGrdTiRampMin when the input DSOPRE_s_DrvPed_PrctPed is constant.\n_x000D_* LOCCDRC_s_TqWhlReqDrv_TqDmd is rising when input DSOPRE_s_DrvPed_StPed is false and LOCCDRC_m_TqWhlReqDrvPed_TqTarPred is greater than LOCCDRC_m_TqWhlReqDrvPed_TqDrg (delayed for a time VMMP_LOCCDRC_p_TrfLimDrvDeac_TiDlyPedNotPress).\n_x000D_When TqLimLOCDeacTrf01 becomes false, the output torque request LOCCDRC_s_TqWhlReqDrv_TqDmd must be equal LOCCDRC_m_TqWhlLimHMS_TqDmd.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

As soon as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqTarPred must be equal to MIN(LOCCDRC_m_TqWhlLimHMS_TqTarPred,LOCCDRC_m_TqWhlReqDrvPed_TqTarPred).

{
  "ID": "16657007",
  "ASIL": "  QM",
  "Text": "As soon as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqTarPred must be equal to MIN(LOCCDRC_m_TqWhlLimHMS_TqTarPred,LOCCDRC_m_TqWhlReqDrvPed_TqTarPred).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1407492",
  "Description": "As soon as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqTarPred must be equal to MIN(LOCCDRC_m_TqWhlLimHMS_TqTarPred,LOCCDRC_m_TqWhlReqDrvPed_TqTarPred).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The target value is not frozen when the limitation of LOC is deactivated and shows immediately the value of the HMS limitation.

{
  "ID": "16657008",
  "ASIL": "  ",
  "Text": "The target value is not frozen when the limitation of LOC is deactivated and shows immediately the value of the HMS limitation.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1407508",
  "Description": "The target value is not frozen when the limitation of LOC is deactivated and shows immediately the value of the HMS limitation.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

As long as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqGrdTrfDec must be equal to the constant VMMP_LOCC_c_TqWhlLim_TqGrdDecDft.

{
  "ID": "16657009",
  "ASIL": "  QM",
  "Text": "As long as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqGrdTrfDec must be equal to the constant VMMP_LOCC_c_TqWhlLim_TqGrdDecDft.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1407493",
  "Description": "As long as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqGrdTrfDec must be equal to the constant VMMP_LOCC_c_TqWhlLim_TqGrdDecDft.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

As long as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqGrdTrfInc must be equal to constant VMMP_LOCC_c_TqWhlLim_TqGrdIncDft.

{
  "ID": "16657010",
  "ASIL": "  QM",
  "Text": "As long as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqGrdTrfInc must be equal to constant VMMP_LOCC_c_TqWhlLim_TqGrdIncDft.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1407494",
  "Description": "As long as TqLimLOCToHMSTrf01 is true and also after TqLimLOCToHMSTrf01 is false again, LOCCDRC_s_TqWhlReqDrv_TqGrdTrfInc must be equal to constant VMMP_LOCC_c_TqWhlLim_TqGrdIncDft.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

As long as TqLimLOCToHMSTrf01 is true, the output LOCCDRC_s_TqWhlReqDrv_StTrf must be equal 1, otherwise 0.

{
  "ID": "16657011",
  "ASIL": "  QM",
  "Text": "As long as TqLimLOCToHMSTrf01 is true, the output LOCCDRC_s_TqWhlReqDrv_StTrf must be equal 1, otherwise 0.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1407495",
  "Description": "As long as TqLimLOCToHMSTrf01 is true, the output LOCCDRC_s_TqWhlReqDrv_StTrf must be equal 1, otherwise 0.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}