Workspace workspace · PostgreSQLLocal only

Source files

Mapping profiles

TORINO grounded verification · testcase

VMMP conservative · requirement

Import history

FileKindRowsChecksum
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCVL.xlsxrequirement61555d9d540583
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCVC.xlsxrequirement8498c7ce041333
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCTPP.xlsxrequirement391268034786d3
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCTOP.xlsxrequirement25399c77c0a4359
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCSGC.xlsxrequirement3525ce00146c017
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCDL.xlsxrequirement14266d83c447c0e
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCDC.xlsxrequirement237c2efa2f97fbf
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAP.xlsxrequirement146c49f79b5b921
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAFFC.xlsxrequirement108e9961e26d4d7
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAFBC.xlsxrequirement121d6d16c2599b6
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCADSL.xlsxrequirement50321b25fb7eb5
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCADF.xlsxrequirement25869f96f7e0555
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAD.xlsxrequirement202f37aa0201af4
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCACS.xlsxrequirement56ecc792c45f84
VME-PROD-VehicleMotionManagement - VMMP_LOC_LOCAA.xlsxrequirement28253029dd436d9
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACTD.xlsxrequirement1622ca8ea8cdba
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACOP.xlsxrequirement73f40a3f3eb731
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACI.xlsxrequirement3232843cc5b88f
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACGC.xlsxrequirement67b43b811ef332
VME-PROD-VehicleMotionManagement - VMMP_LAC_LACDCO.xlsxrequirement22bdc37323e405

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

RowIDTypeStatusRelevantCandidateReasonNormalized text
216648199.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Short description
Short description

Raw

