Review references / Library #2
Review reference evidence
VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCIP.xlsx · Template · row 27
Needs attention9 unresolved names · 0 evidence issues
Pre Condition · condition
needs reviewVME-PROD-VehicleMotionManagement - VMMP_TVC_TVCIP.xlsx · Template · row 27
Definition scope: VMMP / TVC / TVCIP /
DLgtDmd
1) Search for the index IdxTiDif of array TVCPP_s1_TiNodVld that fulfils the following criterias:
a) 1 <= IdxTiDiff < TVCPP_s_NumNodVld
b) TVCPP_s1_TiNodVld[IdxTiDif] <= TiDifBasSync< TVCPP_s1_TiNodVld[IdxTiDif+1]
IF
no index IdxTiDif fullfills the above criteria
THEN
the IdxTiDif shall be set to one before last valid index of the trajectory (IdxTiDif=TVCPP_s_NumNodVld-1)
2) Calculate the ratio RatTiNod by:
RatTiNod = (TiDifBasSync- TVCPP_s1_TiNodVld[IdxTiDif]) / (TVCPP_s1_TiNodVld[IdxTiDif+1] - TVCPP_s1_TiNodVld[IdxTiDif])
The result of the RatTiNod calcualtion shall be additionally limited to the range of 0...1
Note: To prevent a division by zero, the divison-by-zero protection #16647350 with threshold of VMMP_c_DivLim (1e-8) must be used
Parsing issues can be handled in Variables and Evidence. To edit reference classification, identities or assignments, create an editable library version.
Raw evidence and interpretation
{
"id": 25552,
"sheet": "Template",
"row_data": {
"vme": {
"scope": "file",
"version": "vme-ordered-2",
"chapter_row": 23,
"definitions": [
{
"name": "DLgtDmd",
"method": "explicit_heading",
"spans": [
[
0,
7
]
]
},
{
"name": "IdxTiDif",
"method": "branch_assignment",
"spans": [
[
288,
296
]
]
},
{
"name": "RatTiNod",
"method": "branch_assignment",
"spans": [
[
428,
436
]
]
}
],
"chapter_title": "Conditions",
"context_enabled": true
},
"asil": " QM",
"text": "DLgtDmd\n\r \n\r \n\r1) Search for the index IdxTiDif of array TVCPP_s1_TiNodVld that fulfils the following criterias:\n\ra) 1 <= IdxTiDiff < TVCPP_s_NumNodVld\n\rb) TVCPP_s1_TiNodVld[IdxTiDif] <= TiDifBasSync< TVCPP_s1_TiNodVld[IdxTiDif+1]\n\r \n\rIF\n\rno index IdxTiDif fullfills the above criteria\n\rTHEN\n\rthe IdxTiDif shall be set to one before last valid index of the trajectory (IdxTiDif=TVCPP_s_NumNodVld-1)\n\r \n\r \n\r2) Calculate the ratio RatTiNod by:\n\rRatTiNod = (TiDifBasSync- TVCPP_s1_TiNodVld[IdxTiDif]) / (TVCPP_s1_TiNodVld[IdxTiDif+1] - TVCPP_s1_TiNodVld[IdxTiDif])\n\rThe result of the RatTiNod calcualtion shall be additionally limited to the range of 0...1\n\r \n\r \n\rNote: To prevent a division by zero, the divison-by-zero protection #16647350 with threshold of VMMP_c_DivLim (1e-8) must be used",
"scope": {
"block": "TVC",
"module": "TVCIP",
"project": "VMMP",
"section": ""
},
"sheet": "Template",
"status": "Released",
"checksum": "83adee9380f893f8b62efae674c71ad8a7394cea4635cf2ac2a66cd2251ef7eb",
"platform": "E³ 1.2",
"relevant": "no",
"candidate": false,
"row_index": 27,
"source_id": "16647352.0",
"raw_values": {
"ID": "16647352.0",
"ASIL": " QM",
"Text": "DLgtDmd\n\r \n\r \n\r1) Search for the index IdxTiDif of array TVCPP_s1_TiNodVld that fulfils the following criterias:\n\ra) 1 <= IdxTiDiff < TVCPP_s_NumNodVld\n\rb) TVCPP_s1_TiNodVld[IdxTiDif] <= TiDifBasSync< TVCPP_s1_TiNodVld[IdxTiDif+1]\n\r \n\rIF\n\rno index IdxTiDif fullfills the above criteria\n\rTHEN\n\rthe IdxTiDif shall be set to one before last valid index of the trajectory (IdxTiDif=TVCPP_s_NumNodVld-1)\n\r \n\r \n\r2) Calculate the ratio RatTiNod by:\n\rRatTiNod = (TiDifBasSync- TVCPP_s1_TiNodVld[IdxTiDif]) / (TVCPP_s1_TiNodVld[IdxTiDif+1] - TVCPP_s1_TiNodVld[IdxTiDif])\n\rThe result of the RatTiNod calcualtion shall be additionally limited to the range of 0...1\n\r \n\r \n\rNote: To prevent a division by zero, the divison-by-zero protection #16647350 with threshold of VMMP_c_DivLim (1e-8) must be used",
"Type": "Pre Condition",
"Status": "Released",
"Summary": "",
"Relevant": "no",
"column_12": "",
"Foreign ID": "1124894.0",
"Description": "DLgtDmd\n\r \n\r \n\r1) Search for the index IdxTiDif of array TVCPP_s1_TiNodVld that fulfils the following criterias:\n\ra) 1 <= IdxTiDiff < TVCPP_s_NumNodVld\n\rb) TVCPP_s1_TiNodVld[IdxTiDif] <= TiDifBasSync< TVCPP_s1_TiNodVld[IdxTiDif+1]\n\r \n\rIF\n\rno index IdxTiDif fullfills the above criteria\n\rTHEN\n\rthe IdxTiDif shall be set to one before last valid index of the trajectory (IdxTiDif=TVCPP_s_NumNodVld-1)\n\r \n\r \n\r2) Calculate the ratio RatTiNod by:\n\rRatTiNod = (TiDifBasSync- TVCPP_s1_TiNodVld[IdxTiDif]) / (TVCPP_s1_TiNodVld[IdxTiDif+1] - TVCPP_s1_TiNodVld[IdxTiDif])\n\rThe result of the RatTiNod calcualtion shall be additionally limited to the range of 0...1\n\r \n\r \n\rNote: To prevent a division by zero, the divison-by-zero protection #16647350 with threshold of VMMP_c_DivLim (1e-8) must be used",
"Vehicle Launch": "",
"Vehicle Platform": "E³ 1.2"
},
"description": "DLgtDmd\n\r \n\r \n\r1) Search for the index IdxTiDif of array TVCPP_s1_TiNodVld that fulfils the following criterias:\n\ra) 1 <= IdxTiDiff < TVCPP_s_NumNodVld\n\rb) TVCPP_s1_TiNodVld[IdxTiDif] <= TiDifBasSync< TVCPP_s1_TiNodVld[IdxTiDif+1]\n\r \n\rIF\n\rno index IdxTiDif fullfills the above criteria\n\rTHEN\n\rthe IdxTiDif shall be set to one before last valid index of the trajectory (IdxTiDif=TVCPP_s_NumNodVld-1)\n\r \n\r \n\r2) Calculate the ratio RatTiNod by:\n\rRatTiNod = (TiDifBasSync- TVCPP_s1_TiNodVld[IdxTiDif]) / (TVCPP_s1_TiNodVld[IdxTiDif+1] - TVCPP_s1_TiNodVld[IdxTiDif])\n\rThe result of the RatTiNod calcualtion shall be additionally limited to the range of 0...1\n\r \n\r \n\rNote: To prevent a division by zero, the divison-by-zero protection #16647350 with threshold of VMMP_c_DivLim (1e-8) must be used",
"diagnostics": [],
"source_file": "VME-PROD-VehicleMotionManagement - VMMP_TVC_TVCIP.xlsx",
"source_type": "Pre Condition",
"target_bucket": "",
"ignored_reason": "type_not_target, relevance_filtered",
"requirement_id": "",
"normalized_text": "DLgtDmd\n\n1) Search for the index IdxTiDif of array TVCPP_s1_TiNodVld that fulfils the following criterias:\n\na) 1 <= IdxTiDiff < TVCPP_s_NumNodVld\n\nb) TVCPP_s1_TiNodVld[IdxTiDif] <= TiDifBasSync< TVCPP_s1_TiNodVld[IdxTiDif+1]\n\nIF\n\nno index IdxTiDif fullfills the above criteria\n\nTHEN\n\nthe IdxTiDif shall be set to one before last valid index of the trajectory (IdxTiDif=TVCPP_s_NumNodVld-1)\n\n2) Calculate the ratio RatTiNod by:\n\nRatTiNod = (TiDifBasSync- TVCPP_s1_TiNodVld[IdxTiDif]) / (TVCPP_s1_TiNodVld[IdxTiDif+1] - TVCPP_s1_TiNodVld[IdxTiDif])\n\nThe result of the RatTiNod calcualtion shall be additionally limited to the range of 0...1\n\nNote: To prevent a division by zero, the divison-by-zero protection #16647350 with threshold of VMMP_c_DivLim (1e-8) must be used",
"requirement_text": ""
},
"row_index": 27,
"candidates": [],
"diagnostics": [],
"disposition": "review_needed",
"review_state": "needs_review",
"applicability": [],
"evidence_hash": "f06f1fe483d4b96c3d0529d0b6529ef3c651e16996622015aa0452fa0d4ca1e2",
"classification": "condition",
"normalized_type": "Pre Condition",
"source_record_id": 25552,
"interpretation_id": 159
}