Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

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

Short description

{
  "ID": "16647269.0",
  "ASIL": "  QM",
  "Text": "Short description",
  "Type": "Folder",
  "Status": "",
  "Summary": "Short description",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1121625.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The module TVCEC transforms the actual vehicle position into the coordinate system provided by the trajectory. This is needed to calculate the projection onto the trajectory.

{
  "ID": "16647270.0",
  "ASIL": "  QM",
  "Text": "The module TVCEC transforms the actual vehicle position into the coordinate system provided by the trajectory. This is needed to calculate the projection onto the trajectory.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1121630.0",
  "Description": "The module TVCEC transforms the actual vehicle position into the coordinate system provided by the trajectory. This is needed to calculate the projection onto the trajectory.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Interface description

{
  "ID": "16647271.0",
  "ASIL": "  QM",
  "Text": "Interface description",
  "Type": "Folder",
  "Status": "",
  "Summary": "Interface description",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219918.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The signals and parameter files for the relevant SWRS are:

{
  "ID": "16647272.0",
  "ASIL": "  QM",
  "Text": "The signals and parameter files for the relevant SWRS are:",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1359062.0",
  "Description": "The signals and parameter files for the relevant SWRS are:",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter 

Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal

{
  "ID": "16647273.0",
  "ASIL": "  QM",
  "Text": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter \n\rMember/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1359064.0",
  "Description": "Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter \n\rMember/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The valid versions of the signal and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface description"

{
  "ID": "16647274.0",
  "ASIL": "  QM",
  "Text": "The valid versions of the signal and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 \"Interface description\"",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1359066.0",
  "Description": "The valid versions of the signal and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 \"Interface description\"",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The valid versions of the signal and parameter files for test basis to be find in CG, which to be tested

{
  "ID": "16647275.0",
  "ASIL": "  QM",
  "Text": "The valid versions of the signal and parameter files for test basis to be find in CG, which to be tested",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1359068.0",
  "Description": "The valid versions of the signal and parameter files for test basis to be find in CG, which to be tested",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Presetting/Framework/Definitions

{
  "ID": "16647276.0",
  "ASIL": "  QM",
  "Text": "Presetting/Framework/Definitions",
  "Type": "Folder",
  "Status": "",
  "Summary": "Presetting/Framework/Definitions",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219917.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Toolchain

{
  "ID": "16647277.0",
  "ASIL": "  QM",
  "Text": "Toolchain",
  "Type": "Folder",
  "Status": "",
  "Summary": "Toolchain",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219920.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.

{
  "ID": "16647278.0",
  "ASIL": "  QM",
  "Text": "The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219921.0",
  "Description": "The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.

{
  "ID": "16647279.0",
  "ASIL": "  QM",
  "Text": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219898.0",
  "Description": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Tolerances

{
  "ID": "16647280.0",
  "ASIL": "  QM",
  "Text": "Tolerances",
  "Type": "Folder",
  "Status": "",
  "Summary": "Tolerances",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219899.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

For the comparison of output signals to the expected reactions or by B2B tests (MiL-PiL) the following tolerances are accepted for deviations:

{
  "ID": "16647281.0",
  "ASIL": "  QM",
  "Text": "For the comparison of output signals to the expected reactions or by B2B tests (MiL-PiL) the following tolerances are accepted for deviations:",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219900.0",
  "Description": "For the comparison of output signals to the expected reactions or by B2B tests (MiL-PiL) the following tolerances are accepted for deviations:",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Bool: No deviation allowed

{
  "ID": "16647282.0",
  "ASIL": "  QM",
  "Text": "\n\r \n\r Bool: No deviation allowed",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219901.0",
  "Description": "\n\r \n\r Bool: No deviation allowed",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

UInt, Int: No deviation allowed

{
  "ID": "16647283.0",
  "ASIL": "  QM",
  "Text": "\n\r \n\r UInt, Int: No deviation allowed",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219902.0",
  "Description": "\n\r \n\r UInt, Int: No deviation allowed",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Float: 0.1% related to the permissible value range of the signal

{
  "ID": "16647284.0",
  "ASIL": "  QM",
  "Text": "\n\r \n\r Float: 0.1% related to the permissible value range of the signal",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219904.0",
  "Description": "\n\r \n\r Float: 0.1% related to the permissible value range of the signal",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.

{
  "ID": "16647285.0",
  "ASIL": "  QM",
  "Text": "It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219907.0",
  "Description": "It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Bit numbering

{
  "ID": "16647286.0",
  "ASIL": "  QM",
  "Text": "Bit numbering",
  "Type": "Folder",
  "Status": "",
  "Summary": "Bit numbering",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219909.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

The bit numbering takes place as zero-based numbering method. 

This means, 1 Byte is equal to Bit 0...7.

{
  "ID": "16647287.0",
  "ASIL": "  QM",
  "Text": "The bit numbering takes place as zero-based numbering method. \n\rThis means, 1 Byte is equal to Bit 0...7.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1219911.0",
  "Description": "The bit numbering takes place as zero-based numbering method. \n\rThis means, 1 Byte is equal to Bit 0...7.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

Conditions

{
  "ID": "16647288.0",
  "ASIL": "  QM",
  "Text": "Conditions",
  "Type": "Folder",
  "Status": "",
  "Summary": "Conditions",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1121628.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

FlgAcv 

Activation for all output calculations.

IF [OR(1,2)]: 

1) TVCPP_s_FlgLatCtlAcv is TRUE

2) TVCPP_s_FlgLgtCtlAcv is TRUE

THEN:

1) Precondition FlgAcv is TRUE.

ELSE:

1) Precondition FlgAcv is FALSE.

{
  "ID": "16647289.0",
  "ASIL": "  QM",
  "Text": "FlgAcv \n\rActivation for all output calculations.\n\rIF [OR(1,2)]: \n\r1) TVCPP_s_FlgLatCtlAcv is TRUE\n\r2) TVCPP_s_FlgLgtCtlAcv is TRUE\n\rTHEN:\n\r1) Precondition FlgAcv is TRUE.\n\rELSE:\n\r1) Precondition FlgAcv is FALSE.",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1220941.0",
  "Description": "FlgAcv \n\rActivation for all output calculations.\n\rIF [OR(1,2)]: \n\r1) TVCPP_s_FlgLatCtlAcv is TRUE\n\r2) TVCPP_s_FlgLgtCtlAcv is TRUE\n\rTHEN:\n\r1) Precondition FlgAcv is TRUE.\n\rELSE:\n\r1) Precondition FlgAcv is FALSE.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

HiAcu 

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

1) ARBLLCSC_s_TrjCtl_IdxReqIdCur == VMMP_c_IdxReqIdWBA

2) VSOEM_s_FlgEgoPosHiAcuAvl == TRUE

3) VMMP_TVCEC_p_FlgUseHiAcuVDSOPosn == TRUE

THEN 

1) LLocPosLgt = VSOEM_s_LLocPosLgtHiAcu

2) LLocPosLat = VSOEM_s_LLocPosLatHiAcu

3) AgLocPos = VSOEM_s_AgLocPosHiAcu

ELSE 

1) LLocPosLgt = VSOEM_s_LLocPosLgt

2) LLocPosLat = VSOEM_s_LLocPosLat

3) AgLocPos = VSOEM_s_AgLocPos

{
  "ID": "16647290.0",
  "ASIL": "  QM",
  "Text": "HiAcu \n\r \n\rIF [OR(AND(1,2),3)] \n\r1) ARBLLCSC_s_TrjCtl_IdxReqIdCur == VMMP_c_IdxReqIdWBA\n\r2) VSOEM_s_FlgEgoPosHiAcuAvl == TRUE\n\r3) VMMP_TVCEC_p_FlgUseHiAcuVDSOPosn == TRUE\n\rTHEN \n\r1) LLocPosLgt = VSOEM_s_LLocPosLgtHiAcu\n\r2) LLocPosLat = VSOEM_s_LLocPosLatHiAcu\n\r3) AgLocPos = VSOEM_s_AgLocPosHiAcu\n\r \n\rELSE \n\r1) LLocPosLgt = VSOEM_s_LLocPosLgt\n\r2) LLocPosLat = VSOEM_s_LLocPosLat\n\r3) AgLocPos = VSOEM_s_AgLocPos",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1321661.0",
  "Description": "HiAcu \n\r \n\rIF [OR(AND(1,2),3)] \n\r1) ARBLLCSC_s_TrjCtl_IdxReqIdCur == VMMP_c_IdxReqIdWBA\n\r2) VSOEM_s_FlgEgoPosHiAcuAvl == TRUE\n\r3) VMMP_TVCEC_p_FlgUseHiAcuVDSOPosn == TRUE\n\rTHEN \n\r1) LLocPosLgt = VSOEM_s_LLocPosLgtHiAcu\n\r2) LLocPosLat = VSOEM_s_LLocPosLatHiAcu\n\r3) AgLocPos = VSOEM_s_AgLocPosHiAcu\n\r \n\rELSE \n\r1) LLocPosLgt = VSOEM_s_LLocPosLgt\n\r2) LLocPosLat = VSOEM_s_LLocPosLat\n\r3) AgLocPos = VSOEM_s_AgLocPos",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LLgtLocRel 

The signal LLgtLocRel must be calculate as follow:

LLgtLocRel = cos(TVCPP_s_AgPosnBasVld) * (LLocPosLgt

(Precondition HiAcu) - TVCPP_s_LPosnBasLgtVld)*0.01 + sin(TVCPP_s_AgPosnBasVld) * (LLocPosLat

(Precondition HiAcu) - TVCPP_s_LPosnBasLatVld)*0.01.

{
  "ID": "16647291.0",
  "ASIL": "  QM",
  "Text": "LLgtLocRel \n\r \n\r\n\rThe signal LLgtLocRel must be calculate as follow:\n\rLLgtLocRel = cos(TVCPP_s_AgPosnBasVld) * (LLocPosLgt\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLgtVld)*0.01 + sin(TVCPP_s_AgPosnBasVld) * (LLocPosLat\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLatVld)*0.01.\n\r \n\r",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381556.0",
  "Description": "LLgtLocRel \n\r \n\r\n\rThe signal LLgtLocRel must be calculate as follow:\n\rLLgtLocRel = cos(TVCPP_s_AgPosnBasVld) * (LLocPosLgt\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLgtVld)*0.01 + sin(TVCPP_s_AgPosnBasVld) * (LLocPosLat\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLatVld)*0.01.\n\r \n\r",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

LLatLocRel 

The signal LLatLocRel must be calculate as follow:

LLatLocRel = cos(TVCPP_s_AgPosnBasVld) * (LLocPosLat

(Precondition HiAcu) - TVCPP_s_LPosnBasLatVld)*0.01 -

sin(TVCPP_s_AgPosnBasVld) * (LLocPosLgt

(Precondition HiAcu) - TVCPP_s_LPosnBasLgtVld)*0.01

{
  "ID": "16647292.0",
  "ASIL": "  QM",
  "Text": "LLatLocRel \n\r \n\r\n\rThe signal LLatLocRel must be calculate as follow:\n\rLLatLocRel = cos(TVCPP_s_AgPosnBasVld) * (LLocPosLat\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLatVld)*0.01 -\n\rsin(TVCPP_s_AgPosnBasVld) * (LLocPosLgt\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLgtVld)*0.01",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1381558.0",
  "Description": "LLatLocRel \n\r \n\r\n\rThe signal LLatLocRel must be calculate as follow:\n\rLLatLocRel = cos(TVCPP_s_AgPosnBasVld) * (LLocPosLat\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLatVld)*0.01 -\n\rsin(TVCPP_s_AgPosnBasVld) * (LLocPosLgt\n\r(Precondition HiAcu) - TVCPP_s_LPosnBasLgtVld)*0.01",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) VMMP_TVC_p_FlgExtdRngAgPosnYaw is true

THEN:

HalfRange = 2*pi

ELSE:

HalfRange = pi

{
  "ID": "55879408.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) VMMP_TVC_p_FlgExtdRngAgPosnYaw is true\n\rTHEN:\n\rHalfRange = 2*pi\n\rELSE:\n\rHalfRange = pi",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "HalfRange",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF [1]:\n\r1) VMMP_TVC_p_FlgExtdRngAgPosnYaw is true\n\rTHEN:\n\rHalfRange = 2*pi\n\rELSE:\n\rHalfRange = pi",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}

Requirements

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

IF [1]:

1) Precondition FlgAcv is TRUE

THEN: 

1) The output TVCEC_s_AgLocRel must be calculated by:

TVCEC_s_AgLocRel = AgLocPos (Precondition HiAcu) - TVCPP_s_AgPosnBasVld and limited to [-HalfRange; HalfRange]. Meaning that in case of the equation exceeding the range in positive or negative direction, an offset of 2*HalfRange is subtracted or added, respectively.

ELSE:

1) The output TVCEC_s_AgLocRel must be reset to its initial value.

{
  "ID": "16647294.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Precondition FlgAcv is TRUE\n\r \n\rTHEN: \n\r1) The output TVCEC_s_AgLocRel must be calculated by:\n\rTVCEC_s_AgLocRel = AgLocPos (Precondition HiAcu) - TVCPP_s_AgPosnBasVld and limited to [-HalfRange; HalfRange]. Meaning that in case of the equation exceeding the range in positive or negative direction, an offset of 2*HalfRange is subtracted or added, respectively.\n\r \n\rELSE:\n\r1) The output TVCEC_s_AgLocRel must be reset to its initial value.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "TVCEC_s_AgLocRel",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1123380.0",
  "Description": "IF [1]:\n\r1) Precondition FlgAcv is TRUE\n\r \n\rTHEN: \n\r1) The output TVCEC_s_AgLocRel must be calculated by:\n\rTVCEC_s_AgLocRel = AgLocPos (Precondition HiAcu) - TVCPP_s_AgPosnBasVld and limited to [-HalfRange; HalfRange]. Meaning that in case of the equation exceeding the range in positive or negative direction, an offset of 2*HalfRange is subtracted or added, respectively.\n\r \n\rELSE:\n\r1) The output TVCEC_s_AgLocRel must be reset to its initial value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) Precondition FlgAcv is TRUE

THEN: 

1) The output TVCEC_s_LLgtLocRel is the result of precondition LLgtLocRel, limited by [-1000, 1000].

ELSE:

1) The output TVCEC_s_LLgtLocRel must be reset to its initial value.

{
  "ID": "16647295.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Precondition FlgAcv is TRUE\n\rTHEN: \n\r1) The output TVCEC_s_LLgtLocRel is the result of precondition LLgtLocRel, limited by [-1000, 1000].\n\rELSE:\n\r1) The output TVCEC_s_LLgtLocRel must be reset to its initial value.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1220972.0",
  "Description": "IF [1]:\n\r1) Precondition FlgAcv is TRUE\n\rTHEN: \n\r1) The output TVCEC_s_LLgtLocRel is the result of precondition LLgtLocRel, limited by [-1000, 1000].\n\rELSE:\n\r1) The output TVCEC_s_LLgtLocRel must be reset to its initial value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

IF [1]:

1) Precondition FlgAcv is TRUE

THEN: 

1) The output TVCEC_s_LLatLocRel is the result of precondition LLatLocRel, limited by [-1000, 1000].

ELSE:

1) The output TVCEC_s_LLatLocRel must be reset to its initial value.

{
  "ID": "16647296.0",
  "ASIL": "  QM",
  "Text": "IF [1]:\n\r1) Precondition FlgAcv is TRUE\n\rTHEN: \n\r1) The output TVCEC_s_LLatLocRel is the result of precondition LLatLocRel, limited by [-1000, 1000].\n\rELSE:\n\r1) The output TVCEC_s_LLatLocRel must be reset to its initial value.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1220974.0",
  "Description": "IF [1]:\n\r1) Precondition FlgAcv is TRUE\n\rTHEN: \n\r1) The output TVCEC_s_LLatLocRel is the result of precondition LLatLocRel, limited by [-1000, 1000].\n\rELSE:\n\r1) The output TVCEC_s_LLatLocRel must be reset to its initial value.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}

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

1) Precondition FlgAcv is TRUE

2) input TVCPP_s_FlgTrjVld is TRUE

3) at least one value in the array TVCPP_s1_LPosnLgtVld [1:TVCPP_s_NumNodVld] is in range of

[LLgtLocRel (PreCondition) - VMMP_TVCEC_p_LPosnLgtChk ; LLgtLocRel (Pre Condition) + VMMP_TVCEC_p_LPosnLgtChk]

4) at least one value in the array TVCPP_s1_LPosnLatVld [1:TVCPP_s_NumNodVld] is in range of

[LLatLocRel (PreCondition) - VMMP_TVCEC_p_LPosnLatChk ; LLatLocRel (PreCondition) + VMMP_TVCEC_p_LPosnLatChk]

5) parameter VMMP_TVCEC_p_FlgOvrdPosnChk is TRUE

