Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

IF:

Condition FlgAcvSlipAgCtl is TRUE

THEN: 

The output TVCOP_s_SlipAgCtl_AgDmd is equal to

TVCIP_s_AgSideSlipDmd and limited to its signal specification.

ELSE IF:

Condition FlgAcvSlipAgCtl_VMM is TRUE

THEN:

The output TVCOP_s_SlipAgCtl_AgDmd is equal to the value from condition AgSideSlipDmd_VMM

ELSE: 

The output TVCOP_s_SlipAgCtl_AgDmd is equal to 0.

{
  "ID": "63320382.0",
  "ASIL": "  QM",
  "Text": "IF:\n\rCondition FlgAcvSlipAgCtl is TRUE\n\r \n\r \n\rTHEN: \n\rThe output TVCOP_s_SlipAgCtl_AgDmd is equal to\n\rTVCIP_s_AgSideSlipDmd and limited to its signal specification.\n\r \n\rELSE IF:\n\rCondition FlgAcvSlipAgCtl_VMM is TRUE\n\r \n\rTHEN:\n\rThe output TVCOP_s_SlipAgCtl_AgDmd is equal to the value from condition AgSideSlipDmd_VMM\n\r \n\rELSE: \n\rThe output TVCOP_s_SlipAgCtl_AgDmd is equal to 0.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Sideslip Angle",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF:\n\rCondition FlgAcvSlipAgCtl is TRUE\n\r \n\r \n\rTHEN: \n\rThe output TVCOP_s_SlipAgCtl_AgDmd is equal to\n\rTVCIP_s_AgSideSlipDmd and limited to its signal specification.\n\r \n\rELSE IF:\n\rCondition FlgAcvSlipAgCtl_VMM is TRUE\n\r \n\rTHEN:\n\rThe output TVCOP_s_SlipAgCtl_AgDmd is equal to the value from condition AgSideSlipDmd_VMM\n\r \n\rELSE: \n\rThe output TVCOP_s_SlipAgCtl_AgDmd is equal to 0.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Sideslip Angle Gradient 

IF:

Condition FlgAcvSlipAgCtl is TRUE

THEN: 

The output TVCOP_s_SlipAgCtl_AgGrdDmd must be calculated as follows:

TVCOP_s_SlipAgCtl_AgGrdDmd = [ TVCPV_s_AgSideSlipNextTc - TVCIP_s_AgSideSlipDmd ] * VMMP_c_FrqSmpl

The result must be limited to the output signal's specification.

ELSE: 

The output TVCOP_s_SlipAgCtl_AgGrdDmd is equal to 0.

{
  "ID": "16647437.0",
  "ASIL": "  QM",
  "Text": "Sideslip Angle Gradient \n\r \n\r \n\rIF:\n\rCondition FlgAcvSlipAgCtl is TRUE\n\r \n\r \n\rTHEN: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd must be calculated as follows:\n\rTVCOP_s_SlipAgCtl_AgGrdDmd = [ TVCPV_s_AgSideSlipNextTc - TVCIP_s_AgSideSlipDmd ] * VMMP_c_FrqSmpl\n\rThe result must be limited to the output signal's specification.\n\r \n\r \n\rELSE: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd is equal to 0.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1164661.0",
  "Description": "Sideslip Angle Gradient \n\r \n\r \n\rIF:\n\rCondition FlgAcvSlipAgCtl is TRUE\n\r \n\r \n\rTHEN: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd must be calculated as follows:\n\rTVCOP_s_SlipAgCtl_AgGrdDmd = [ TVCPV_s_AgSideSlipNextTc - TVCIP_s_AgSideSlipDmd ] * VMMP_c_FrqSmpl\n\rThe result must be limited to the output signal's specification.\n\r \n\r \n\rELSE: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd is equal to 0.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF:

Condition FlgAcvSlipAgCtl is TRUE

THEN: 

The output TVCOP_s_SlipAgCtl_AgGrdDmd must be calculated as follows:

TVCOP_s_SlipAgCtl_AgGrdDmd = [ TVCPV_s_AgSideSlipNextTc - TVCIP_s_AgSideSlipDmd ] * VMMP_c_FrqSmpl

The result must be limited to the output signal's specification.

ELSE IF:

Condition FlgAcvSlipAgCtl_VMM is TRUE

THEN:

The output TVCOP_s_SlipAgCtl_AgGrdDmd = value from condition AgGrdSideSlipDmd_VMM 

ELSE: 

The output TVCOP_s_SlipAgCtl_AgGrdDmd is equal to 0.

{
  "ID": "63324329.0",
  "ASIL": "  QM",
  "Text": "IF:\n\rCondition FlgAcvSlipAgCtl is TRUE\n\r \n\rTHEN: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd must be calculated as follows:\n\rTVCOP_s_SlipAgCtl_AgGrdDmd = [ TVCPV_s_AgSideSlipNextTc - TVCIP_s_AgSideSlipDmd ] * VMMP_c_FrqSmpl\n\rThe result must be limited to the output signal's specification.\n\r \n\rELSE IF:\n\rCondition FlgAcvSlipAgCtl_VMM is TRUE\n\r \n\rTHEN:\n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd = value from condition AgGrdSideSlipDmd_VMM \n\r \n\rELSE: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd is equal to 0.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "Sideslip Angle Gradient",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF:\n\rCondition FlgAcvSlipAgCtl is TRUE\n\r \n\rTHEN: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd must be calculated as follows:\n\rTVCOP_s_SlipAgCtl_AgGrdDmd = [ TVCPV_s_AgSideSlipNextTc - TVCIP_s_AgSideSlipDmd ] * VMMP_c_FrqSmpl\n\rThe result must be limited to the output signal's specification.\n\r \n\rELSE IF:\n\rCondition FlgAcvSlipAgCtl_VMM is TRUE\n\r \n\rTHEN:\n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd = value from condition AgGrdSideSlipDmd_VMM \n\r \n\rELSE: \n\rThe output TVCOP_s_SlipAgCtl_AgGrdDmd is equal to 0.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Output for Trajectory State

{
  "ID": "16647438.0",
  "ASIL": "  QM",
  "Text": "Output for Trajectory State",
  "Type": "Folder",
  "Status": "",
  "Summary": "Output for Trajectory State",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1164766.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 0

THEN: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoReq

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

1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1

2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2

3) input TVCPP_s_FlgTrjVld is true

4) input TVCEC_s_FlgPosnVld is true

5) input ARBTJCSC_s_TrjCtl_Id is equal to input TVCPP_s_IdTrjVld

6) input TVCPP_s_IdTrjVld is not equal to 0