{
  "ID": "16648199.0",
  "ASIL": "  QM",
  "Text": "Short description",
  "Type": "Folder",
  "Status": "",
  "Summary": "Short description",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1090014.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
316648200.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The model TVCTP (Target Value Calculator Trajectory Projection) is part of the sub-function TVC. Within the model "TVCTP" the Ego
The model TVCTP (Target Value Calculator Trajectory Projection) is part of the sub-function TVC.

Within the model "TVCTP" the Ego-position of vehicle should be projected at a valid target trajectory point.

Raw

{
  "ID": "16648200.0",
  "ASIL": "  QM",
  "Text": "The model TVCTP (Target Value Calculator Trajectory Projection) is part of the sub-function TVC.\n\rWithin the model \"TVCTP\" the Ego-position of vehicle should be projected at a valid target trajectory point.",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1090019.0",
  "Description": "The model TVCTP (Target Value Calculator Trajectory Projection) is part of the sub-function TVC.\n\rWithin the model \"TVCTP\" the Ego-position of vehicle should be projected at a valid target trajectory point.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
416648201.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Interface description
Interface description

Raw

{
  "ID": "16648201.0",
  "ASIL": "  QM",
  "Text": "Interface description",
  "Type": "Folder",
  "Status": "",
  "Summary": "Interface description",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1264112.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
516648202.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The signals and parameter files for the relevant SWRS are:
The signals and parameter files for the relevant SWRS are:

Raw

{
  "ID": "16648202.0",
  "ASIL": "  QM",
  "Text": "The signals and parameter files for the relevant SWRS are:",
  "Type": "Information",
  "Status": "",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1359078.0",
  "Description": "The signals and parameter files for the relevant SWRS are:",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
616648203.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.signal
Member/SWC_VMMP/01_PROD/30_CG/DevTools/Spec/VMMP/VMMP.parameter 

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

Raw

{
  "ID": "16648203.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": "1359080.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"
}
716648204.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The valid versions of the signal and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface descripti
The valid versions of the signal and parameter files to be find in SWRS SWC_VMMP (SWRS_Id 1078981): Chapter 2 "Interface description"

Raw

{
  "ID": "16648204.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": "1359082.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"
}
816648205.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The valid versions of the signal and parameter files for test basis to be find in CG, which to be tested
The valid versions of the signal and parameter files for test basis to be find in CG, which to be tested

Raw

{
  "ID": "16648205.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": "1359084.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"
}
916648206.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Presetting/Framework/Definitions
Presetting/Framework/Definitions

Raw

{
  "ID": "16648206.0",
  "ASIL": "  QM",
  "Text": "Presetting/Framework/Definitions",
  "Type": "Folder",
  "Status": "",
  "Summary": "Presetting/Framework/Definitions",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1264111.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
1016648207.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Toolchain
Toolchain

Raw

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

Raw

{
  "ID": "16648208.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": "1264115.0",
  "Description": "The Matlab/Simulink/TargetLink versions have to be used according to the HCP1-Toolchain.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
1216648209.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.
For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.

Raw

{
  "ID": "16648209.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": "1264098.0",
  "Description": "For modeling in Simulink the valid EnProVe catalogue of guidelines has to be used.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
1316648210.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Tolerances
Tolerances

Raw

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

Raw

{
  "ID": "16648211.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": "1264100.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"
}
1516648212.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
Bool: No deviation allowed
Bool: No deviation allowed

Raw

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

Raw

{
  "ID": "16648213.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": "1264102.0",
  "Description": "\n\r \n\r UInt, Int: No deviation allowed",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
1716648214.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
Float: 0.1% related to the permissible value range of the signal
Float: 0.1% related to the permissible value range of the signal

Raw

{
  "ID": "16648214.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": "1264103.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"
}
1816648215.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.
It must be ensured that an output reaction occurs due to an event at the input within the same calculation step.

Raw

{
  "ID": "16648215.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": "1264104.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"
}
1916648216.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Bit numbering
Bit numbering

Raw

{
  "ID": "16648216.0",
  "ASIL": "  QM",
  "Text": "Bit numbering",
  "Type": "Folder",
  "Status": "",
  "Summary": "Bit numbering",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1264105.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2016648217.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
The bit numbering takes place as zero-based numbering method. This means, 1 Byte is equal to Bit 0...7.
The bit numbering takes place as zero-based numbering method. 

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

Raw

{
  "ID": "16648217.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": "1264106.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"
}
2116648218.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
The array indexing uses zero-based indexing. The first element of an array s1_Array is selected with s1_Array[0]. The 20th eleme
The array indexing uses zero-based indexing.

The first element of an array s1_Array is selected with s1_Array[0].

The 20th element of an array s1_Array is selected with s1_Array[19].

Raw

{
  "ID": "16648218.0",
  "ASIL": "  QM",
  "Text": "The array indexing uses zero-based indexing.\n\rThe first element of an array s1_Array is selected with s1_Array[0].\n\rThe 20th element of an array s1_Array is selected with s1_Array[19].",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1513257.0",
  "Description": "The array indexing uses zero-based indexing.\n\rThe first element of an array s1_Array is selected with s1_Array[0].\n\rThe 20th element of an array s1_Array is selected with s1_Array[19].",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2218063907.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Out-Of-Range Testing
Out-Of-Range Testing

Raw

{
  "ID": "18063907.0",
  "ASIL": "  ",
  "Text": "Out-Of-Range Testing",
  "Type": "Folder",
  "Status": "",
  "Summary": "Out-Of-Range Testing",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
2318064016.0Non-functionalObsoletenoFalsetype_not_target, status_filtered, relevance_filtered
The tester may test the signals with a range that is ouside the defined range in SPE.
The tester may test the signals with a range that is ouside the defined range in SPE.

Raw

{
  "ID": "18064016.0",
  "ASIL": "  ",
  "Text": "The tester may test the signals with a range that is ouside the defined range in SPE.",
  "Type": "Non-functional",
  "Status": "Obsolete",
  "Summary": "Out-Of-Range Testing",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "The tester may test the signals with a range that is ouside the defined range in SPE.",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
2416648219.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Conditions
Conditions

Raw

{
  "ID": "16648219.0",
  "ASIL": "  QM",
  "Text": "Conditions",
  "Type": "Folder",
  "Status": "",
  "Summary": "Conditions",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1090017.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2516648220.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Preconditions
Preconditions

Raw

{
  "ID": "16648220.0",
  "ASIL": "  QM",
  "Text": "Preconditions",
  "Type": "Folder",
  "Status": "",
  "Summary": "Preconditions",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1091505.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2616648221.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
ValidTrajectory IF AND [1, 2, 3, 4] 1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27,
ValidTrajectory

IF AND [1, 2, 3, 4]

1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]

2) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]

3) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]

4) Input TVCPP_s_NumNodVld is 20

THEN

pre condition ValidTrajectory is true

ELSE

pre condition ValidTrajectory is false

Raw

{
  "ID": "16648221.0",
  "ASIL": "  QM",
  "Text": "ValidTrajectory\n\r \n\r \n\rIF AND [1, 2, 3, 4]\n\r1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r3) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r \n\rTHEN\n\rpre condition ValidTrajectory is true\n\r \n\rELSE\n\rpre condition ValidTrajectory is false",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1091509.0",
  "Description": "ValidTrajectory\n\r \n\r \n\rIF AND [1, 2, 3, 4]\n\r1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r3) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r \n\rTHEN\n\rpre condition ValidTrajectory is true\n\r \n\rELSE\n\rpre condition ValidTrajectory is false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2726497042.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
ValidTrajectory IF AND [1, 2, 3, 4, 5] 1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25,
ValidTrajectory

IF AND [1, 2, 3, 4, 5]

1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]

2) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]

3) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]

4) Input TVCPP_s_NumNodVld is 20

5) Input 

TVCPP_s_FlgTrjNew is true

THEN

pre condition ValidTrajectory is true

ELSE

pre condition ValidTrajectory is false

Raw

{
  "ID": "26497042.0",
  "ASIL": "  QM",
  "Text": "ValidTrajectory\n\r \n\r \n\rIF AND [1, 2, 3, 4, 5]\n\r1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r3) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r5) Input \n\rTVCPP_s_FlgTrjNew is true\n\r \n\rTHEN\n\rpre condition ValidTrajectory is true\n\r \n\rELSE\n\rpre condition ValidTrajectory is false",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "ValidTrajectory\n\r \n\r \n\rIF AND [1, 2, 3, 4, 5]\n\r1) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r3) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r5) Input \n\rTVCPP_s_FlgTrjNew is true\n\r \n\rTHEN\n\rpre condition ValidTrajectory is true\n\r \n\rELSE\n\rpre condition ValidTrajectory is false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2816648222.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
U-turn IF AND [1,2,3,4] 1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -
U-turn

IF AND [1,2,3,4]

1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10]

2) Input TVCPP_s1_LPosnLatVld is [0, -0.27, -1.07, -2.29, -3.80, -5.45, -7.04, -8.41, -9.41, -9.93, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10]

3) Input TVCPP_s1_DTrckVld is [0, 1.65, 3.31, 4.96, 6.61, 8.27, 9.92, 11.57, 13.23, 14.88, 16.7, 17.7, 18.7, 19.7, 20.7, 21.7, 22.7, 23.7, 24.7, 25.7]

