Workspace workspace · PostgreSQLLocal only

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 review

VME-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
}
Proposed relationships
Type Decision Evidence/action
No proposed relationships.