Workspace workspace · PostgreSQLLocal only

Review references / Library #2

Review reference evidence

VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsx · Template · row 31

Needs attention6 unresolved names · 0 evidence issues

Pre Condition · condition

needs review

VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsx · Template · row 31

Definition scope: VMMP / ARB / ARBLACSC /

StgWhlVib: Activation Prevention of customer function (Availability of customer function) (considering: Check if StgWhlVib is requested: and Check if any StgWhlVib Customer Function is active) IF: StgWhlVib is requested for more than VMMP_ARBLACSC_p_StgWhlVib_TiReqMax milliseconds THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF: ARBLLCSC_s_LatCtl_MdLatCtl = 3 THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF: ARBLLCSC_s_LatCtl_MdLatCtl = 4 THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF: ARBLLCSC_s_LatCtl_MdLatCtl = 5 THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF: ARBLLCSC_s_LatCtl_MdLatCtl = 6 THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF [AND(1,2)]: 1) StgWhlVib is requested 2) CustFctIn_StgWhlVib_IdxProfReq change value THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF [AND(1,2)]: 1) the customer function was in the previous computation cycle (CustFctOut_StgWhlVib_StAcv) in NotAvl-State OR Fail-State 2) CustFctIn_StgWhlVib_StAcv is NOT equal to VMMP_ARBLACSC_c_StgWhlVib_IdxProfReqNot THEN: StgWhlVib activation prevention is true (Customer Function is not available) ELSEIF [AND(1,2)]: 1) Any StgWhlVib Customer Function is active in the previous computation cycle 2) No StgWhlVib Customer Function is active in the current computation cycle THEN: StgWhlVib activation prevention is true (Customer Function is not available) for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps (Note: If any StgWhlVib Customer Function was active (switch from Active-State to another State), all StgWhlVib Customer Functions must switch in NotAvl-State for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps. NotAvl-State is reached by StgWhlVib activation prevention is true) ELSE: StgWhlVib activation prevention is false (Customer Function is available)

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": 13335,
  "sheet": "Template",
  "row_data": {
    "vme": {
      "scope": "file",
      "version": "vme-ordered-2",
      "chapter_row": 29,
      "definitions": [
        {
          "name": "StgWhlVib",
          "method": "explicit_heading",
          "spans": [
            [
              0,
              9
            ]
          ]
        }
      ],
      "chapter_title": "Generic Activation Prevention",
      "context_enabled": true
    },
    "asil": "  QM",
    "text": "StgWhlVib: Activation Prevention of customer function\n_x000D_(Availability of customer function)\n_x000D_(considering: Check if StgWhlVib is requested: and Check if any StgWhlVib Customer Function is active)\n_x000D_ \n_x000D_\n_x000D_IF: \n_x000D_StgWhlVib is requested for more than VMMP_ARBLACSC_p_StgWhlVib_TiReqMax milliseconds\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) \n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 3\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 4\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 5\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 6\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]: \n_x000D_1) StgWhlVib is requested\n_x000D_2) CustFctIn_StgWhlVib_IdxProfReq change value\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) the customer function was in the previous computation cycle (CustFctOut_StgWhlVib_StAcv) in NotAvl-State OR Fail-State\n_x000D_2) CustFctIn_StgWhlVib_StAcv is NOT equal to VMMP_ARBLACSC_c_StgWhlVib_IdxProfReqNot\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) Any StgWhlVib Customer Function is active in the previous computation cycle\n_x000D_2) No StgWhlVib Customer Function is active in the current computation cycle\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps\n_x000D_(Note: If any StgWhlVib Customer Function was active (switch from Active-State to another State), all StgWhlVib Customer Functions must switch in NotAvl-State for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps. NotAvl-State is reached by StgWhlVib activation prevention is true)\n_x000D_ \n_x000D_ELSE: \n_x000D_StgWhlVib activation prevention is false (Customer Function is available)",
    "scope": {
      "block": "ARB",
      "module": "ARBLACSC",
      "project": "VMMP",
      "section": ""
    },
    "sheet": "Template",
    "status": "Released",
    "checksum": "6c313a49d7cf355ab3a98534ae58aa53db327d9cce0e274032363d7f8afdc753",
    "platform": "E³ 1.2",
    "relevant": "no",
    "candidate": false,
    "row_index": 31,
    "source_id": "16638043",
    "raw_values": {
      "ID": "16638043",
      "ASIL": "  QM",
      "Text": "StgWhlVib: Activation Prevention of customer function\n_x000D_(Availability of customer function)\n_x000D_(considering: Check if StgWhlVib is requested: and Check if any StgWhlVib Customer Function is active)\n_x000D_ \n_x000D_\n_x000D_IF: \n_x000D_StgWhlVib is requested for more than VMMP_ARBLACSC_p_StgWhlVib_TiReqMax milliseconds\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) \n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 3\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 4\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 5\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 6\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]: \n_x000D_1) StgWhlVib is requested\n_x000D_2) CustFctIn_StgWhlVib_IdxProfReq change value\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) the customer function was in the previous computation cycle (CustFctOut_StgWhlVib_StAcv) in NotAvl-State OR Fail-State\n_x000D_2) CustFctIn_StgWhlVib_StAcv is NOT equal to VMMP_ARBLACSC_c_StgWhlVib_IdxProfReqNot\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) Any StgWhlVib Customer Function is active in the previous computation cycle\n_x000D_2) No StgWhlVib Customer Function is active in the current computation cycle\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps\n_x000D_(Note: If any StgWhlVib Customer Function was active (switch from Active-State to another State), all StgWhlVib Customer Functions must switch in NotAvl-State for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps. NotAvl-State is reached by StgWhlVib activation prevention is true)\n_x000D_ \n_x000D_ELSE: \n_x000D_StgWhlVib activation prevention is false (Customer Function is available)",
      "Type": "Pre Condition",
      "Status": "Released",
      "Summary": "",
      "Relevant": "no",
      "column_12": "",
      "Foreign ID": "1360362",
      "Description": "StgWhlVib: Activation Prevention of customer function\n_x000D_(Availability of customer function)\n_x000D_(considering: Check if StgWhlVib is requested: and Check if any StgWhlVib Customer Function is active)\n_x000D_ \n_x000D_\n_x000D_IF: \n_x000D_StgWhlVib is requested for more than VMMP_ARBLACSC_p_StgWhlVib_TiReqMax milliseconds\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) \n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 3\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 4\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 5\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 6\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]: \n_x000D_1) StgWhlVib is requested\n_x000D_2) CustFctIn_StgWhlVib_IdxProfReq change value\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) the customer function was in the previous computation cycle (CustFctOut_StgWhlVib_StAcv) in NotAvl-State OR Fail-State\n_x000D_2) CustFctIn_StgWhlVib_StAcv is NOT equal to VMMP_ARBLACSC_c_StgWhlVib_IdxProfReqNot\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) Any StgWhlVib Customer Function is active in the previous computation cycle\n_x000D_2) No StgWhlVib Customer Function is active in the current computation cycle\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps\n_x000D_(Note: If any StgWhlVib Customer Function was active (switch from Active-State to another State), all StgWhlVib Customer Functions must switch in NotAvl-State for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps. NotAvl-State is reached by StgWhlVib activation prevention is true)\n_x000D_ \n_x000D_ELSE: \n_x000D_StgWhlVib activation prevention is false (Customer Function is available)",
      "Vehicle Launch": "",
      "Vehicle Platform": "E³ 1.2"
    },
    "description": "StgWhlVib: Activation Prevention of customer function\n_x000D_(Availability of customer function)\n_x000D_(considering: Check if StgWhlVib is requested: and Check if any StgWhlVib Customer Function is active)\n_x000D_ \n_x000D_\n_x000D_IF: \n_x000D_StgWhlVib is requested for more than VMMP_ARBLACSC_p_StgWhlVib_TiReqMax milliseconds\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) \n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 3\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 4\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 5\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF: \n_x000D_ARBLLCSC_s_LatCtl_MdLatCtl = 6\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]: \n_x000D_1) StgWhlVib is requested\n_x000D_2) CustFctIn_StgWhlVib_IdxProfReq change value\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) the customer function was in the previous computation cycle (CustFctOut_StgWhlVib_StAcv) in NotAvl-State OR Fail-State\n_x000D_2) CustFctIn_StgWhlVib_StAcv is NOT equal to VMMP_ARBLACSC_c_StgWhlVib_IdxProfReqNot\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available)\n_x000D_ \n_x000D_\n_x000D_ELSEIF [AND(1,2)]:\n_x000D_1) Any StgWhlVib Customer Function is active in the previous computation cycle\n_x000D_2) No StgWhlVib Customer Function is active in the current computation cycle\n_x000D_THEN:\n_x000D_StgWhlVib activation prevention is true (Customer Function is not available) for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps\n_x000D_(Note: If any StgWhlVib Customer Function was active (switch from Active-State to another State), all StgWhlVib Customer Functions must switch in NotAvl-State for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps. NotAvl-State is reached by StgWhlVib activation prevention is true)\n_x000D_ \n_x000D_ELSE: \n_x000D_StgWhlVib activation prevention is false (Customer Function is available)",
    "diagnostics": [],
    "source_file": "VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLACSC.xlsx",
    "source_type": "Pre Condition",
    "target_bucket": "",
    "ignored_reason": "type_not_target, relevance_filtered",
    "requirement_id": "",
    "normalized_text": "StgWhlVib: Activation Prevention of customer function\n\n(Availability of customer function)\n\n(considering: Check if StgWhlVib is requested: and Check if any StgWhlVib Customer Function is active)\n\nIF: \n\nStgWhlVib is requested for more than VMMP_ARBLACSC_p_StgWhlVib_TiReqMax milliseconds\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available) \n\nELSEIF: \n\nARBLLCSC_s_LatCtl_MdLatCtl = 3\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available)\n\nELSEIF: \n\nARBLLCSC_s_LatCtl_MdLatCtl = 4\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available)\n\nELSEIF: \n\nARBLLCSC_s_LatCtl_MdLatCtl = 5\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available)\n\nELSEIF: \n\nARBLLCSC_s_LatCtl_MdLatCtl = 6\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available)\n\nELSEIF [AND(1,2)]: \n\n1) StgWhlVib is requested\n\n2) CustFctIn_StgWhlVib_IdxProfReq change value\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available)\n\nELSEIF [AND(1,2)]:\n\n1) the customer function was in the previous computation cycle (CustFctOut_StgWhlVib_StAcv) in NotAvl-State OR Fail-State\n\n2) CustFctIn_StgWhlVib_StAcv is NOT equal to VMMP_ARBLACSC_c_StgWhlVib_IdxProfReqNot\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available)\n\nELSEIF [AND(1,2)]:\n\n1) Any StgWhlVib Customer Function is active in the previous computation cycle\n\n2) No StgWhlVib Customer Function is active in the current computation cycle\n\nTHEN:\n\nStgWhlVib activation prevention is true (Customer Function is not available) for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps\n\n(Note: If any StgWhlVib Customer Function was active (switch from Active-State to another State), all StgWhlVib Customer Functions must switch in NotAvl-State for VMMP_ARBLACSC_p_StgWhlVib_TiDlyIdxPrioHiLst time steps. NotAvl-State is reached by StgWhlVib activation prevention is true)\n\nELSE: \n\nStgWhlVib activation prevention is false (Customer Function is available)",
    "requirement_text": ""
  },
  "row_index": 31,
  "candidates": [
    {
      "name": "Fail-State",
      "alias": "",
      "method": "explicit_customer_function_phrase",
      "relation": "mentions",
      "entity_id": 232
    }
  ],
  "diagnostics": [],
  "disposition": "review_needed",
  "review_state": "needs_review",
  "applicability": [],
  "evidence_hash": "b53ce019d1e5c2cb11560c15b5557fe94df43da5ad9fc37b1de823b06705df43",
  "classification": "condition",
  "normalized_type": "Pre Condition",
  "source_record_id": 13335,
  "interpretation_id": 84
}
Identity and public description review

customer function · Fail-State

needs_review

Proposed relationships
Type Decision Evidence/action
mentionsinferred
Show relationship evidence
{
  "item_id": 13335,
  "evidence_hash": "b53ce019d1e5c2cb11560c15b5557fe94df43da5ad9fc37b1de823b06705df43",
  "interpretation_id": 84
}