4) Input TVCPP_s_NumNodVld is 20

THEN

pre condition U-turn is true

ELSE

pre condition U-turn is false

Raw

{
  "ID": "16648222.0",
  "ASIL": "  QM",
  "Text": "U-turn\n\r \n\rIF AND [1,2,3,4]\n\r1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, -0.27, -1.07, -2.29, -3.80, -5.45, -7.04, -8.41, -9.41, -9.93, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10]\n\r3) Input TVCPP_s1_DTrckVld is [0, 1.65, 3.31, 4.96, 6.61, 8.27, 9.92, 11.57, 13.23, 14.88, 16.7, 17.7, 18.7, 19.7, 20.7, 21.7, 22.7, 23.7, 24.7, 25.7]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r \n\rTHEN\n\rpre condition U-turn is true\n\r \n\rELSE\n\rpre condition U-turn is false",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1457198.0",
  "Description": "U-turn\n\r \n\rIF AND [1,2,3,4]\n\r1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, -0.27, -1.07, -2.29, -3.80, -5.45, -7.04, -8.41, -9.41, -9.93, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10]\n\r3) Input TVCPP_s1_DTrckVld is [0, 1.65, 3.31, 4.96, 6.61, 8.27, 9.92, 11.57, 13.23, 14.88, 16.7, 17.7, 18.7, 19.7, 20.7, 21.7, 22.7, 23.7, 24.7, 25.7]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r \n\rTHEN\n\rpre condition U-turn is true\n\r \n\rELSE\n\rpre condition U-turn is false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
2926497067.0Pre ConditionReleasednoFalsetype_not_target, relevance_filtered
U-turn IF AND [1,2,3,4,5] 1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3,
U-turn

IF AND [1,2,3,4,5]

1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10]

2) Input TVCPP_s1_LPosnLatVld is [0, -0.27, -1.07, -2.29, -3.80, -5.45, -7.04, -8.41, -9.41, -9.93, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10]

3) Input TVCPP_s1_DTrckVld is [0, 1.65, 3.31, 4.96, 6.61, 8.27, 9.92, 11.57, 13.23, 14.88, 16.7, 17.7, 18.7, 19.7, 20.7, 21.7, 22.7, 23.7, 24.7, 25.7]

4) Input TVCPP_s_NumNodVld is 20

5) Input 

TVCPP_s_FlgTrjNew is true

THEN

pre condition U-turn is true

ELSE

pre condition U-turn is false

Raw

