Workspace workspace · PostgreSQLLocal only

Review references / Library #2

Review reference evidence

VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGLSA.xlsx · Template · row 42

Needs attention39 unresolved names · 0 evidence issues

Pre Condition · binding template

needs review

VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGLSA.xlsx · Template · row 42

Definition scope: VMMP / ARB / ARBLGLSA /

IF: the modified *KFFLgtLimA_ADmd is bigger than *KFFstarting_point THEN: the temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of MIN(modified *KFFLgtLimA_ADmd, *KFFstarting_point + KFFgradient_increase*VMMP_c_TiSmpl) ELSE: the temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of MAX(modified *KFFLgtLimA_ADmd, *ATqDmd + KFFgradient_decrease*VMMP_c_TiSmpl)
Applicability to use sites

No ancestor/module condition becomes automatic context. Choose explicit use sites for context-only evidence.

  • No explicit scopes.
Raw evidence and interpretation
{
  "id": 13519,
  "interpretation_id": 86,
  "source_record_id": 13519,
  "sheet": "Template",
  "row_index": 42,
  "normalized_type": "Pre Condition",
  "classification": "binding_template",
  "evidence_hash": "a7fad7890948b3ca7659bf17a873f62790130c7e07f166c17791a0e8ddb185cb",
  "row_data": {
    "vme": {
      "scope": "file",
      "version": "vme-ordered-2",
      "chapter_row": 31,
      "definitions": [],
      "chapter_title": "target-value generation for the demanded Acceleration",
      "context_enabled": true
    },
    "asil": "  QM",
    "text": "IF:\n\rthe modified *KFFLgtLimA_ADmd is bigger than *KFFstarting_point \n\rTHEN: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMIN(modified *KFFLgtLimA_ADmd, \n\r*KFFstarting_point + KFFgradient_increase*VMMP_c_TiSmpl) \n\rELSE: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMAX(modified *KFFLgtLimA_ADmd, \n\r*ATqDmd + KFFgradient_decrease*VMMP_c_TiSmpl)",
    "scope": {
      "block": "ARB",
      "module": "ARBLGLSA",
      "project": "VMMP",
      "section": ""
    },
    "sheet": "Template",
    "status": "Released",
    "checksum": "b23f7284297417fd3f5a1b5b67444f5b231c29f65f50acf7ae7ab415d34e30af",
    "platform": "E³ 1.2",
    "relevant": "no",
    "candidate": false,
    "row_index": 42,
    "source_id": "16642391.0",
    "raw_values": {
      "ID": "16642391.0",
      "ASIL": "  QM",
      "Text": "IF:\n\rthe modified *KFFLgtLimA_ADmd is bigger than *KFFstarting_point \n\rTHEN: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMIN(modified *KFFLgtLimA_ADmd, \n\r*KFFstarting_point + KFFgradient_increase*VMMP_c_TiSmpl) \n\rELSE: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMAX(modified *KFFLgtLimA_ADmd, \n\r*ATqDmd + KFFgradient_decrease*VMMP_c_TiSmpl)",
      "Type": "Pre Condition",
      "Status": "Released",
      "Summary": "",
      "Relevant": "no",
      "column_12": "",
      "Foreign ID": "1218706.0",
      "Description": "IF:\n\rthe modified *KFFLgtLimA_ADmd is bigger than *KFFstarting_point \n\rTHEN: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMIN(modified *KFFLgtLimA_ADmd, \n\r*KFFstarting_point + KFFgradient_increase*VMMP_c_TiSmpl) \n\rELSE: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMAX(modified *KFFLgtLimA_ADmd, \n\r*ATqDmd + KFFgradient_decrease*VMMP_c_TiSmpl)",
      "Vehicle Launch": "",
      "Vehicle Platform": "E³ 1.2"
    },
    "description": "IF:\n\rthe modified *KFFLgtLimA_ADmd is bigger than *KFFstarting_point \n\rTHEN: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMIN(modified *KFFLgtLimA_ADmd, \n\r*KFFstarting_point + KFFgradient_increase*VMMP_c_TiSmpl) \n\rELSE: \n\rthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\rMAX(modified *KFFLgtLimA_ADmd, \n\r*ATqDmd + KFFgradient_decrease*VMMP_c_TiSmpl)",
    "diagnostics": [],
    "source_file": "VME-PROD-VehicleMotionManagement - VMMP_ARB_ARBLGLSA.xlsx",
    "source_type": "Pre Condition",
    "target_bucket": "",
    "ignored_reason": "type_not_target, relevance_filtered",
    "requirement_id": "",
    "normalized_text": "IF:\n\nthe modified *KFFLgtLimA_ADmd is bigger than *KFFstarting_point \n\nTHEN: \n\nthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\nMIN(modified *KFFLgtLimA_ADmd, \n\n*KFFstarting_point + KFFgradient_increase*VMMP_c_TiSmpl) \n\nELSE: \n\nthe temp output *KFFLgtLimA_ADmdSafeCritFil shall show the value of\n\nMAX(modified *KFFLgtLimA_ADmd, \n\n*ATqDmd + KFFgradient_decrease*VMMP_c_TiSmpl)",
    "requirement_text": ""
  },
  "candidates": [],
  "diagnostics": [],
  "review_state": "needs_review",
  "disposition": "review_needed",
  "applicability": []
}
Proposed relationships
Type Decision Evidence/action
No proposed relationships.
Approve an evidenced assignment

Up to 50 matching selected SPE definitions. Narrow the search to find the required assignment.