THEN:

1) The output TVCEC_s_FlgPosnVld must be TRUE.

ELSE:

1) The output TVCEC_s_FlgPosnVld must be FALSE.

{
  "ID": "16647297.0",
  "ASIL": "  QM",
  "Text": "IF [OR(AND(1,2,3,4),AND(1,2,5))]:\n\r1) Precondition FlgAcv is TRUE\n\r2) input TVCPP_s_FlgTrjVld is TRUE\n\r3) at least one value in the array TVCPP_s1_LPosnLgtVld [1:TVCPP_s_NumNodVld] is in range of\n\r[LLgtLocRel (PreCondition) - VMMP_TVCEC_p_LPosnLgtChk ; LLgtLocRel (Pre Condition) + VMMP_TVCEC_p_LPosnLgtChk]\n\r4) at least one value in the array TVCPP_s1_LPosnLatVld [1:TVCPP_s_NumNodVld] is in range of\n\r[LLatLocRel (PreCondition) - VMMP_TVCEC_p_LPosnLatChk ; LLatLocRel (PreCondition) + VMMP_TVCEC_p_LPosnLatChk]\n\r5) parameter VMMP_TVCEC_p_FlgOvrdPosnChk is TRUE\n\r \n\r \n\rTHEN:\n\r1) The output TVCEC_s_FlgPosnVld must be TRUE.\n\r \n\r \n\rELSE:\n\r1) The output TVCEC_s_FlgPosnVld must be FALSE.",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1221001.0",
  "Description": "IF [OR(AND(1,2,3,4),AND(1,2,5))]:\n\r1) Precondition FlgAcv is TRUE\n\r2) input TVCPP_s_FlgTrjVld is TRUE\n\r3) at least one value in the array TVCPP_s1_LPosnLgtVld [1:TVCPP_s_NumNodVld] is in range of\n\r[LLgtLocRel (PreCondition) - VMMP_TVCEC_p_LPosnLgtChk ; LLgtLocRel (Pre Condition) + VMMP_TVCEC_p_LPosnLgtChk]\n\r4) at least one value in the array TVCPP_s1_LPosnLatVld [1:TVCPP_s_NumNodVld] is in range of\n\r[LLatLocRel (PreCondition) - VMMP_TVCEC_p_LPosnLatChk ; LLatLocRel (PreCondition) + VMMP_TVCEC_p_LPosnLatChk]\n\r5) parameter VMMP_TVCEC_p_FlgOvrdPosnChk is TRUE\n\r \n\r \n\rTHEN:\n\r1) The output TVCEC_s_FlgPosnVld must be TRUE.\n\r \n\r \n\rELSE:\n\r1) The output TVCEC_s_FlgPosnVld must be FALSE.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}