{
  "ID": "26497067.0",
  "ASIL": "  QM",
  "Text": "U-turn\n\r \n\rIF AND [1,2,3,4,5]\n\r1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, -0.27, -1.07, -2.29, -3.80, -5.45, -7.04, -8.41, -9.41, -9.93, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10]\n\r3) Input TVCPP_s1_DTrckVld is [0, 1.65, 3.31, 4.96, 6.61, 8.27, 9.92, 11.57, 13.23, 14.88, 16.7, 17.7, 18.7, 19.7, 20.7, 21.7, 22.7, 23.7, 24.7, 25.7]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r5) Input \n\rTVCPP_s_FlgTrjNew is true\n\r \n\rTHEN\n\rpre condition U-turn is true\n\r \n\rELSE\n\rpre condition U-turn is false",
  "Type": "Pre Condition",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "U-turn\n\r \n\rIF AND [1,2,3,4,5]\n\r1) Input TVCPP_s1_LPosnLgtVld is [0, 1.62, 3.07, 4.19, 4.81, 4.93, 4.51, 3.59, 2.28, 0.72, -1, -2, -3, -4, -5, -6, -7, -8, -9, -10]\n\r2) Input TVCPP_s1_LPosnLatVld is [0, -0.27, -1.07, -2.29, -3.80, -5.45, -7.04, -8.41, -9.41, -9.93, -10, -10, -10, -10, -10, -10, -10, -10, -10, -10]\n\r3) Input TVCPP_s1_DTrckVld is [0, 1.65, 3.31, 4.96, 6.61, 8.27, 9.92, 11.57, 13.23, 14.88, 16.7, 17.7, 18.7, 19.7, 20.7, 21.7, 22.7, 23.7, 24.7, 25.7]\n\r4) Input TVCPP_s_NumNodVld is 20\n\r5) Input \n\rTVCPP_s_FlgTrjNew is true\n\r \n\rTHEN\n\rpre condition U-turn is true\n\r \n\rELSE\n\rpre condition U-turn is false",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3016648223.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Requirements
Requirements

Raw

{
  "ID": "16648223.0",
  "ASIL": "  QM",
  "Text": "Requirements",
  "Type": "Folder",
  "Status": "",
  "Summary": "Requirements",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1090018.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3116648224.0Non-functionalReleasednoFalsetype_not_target, relevance_filtered
Information for tester: Test should be performed with values out of SPE range of TVCPP_s_NumNodVld.
Information for tester:

Test should be performed with values out of SPE range of TVCPP_s_NumNodVld.

Raw

{
  "ID": "16648224.0",
  "ASIL": "  QM",
  "Text": "Information for tester:\n\rTest should be performed with values out of SPE range of TVCPP_s_NumNodVld.",
  "Type": "Non-functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1426373.0",
  "Description": "Information for tester:\n\rTest should be performed with values out of SPE range of TVCPP_s_NumNodVld.",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3216648225.0FunctionalReleasedyesTrue
TVCTP_s_RatEgoTrjPrj must be in the range [0...1] (zero is included, one is included).
TVCTP_s_RatEgoTrjPrj must be in the range [0...1] (zero is included, one is included).

Raw

{
  "ID": "16648225.0",
  "ASIL": "  QM",
  "Text": "TVCTP_s_RatEgoTrjPrj must be in the range [0...1] (zero is included, one is included).",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1091627.0",
  "Description": "TVCTP_s_RatEgoTrjPrj must be in the range [0...1] (zero is included, one is included).",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3316648226.0FunctionalReleasedyesTrue
TVCTP_s_NumPrjTrjNod must always be in the range defined by upper bound: max(TVCPP_s_NumNodVld-1, 1) lower bound: 1 (bounds inc
TVCTP_s_NumPrjTrjNod must always be in the range defined by

upper bound: max(TVCPP_s_NumNodVld-1, 1)

lower bound: 1

(bounds included in allowable range)

Raw

{
  "ID": "16648226.0",
  "ASIL": "  QM",
  "Text": "TVCTP_s_NumPrjTrjNod must always be in the range defined by\n\rupper bound: max(TVCPP_s_NumNodVld-1, 1)\n\rlower bound: 1\n\r(bounds included in allowable range)",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1091631.0",
  "Description": "TVCTP_s_NumPrjTrjNod must always be in the range defined by\n\rupper bound: max(TVCPP_s_NumNodVld-1, 1)\n\rlower bound: 1\n\r(bounds included in allowable range)",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3416648227.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Projection to the edges
Projection to the edges

Raw

{
  "ID": "16648227.0",
  "ASIL": "  QM",
  "Text": "Projection to the edges",
  "Type": "Folder",
  "Status": "",
  "Summary": "Projection to the edges",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1123478.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3516648228.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Vehicle at set position
Vehicle at set position

Raw

{
  "ID": "16648228.0",
  "ASIL": "  QM",
  "Text": "Vehicle at set position",
  "Type": "Folder",
  "Status": "",
  "Summary": "Vehicle at set position",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1091622.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3616648229.0FunctionalReleasedyesTrue
IF: AND[1,2,3] 1) Input Precondition (ValidTrajectory) 2) TVCEC_s_FlgPosnVld = TRUE 3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtV
IF: AND[1,2,3] 

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18] 

THEN:

2) Output TVCTP_s_DLatDe = (-1) * TVCEC_s_LLatLocRel but limited to the range of [-10...10]

ELSIF: 1

1) TVCEC_s_FlgPosnVld = FALSE

THEN:

1) Output TVCTP_s_DLatDe = 0

Raw

{
  "ID": "16648229.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18] \n\rTHEN:\n\r2) Output TVCTP_s_DLatDe = (-1) * TVCEC_s_LLatLocRel but limited to the range of [-10...10]\n\r \n\r\n\rELSIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\r1) Output TVCTP_s_DLatDe = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1090035.0",
  "Description": "IF: AND[1,2,3] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18] \n\rTHEN:\n\r2) Output TVCTP_s_DLatDe = (-1) * TVCEC_s_LLatLocRel but limited to the range of [-10...10]\n\r \n\r\n\rELSIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\r1) Output TVCTP_s_DLatDe = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3732102192.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
Last node and edge must be omitted (condition 3: TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]), as the lateral part of the last n
Last node and edge must be omitted (condition 3: TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]), as the lateral part of the last node (see precondition: valid trajectroy) is not zero (lateral deviation depends then also on longitudinal position).

Raw

{
  "ID": "32102192.0",
  "ASIL": "  ",
  "Text": "Last node and edge must be omitted (condition 3: TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]), as the lateral part of the last node (see precondition: valid trajectroy) is not zero (lateral deviation depends then also on longitudinal position).",
  "Type": "Information",
  "Status": "",
  "Summary": "Hint to previous requirement",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "Last node and edge must be omitted (condition 3: TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]), as the lateral part of the last node (see precondition: valid trajectroy) is not zero (lateral deviation depends then also on longitudinal position).",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
3816648230.0FunctionalReleasedyesTrue
IF: AND[1,2,3,4] 1) Input Precondition (ValidTrajectory) 2) TVCEC_s_FlgPosnVld = TRUE 3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLg
IF: AND[1,2,3,4] 

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[1]