THEN: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjVldTrj

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

1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1

2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2

3) input TVCPP_s_FlgTrjVld is true

4) input TVCEC_s_FlgPosnVld is true

5) input ARBTJCSC_s_TrjCtl_Id is not equal to input TVCPP_s_IdTrjVld

6) input TVCPP_s_IdTrjVld is not equal to 0

THEN: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjPrevTrjVld

ELSE: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoVldTrj

{
  "ID": "16647439.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoReq\n\rELSEIF [AND(OR(1,2),3,4,5,6)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) input ARBTJCSC_s_TrjCtl_Id is equal to input TVCPP_s_IdTrjVld\n\r6) input TVCPP_s_IdTrjVld is not equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjVldTrj\n\rELSEIF [AND(OR(1,2),3,4,5,6)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) input ARBTJCSC_s_TrjCtl_Id is not equal to input TVCPP_s_IdTrjVld\n\r6) input TVCPP_s_IdTrjVld is not equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjPrevTrjVld\n\rELSE: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoVldTrj",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1164770.0",
  "Description": "IF [1]:\n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoReq\n\rELSEIF [AND(OR(1,2),3,4,5,6)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) input ARBTJCSC_s_TrjCtl_Id is equal to input TVCPP_s_IdTrjVld\n\r6) input TVCPP_s_IdTrjVld is not equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjVldTrj\n\rELSEIF [AND(OR(1,2),3,4,5,6)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) input ARBTJCSC_s_TrjCtl_Id is not equal to input TVCPP_s_IdTrjVld\n\r6) input TVCPP_s_IdTrjVld is not equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjPrevTrjVld\n\rELSE: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoVldTrj",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 0

THEN: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoReq

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

1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1

2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2

3) input TVCPP_s_FlgTrjVld is true

4) input TVCEC_s_FlgPosnVld is true

5) LastReceivedTrajectoryIsValid is equal to 1 

THEN: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjVldTrj

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

1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1

2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2

3) input TVCPP_s_FlgTrjVld is true

4) input TVCEC_s_FlgPosnVld is true

5) LastReceivedTrajectoryIsValid is equal to 0

THEN: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjPrevTrjVld

ELSE: 

The output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoVldTrj

{
  "ID": "40082225.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoReq\n\r \n\r \n\rELSEIF [AND(OR(1,2),3,4,5)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) LastReceivedTrajectoryIsValid is equal to 1 \n\r\n\r \n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjVldTrj\n\r \n\rELSEIF [AND(OR(1,2),3,4,5)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) LastReceivedTrajectoryIsValid is equal to 0\n\r \n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjPrevTrjVld\n\r \n\rELSE: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoVldTrj",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [1]:\n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 0\n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoReq\n\r \n\r \n\rELSEIF [AND(OR(1,2),3,4,5)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) LastReceivedTrajectoryIsValid is equal to 1 \n\r\n\r \n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjVldTrj\n\r \n\rELSEIF [AND(OR(1,2),3,4,5)]: \n\r1) input ARBLLCSC_s_TrjCtl_StAcv is equal to 1\n\r2) input ARBLLCSC_s_TrjCtl_StAcv is equal to 2\n\r3) input TVCPP_s_FlgTrjVld is true\n\r4) input TVCEC_s_FlgPosnVld is true\n\r5) LastReceivedTrajectoryIsValid is equal to 0\n\r \n\rTHEN: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjPrevTrjVld\n\r \n\rELSE: \n\rThe output TVCOP_s_StTrjVld is equal to VMMP_TVCOP_c_StTrjVld_StTrjNoVldTrj",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Demanded Velocity (in case of driving state is intermediate) - OBSOLETE because this state is already considered in other requirements

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

1) input TVCPP_s_FlgLgtCtlAcv is TRUE

2) input TVCEC_s_FlgPosnVld is TRUE

3) input TVCPP_s_StDrvDir equals VMMP_TVCPP_c_StDrvDirInter

THEN: 

The output TVCOP_s_LgtCtl_VDmd is equal to zero.

{
  "ID": "22558119.0",
  "ASIL": "  QM",
  "Text": "Demanded Velocity (in case of driving state is intermediate) - OBSOLETE because this state is already considered in other requirements\n\r \n\r \n\rIF [AND(1,2,3)]:\n\r1) input TVCPP_s_FlgLgtCtlAcv is TRUE\n\r2) input TVCEC_s_FlgPosnVld is TRUE\n\r3) input TVCPP_s_StDrvDir equals VMMP_TVCPP_c_StDrvDirInter\n\rTHEN: \n\rThe output TVCOP_s_LgtCtl_VDmd is equal to zero.",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Demanded Velocity (in case of driving state is intermediate) - OBSOLETE because this state is already considered in other requirements\n\r \n\r \n\rIF [AND(1,2,3)]:\n\r1) input TVCPP_s_FlgLgtCtlAcv is TRUE\n\r2) input TVCEC_s_FlgPosnVld is TRUE\n\r3) input TVCPP_s_StDrvDir equals VMMP_TVCPP_c_StDrvDirInter\n\rTHEN: \n\rThe output TVCOP_s_LgtCtl_VDmd is equal to zero.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Demanded Acceleration (in case of driving state is intermediate) - OBSOLETE because this state is already considered in other requirements

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

1) input TVCPP_s_FlgLgtCtlAcv is TRUE

2) input TVCEC_s_FlgPosnVld is TRUE

3) input TVCPP_s_StDrvDir equals VMMP_TVCPP_c_StDrvDirInter

THEN: 

The output TVCOP_s_LgtCtl_ADmd is equal to zero.

{
  "ID": "24548047.0",
  "ASIL": "  QM",
  "Text": "Demanded Acceleration (in case of driving state is intermediate) - OBSOLETE because this state is already considered in other requirements\n\r \n\r \n\rIF [AND(1,2,3)]:\n\r1) input TVCPP_s_FlgLgtCtlAcv is TRUE\n\r2) input TVCEC_s_FlgPosnVld is TRUE\n\r3) input TVCPP_s_StDrvDir equals VMMP_TVCPP_c_StDrvDirInter\n\rTHEN: \n\rThe output TVCOP_s_LgtCtl_ADmd is equal to zero.",
  "Type": "Functional",
  "Status": "Obsolete",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Demanded Acceleration (in case of driving state is intermediate) - OBSOLETE because this state is already considered in other requirements\n\r \n\r \n\rIF [AND(1,2,3)]:\n\r1) input TVCPP_s_FlgLgtCtlAcv is TRUE\n\r2) input TVCEC_s_FlgPosnVld is TRUE\n\r3) input TVCPP_s_StDrvDir equals VMMP_TVCPP_c_StDrvDirInter\n\rTHEN: \n\rThe output TVCOP_s_LgtCtl_ADmd is equal to zero.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}