4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn

THEN:

Output TVCTP_s_NumPrjTrjNod = 1

ELSEIF: AND[1,2,3,4]

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[18]

4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn

THEN:

Output TVCTP_s_NumPrjTrjNod = 19

ELSEIF: AND [1,2,3,4]

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCPP_s1_LPosnLgtVld[1] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]

4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn

THEN:

Output TVCTP_s_NumPrjTrjNod is between 2 and 18

ELSIF: 1

1) TVCEC_s_FlgPosnVld = FALSE

THEN:

Output TVCTP_s_NumPrjTrjNod = 1

Raw

{
  "ID": "16648230.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3,4] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[1]\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 1\n\rELSEIF: AND[1,2,3,4]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[18]\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 19\n\rELSEIF: AND [1,2,3,4]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCPP_s1_LPosnLgtVld[1] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod is between 2 and 18\n\rELSIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 1",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1091624.0",
  "Description": "IF: AND[1,2,3,4] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[1]\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 1\n\rELSEIF: AND[1,2,3,4]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[18]\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 19\n\rELSEIF: AND [1,2,3,4]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCPP_s1_LPosnLgtVld[1] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[18]\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod is between 2 and 18\n\rELSIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
3932104100.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The 4th condition above 4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn) is necessary to not trigger the u-turn case lo
The 4th condition above

4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn)

is necessary to not trigger the u-turn case logic!

Raw

{
  "ID": "32104100.0",
  "ASIL": "  ",
  "Text": "The 4th condition above\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn)\n\ris necessary to not trigger the u-turn case logic!",
  "Type": "Information",
  "Status": "",
  "Summary": "Hint to previous requirement",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "The 4th condition above\n\r4) abs(TVCEC_s_LLatLocRel) < VMMP_TVCTP_p_DLatDeMaxUturn)\n\ris necessary to not trigger the u-turn case logic!",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
4016648231.0FunctionalReleasedyesTrue
IF: AND[1,2,3] 1) Input Precondition (ValidTrajectory) 2) TVCEC_s_FlgPosnVld = TRUE 3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtV
IF: AND[1,2,3] 

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[0]

THEN:

Output

TVCTP_s_RatEgoTrjPrj

= 0

ELSEIF: AND[1,2,3]

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[19]

THEN:

Output TVCTP_s_RatEgoTrjPrj = 1

ELSEIF: AND [1,2,3]

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCPP_s1_LPosnLgtVld[0] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[19]

THEN:

Output TVCTP_s_RatEgoTrjPrj is between 0 and 1

ELSEIF: 1

1) TVCEC_s_FlgPosnVld = FALSE

THEN:

Output TVCTP_s_RatEgoTrjPrj = 0

Raw

{
  "ID": "16648231.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[0]\n\rTHEN:\n\rOutput\n\rTVCTP_s_RatEgoTrjPrj\n\r= 0\n\rELSEIF: AND[1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj = 1\n\rELSEIF: AND [1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCPP_s1_LPosnLgtVld[0] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj is between 0 and 1\n\rELSEIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1091635.0",
  "Description": "IF: AND[1,2,3] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[0]\n\rTHEN:\n\rOutput\n\rTVCTP_s_RatEgoTrjPrj\n\r= 0\n\rELSEIF: AND[1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj = 1\n\rELSEIF: AND [1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCPP_s1_LPosnLgtVld[0] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj is between 0 and 1\n\rELSEIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4116648232.0FunctionalReleasedyesTrue
IF: AND[1,2,3] 1) Input Precondition (ValidTrajectory) 2) TVCEC_s_FlgPosnVld = TRUE 3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtV
IF: AND[1,2,3] 

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[0]

THEN:

Output

TVCTP_s_DLgtPrj

< 0

ELSEIF: AND[1,2,3]

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[19]

THEN:

Output TVCTP_s_DLgtPrj >= TVCPP_s1_DTrckVld[19]

ELSEIF: AND [1,2,3]

1) Input Precondition (ValidTrajectory)

2) TVCEC_s_FlgPosnVld = TRUE

3) TVCPP_s1_LPosnLgtVld[0] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[19]

THEN:

Output TVCTP_s_DLgtPrj is between TVCPP_s1_DTrckVld[0] and TVCPP_s1_DTrckVld[19]

ELSEIF: 1

1) TVCEC_s_FlgPosnVld = FALSE

THEN:

Output TVCTP_s_DLgtPrj = 0

Raw

{
  "ID": "16648232.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[0]\n\rTHEN:\n\rOutput\n\rTVCTP_s_DLgtPrj\n\r< 0\n\rELSEIF: AND[1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj >= TVCPP_s1_DTrckVld[19]\n\rELSEIF: AND [1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCPP_s1_LPosnLgtVld[0] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj is between TVCPP_s1_DTrckVld[0] and TVCPP_s1_DTrckVld[19]\n\rELSEIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1513274.0",
  "Description": "IF: AND[1,2,3] \n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[0]\n\rTHEN:\n\rOutput\n\rTVCTP_s_DLgtPrj\n\r< 0\n\rELSEIF: AND[1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCEC_s_LLgtLocRel >= TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj >= TVCPP_s1_DTrckVld[19]\n\rELSEIF: AND [1,2,3]\n\r1) Input Precondition (ValidTrajectory)\n\r2) TVCEC_s_FlgPosnVld = TRUE\n\r3) TVCPP_s1_LPosnLgtVld[0] <= TVCEC_s_LLgtLocRel < TVCPP_s1_LPosnLgtVld[19]\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj is between TVCPP_s1_DTrckVld[0] and TVCPP_s1_DTrckVld[19]\n\rELSEIF: 1\n\r1) TVCEC_s_FlgPosnVld = FALSE\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4216648233.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Vehicle with lateral deviation with respect to set position
Vehicle with lateral deviation with respect to set position

Raw

{
  "ID": "16648233.0",
  "ASIL": "  QM",
  "Text": "Vehicle with lateral deviation with respect to set position",
  "Type": "Folder",
  "Status": "",
  "Summary": "Vehicle with lateral deviation with respect to set position",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1091633.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4316648237.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Vehicle with longitudinal deviation with respect to set position
Vehicle with longitudinal deviation with respect to set position

Raw

{
  "ID": "16648237.0",
  "ASIL": "  QM",
  "Text": "Vehicle with longitudinal deviation with respect to set position",
  "Type": "Folder",
  "Status": "",
  "Summary": "Vehicle with longitudinal deviation with respect to set position",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1091639.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4416648241.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Projection to the point
Projection to the point

Raw

{
  "ID": "16648241.0",
  "ASIL": "  QM",
  "Text": "Projection to the point",
  "Type": "Folder",
  "Status": "",
  "Summary": "Projection to the point",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1123482.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4516648242.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Vehicle with lateral deviation with respect to set position
Vehicle with lateral deviation with respect to set position

Raw

{
  "ID": "16648242.0",
  "ASIL": "  QM",
  "Text": "Vehicle with lateral deviation with respect to set position",
  "Type": "Folder",
  "Status": "",
  "Summary": "Vehicle with lateral deviation with respect to set position",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1123696.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4616648249.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Vehicle with longitudinal deviation with respect to set position
Vehicle with longitudinal deviation with respect to set position

Raw

{
  "ID": "16648249.0",
  "ASIL": "  QM",
  "Text": "Vehicle with longitudinal deviation with respect to set position",
  "Type": "Folder",
  "Status": "",
  "Summary": "Vehicle with longitudinal deviation with respect to set position",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1123738.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4716648256.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
U-Turn
U-Turn

Raw

{
  "ID": "16648256.0",
  "ASIL": "  QM",
  "Text": "U-Turn",
  "Type": "Folder",
  "Status": "",
  "Summary": "U-Turn",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "1457220.0",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4816648257.0FunctionalReleasedyesTrue
IF: AND[1,2,3,4] 1) Input Precondition (U-turn) 2) TVCEC_s_LLatLocRel = 0 3) TVCEC_s_LLgtLocRel in range [-0.1 .... 0.0] 4) T
IF: AND[1,2,3,4] 

1) Input Precondition (U-turn)

2) TVCEC_s_LLatLocRel = 0

3) TVCEC_s_LLgtLocRel in range [-0.1 .... 0.0]

4) TVCEC_s_FlgPosnVld = TRUE

THEN:

Output TVCTP_s_DLatDe in range [-0.05 ... 0.05]

Raw

{
  "ID": "16648257.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel in range [-0.1 .... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_DLatDe in range [-0.05 ... 0.05]",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1457222.0",
  "Description": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel in range [-0.1 .... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_DLatDe in range [-0.05 ... 0.05]",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
4916648258.0FunctionalReleasedyesTrue
IF: AND[1,2,3,4] 1) Input Precondition (U-turn) 2) TVCEC_s_LLatLocRel = 0 3) TVCEC_s_LLgtLocRel in range [-0.1 ... 0.0] 4) TV
IF: AND[1,2,3,4] 

1) Input Precondition (U-turn)

2) TVCEC_s_LLatLocRel = 0

3) TVCEC_s_LLgtLocRel in range [-0.1 ... 0.0]

4) TVCEC_s_FlgPosnVld = TRUE

THEN:

Output TVCTP_s_DLgtPrj <= 0

Raw

{
  "ID": "16648258.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel in range [-0.1 ... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj <= 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1457226.0",
  "Description": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel in range [-0.1 ... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_DLgtPrj <= 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
5016648259.0FunctionalReleasedyesTrue
IF: AND[1,2,3,4] 1) Input Precondition (U-turn) 2) TVCEC_s_LLatLocRel = 0 3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0] 4) TVCEC_s_F
IF: AND[1,2,3,4] 

1) Input Precondition (U-turn)

2) TVCEC_s_LLatLocRel = 0

3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0]

4) TVCEC_s_FlgPosnVld = TRUE

THEN:

Output TVCTP_s_NumPrjTrjNod = 1

Raw

{
  "ID": "16648259.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 1",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1457228.0",
  "Description": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 1",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
5116648260.0FunctionalReleasedyesTrue
IF: AND[1,2,3,4] 1) Input Precondition (U-turn) 2) TVCEC_s_LLatLocRel = 0 3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0] 4) TVCEC_s_F
IF: AND[1,2,3,4] 

1) Input Precondition (U-turn)

2) TVCEC_s_LLatLocRel = 0

3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0]

4) TVCEC_s_FlgPosnVld = TRUE

THEN:

Output TVCTP_s_RatEgoTrjPrj = 0

Raw

{
  "ID": "16648260.0",
  "ASIL": "  QM",
  "Text": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj = 0",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "1457230.0",
  "Description": "IF: AND[1,2,3,4] \n\r1) Input Precondition (U-turn)\n\r2) TVCEC_s_LLatLocRel = 0\n\r3) TVCEC_s_LLgtLocRel = [-0.1 ... 0.0]\n\r4) TVCEC_s_FlgPosnVld = TRUE\n\rTHEN:\n\rOutput TVCTP_s_RatEgoTrjPrj = 0",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
5226388931.0FoldernoFalsetype_not_target, status_filtered, relevance_filtered
Unchanged trajectory
Unchanged trajectory

Raw

{
  "ID": "26388931.0",
  "ASIL": "  ",
  "Text": "Unchanged trajectory",
  "Type": "Folder",
  "Status": "",
  "Summary": "Unchanged trajectory",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
5328623717.0InformationnoFalsetype_not_target, status_filtered, relevance_filtered
The next requirement defines the following scenario: in first step the vehicle is projected on the trajectory on the node number
The next requirement defines the following scenario:

in first step the vehicle is projected on the trajectory on the node number 7

in the next step the trajecotry is not actualized, but the vehicle position is changing to one of previous nodes on the trajectory

the necessary behaviour is that the projected node will not change (and equals 7)

This logic was implemented for a specific case of "U-Turn" trajectory, where it is possible that the previous part of the trajectory will be "closer" to the vehicle as the actual part of the trajectory.

Raw

{
  "ID": "28623717.0",
  "ASIL": "  ",
  "Text": "The next requirement defines the following scenario:\n\rin first step the vehicle is projected on the trajectory on the node number 7\n\rin the next step the trajecotry is not actualized, but the vehicle position is changing to one of previous nodes on the trajectory\n\rthe necessary behaviour is that the projected node will not change (and equals 7)\n\r \n\rThis logic was implemented for a specific case of \"U-Turn\" trajectory, where it is possible that the previous part of the trajectory will be \"closer\" to the vehicle as the actual part of the trajectory.",
  "Type": "Information",
  "Status": "",
  "Summary": "Information for tester",
  "Relevant": "no",
  "column_12": "",
  "Foreign ID": "",
  "Description": "The next requirement defines the following scenario:\n\rin first step the vehicle is projected on the trajectory on the node number 7\n\rin the next step the trajecotry is not actualized, but the vehicle position is changing to one of previous nodes on the trajectory\n\rthe necessary behaviour is that the projected node will not change (and equals 7)\n\r \n\rThis logic was implemented for a specific case of \"U-Turn\" trajectory, where it is possible that the previous part of the trajectory will be \"closer\" to the vehicle as the actual part of the trajectory.",
  "Vehicle Launch": "",
  "Vehicle Platform": ""
}
5426389905.0FunctionalReleasedyesTrue
IF: AND [1, 2, 3, 4, 5, 6, 7] 1) Input TVCEC_s_FlgPosnVld is TRUE 2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 1
IF: AND [1, 2, 3, 4, 5, 6, 7]

1) Input TVCEC_s_FlgPosnVld is TRUE

2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]

3) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]

4) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]

5) Input TVCPP_s_NumNodVld is 20

6) Input TVCPP_s_FlgTrjNew is changed from TRUE in previous calculation step to FALSE in current calculation step

7) Input TVCEC_s_LLgtLocRel is changed from 10 in previous calculation step to 0 in current calculation step

THEN:

Output TVCTP_s_NumPrjTrjNod = 7

Raw

{
  "ID": "26389905.0",
  "ASIL": "  QM",
  "Text": "IF: AND [1, 2, 3, 4, 5, 6, 7]\n\r1) Input TVCEC_s_FlgPosnVld is TRUE\n\r2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r3) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r4) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r5) Input TVCPP_s_NumNodVld is 20\n\r6) Input TVCPP_s_FlgTrjNew is changed from TRUE in previous calculation step to FALSE in current calculation step\n\r7) Input TVCEC_s_LLgtLocRel is changed from 10 in previous calculation step to 0 in current calculation step\n\r \n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 7",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF: AND [1, 2, 3, 4, 5, 6, 7]\n\r1) Input TVCEC_s_FlgPosnVld is TRUE\n\r2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r3) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r4) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r5) Input TVCPP_s_NumNodVld is 20\n\r6) Input TVCPP_s_FlgTrjNew is changed from TRUE in previous calculation step to FALSE in current calculation step\n\r7) Input TVCEC_s_LLgtLocRel is changed from 10 in previous calculation step to 0 in current calculation step\n\r \n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 7",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}
5542862451.0FunctionalReleasedyesTrue
IF: AND [1, 2, 3, 4, 5, 6, 7] 1) Input TVCEC_s_FlgPosnVld is TRUE 2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 1
IF: AND [1, 2, 3, 4, 5, 6, 7]

1) Input TVCEC_s_FlgPosnVld is TRUE

2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]

3) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]

4) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]

5) Input TVCPP_s_NumNodVld is 20

6) Input TVCPP_s_FlgTrjNew is changed from TRUE in previous calculation step to FALSE in current calculation step

7) Input TVCEC_s_LLgtLocRel is changed from 10 in previous calculation step to 0 in current calculation step

THEN:

Output TVCTP_s_NumPrjTrjNod = 6

Raw

{
  "ID": "42862451.0",
  "ASIL": "  QM",
  "Text": "IF: AND [1, 2, 3, 4, 5, 6, 7]\n\r1) Input TVCEC_s_FlgPosnVld is TRUE\n\r2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r3) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r4) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r5) Input TVCPP_s_NumNodVld is 20\n\r6) Input TVCPP_s_FlgTrjNew is changed from TRUE in previous calculation step to FALSE in current calculation step\n\r7) Input TVCEC_s_LLgtLocRel is changed from 10 in previous calculation step to 0 in current calculation step\n\r \n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 6",
  "Type": "Functional",
  "Status": "Released",
  "Summary": "",
  "Relevant": "yes",
  "column_12": "",
  "Foreign ID": "",
  "Description": "IF: AND [1, 2, 3, 4, 5, 6, 7]\n\r1) Input TVCEC_s_FlgPosnVld is TRUE\n\r2) Input TVCPP_s1_LPosnLgtVld is [-3, -1, 1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 35]\n\r3) Input TVCPP_s1_LPosnLatVld is [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0.1]\n\r4) Input TVCPP_s1_DTrckVld is [0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38]\n\r5) Input TVCPP_s_NumNodVld is 20\n\r6) Input TVCPP_s_FlgTrjNew is changed from TRUE in previous calculation step to FALSE in current calculation step\n\r7) Input TVCEC_s_LLgtLocRel is changed from 10 in previous calculation step to 0 in current calculation step\n\r \n\rTHEN:\n\rOutput TVCTP_s_NumPrjTrjNod = 6",
  "Vehicle Launch": "",
  "Vehicle Platform": "E³ 1.2"
}