textual-notation-of-model/packages/features/aebs/aebs_visualization_needs_requirements.sysml

Source

1/*2 * DE4SDV AEBS visualization needs and System 2 requirements slice.3 *4 * INC-AEBS-010 Phase 3–5 content: product-line classification, stakeholder5 * needs, and System 2 requirement candidates for the AEBS visualization test6 * system. Needs continue the existing N-AEBS series (N-AEBS-009..013);7 * requirements continue the dedicated System 2 series8 * (REQ-AEBS-S2-002..014) to avoid collision with System 19 * REQ-AEBS-001..015 and REQ-AEBS-S2-001 in aebs_needs_requirements.sysml.10 *11 * All requirements are System 2 engineering-instrumentation candidates.12 * None is a System 1 product obligation, and none prescribes TCP, protobuf,13 * SDV Gateway, Java, or Cuttlefish.14 */1516package DE4SDV_AEBSVisualizationNeedsRequirements {17  private import DE4SDV_Stakeholders::*;18  private import DE4SDV_MethodContext::*;19  private import DE4SDV_ProductLine::*;20  private import DE4SDV_AEBSVisualizationFraming::*;21  private import SAF_Viewpoints::*;22  private import Views::*;23  private import SysideViews::**;2425  requirement def VisualizationEngineeringNeed :> StakeholderNeedCandidate {26    doc /* Need for bounded, honest AEBS visualization engineering support. */27  }28  requirement def VisualizationInstrumentRequirementCandidate :> RequirementCandidate {29    doc /* Candidate requirement for the System 2 visualization test system. */30  }3132  package VisualizationClassification {33    part visualizationTestSystemClassification : DeferredProductLineScope {34      doc /*35       * CLS-AEBS-010-001: The AEBS visualization is System 2 engineering and36       * evidence instrumentation. It is not a product feature, not a common37       * capability, and must not enter any System 1 bill of features.38       */39    }40    part aebsCapabilityRemainsCommon : CommonProductLineCapability {41      doc /*42       * CLS-AEBS-010-002: VehicleTargetAEBS remains a common System 143       * capability; this increment changes nothing about that classification.44       */45    }46  }4748  package VisualizationNeeds {49    requirement needLiveVisualizationOnAAOS : VisualizationEngineeringNeed {50      doc /* N-AEBS-009 draft System 2 need. */51      subject increment : VisualizationIncrement;52      stakeholder systemsEngineer : SystemsEngineer;53      stakeholder reviewer : OpenSourceReviewer;54      require constraint statement { language "English" /* Systems engineers and reviewers need live AEBS threat and intervention state visible on an actual AAOS SDV display so that stakeholder-visible AEBS behavior can be reviewed without a host-side substitute. */ }55      attribute :>> status = ReqStatus::InDevelopment;56      attribute :>> source = "INC-AEBS-010 increment framing; GCP AAOS runtime proof environment";57      attribute :>> rationale = "Stakeholder-visible AEBS behavior must be reviewable on a real AAOS display, not a host substitute.";58    }59    requirement needPreservedSourceProvenance : VisualizationEngineeringNeed {60      doc /* N-AEBS-010 draft System 2 need. */61      subject increment : VisualizationIncrement;62      stakeholder systemsEngineer : SystemsEngineer;63      stakeholder verificationEngineer : VerificationEngineer;64      require constraint statement { language "English" /* Systems engineers need source provenance, units, coordinate frame, timestamps, rate and freshness, validity, and bounded displayed cardinality preserved between native Autoware output, DE4SDV AEBS coordination state, and display-derived presentation. */ }65      attribute :>> status = ReqStatus::InDevelopment;66      attribute :>> source = "INC-AEBS-010 increment framing";67      attribute :>> rationale = "Displayed values must remain traceable to their source identity and context.";68    }69    requirement needFailClosedDegradation : VisualizationEngineeringNeed {70      doc /* N-AEBS-011 draft System 2 need. */71      subject increment : VisualizationIncrement;72      stakeholder systemsEngineer : SystemsEngineer;73      stakeholder maintainer : Maintainer;74      require constraint statement { language "English" /* Systems engineers and maintainers need stale, unavailable, invalid, and restored display behavior so that a lost or invalid source cannot be misread as current AEBS state. */ }75      attribute :>> status = ReqStatus::InDevelopment;76      attribute :>> source = "INC-AEBS-010 increment framing";77      attribute :>> rationale = "A lost or invalid source must never be misread as current AEBS state.";78    }79    requirement needCorrelatableEvidence : VisualizationEngineeringNeed {80      doc /* N-AEBS-012 draft System 2 need. */81      subject increment : VisualizationIncrement;82      stakeholder verificationEngineer : VerificationEngineer;83      require constraint statement { language "English" /* Verification engineers need source-to-screen correlation and replayable evidence so that displayed states can be traced to observed source events. */ }84      attribute :>> status = ReqStatus::InDevelopment;85      attribute :>> source = "INC-AEBS-010 increment framing";86      attribute :>> rationale = "Verification needs source-to-screen correlation and replayable evidence.";87    }88    requirement needNonInterference : VisualizationEngineeringNeed {89      doc /* N-AEBS-013 draft System 2 need. */90      subject increment : VisualizationIncrement;91      stakeholder maintainer : Maintainer;92      stakeholder verificationEngineer : VerificationEngineer;93      require constraint statement { language "English" /* Maintainers and verification engineers need assurance that visualization instrumentation cannot command or modify AEBS detection, warning, intervention, or release behavior. */ }94      attribute :>> status = ReqStatus::InDevelopment;95      attribute :>> source = "INC-AEBS-010 increment framing";96      attribute :>> rationale = "Visualization instrumentation must not influence the behavior it observes.";97    }98  }99100  package VisualizationRequirements {101    requirement reqSourceFidelity : VisualizationInstrumentRequirementCandidate {102      doc /* REQ-AEBS-S2-002 System 2 candidate derived from N-AEBS-009 and N-AEBS-010. */103      subject increment : VisualizationIncrement;104      require constraint statement { language "English" /* The visualization test system shall preserve source identity, timestamp, units, coordinate frame, freshness, validity, and bounded cardinality for each displayed AEBS value or state. */ }105      attribute :>> status = ReqStatus::ReadyForReview;106      attribute :>> source = "Derived from N-AEBS-009 and N-AEBS-010";107      attribute :>> rationale = "Preserves provenance for each displayed value.";108    }109    requirement reqNativeParticipation : VisualizationInstrumentRequirementCandidate {110      doc /* REQ-AEBS-S2-003 System 2 candidate derived from N-AEBS-009. */111      subject increment : VisualizationIncrement;112      require constraint statement { language "English" /* The visualization test system shall consume live output from the pinned native Autoware AEB component: RSS threshold data and the exact native intervention diagnostic. */ }113      attribute :>> status = ReqStatus::ReadyForReview;114      attribute :>> source = "Derived from N-AEBS-009";115      attribute :>> rationale = "Anchors the display to the pinned native Autoware AEB component.";116    }117    requirement reqNoNativeImpersonation : VisualizationInstrumentRequirementCandidate {118      doc /* REQ-AEBS-S2-014 System 2 candidate derived from N-AEBS-010. */119      subject increment : VisualizationIncrement;120      require constraint statement { language "English" /* The visualization test system shall not present coordinator-derived distance values as native Autoware output. */ }121      attribute :>> status = ReqStatus::ReadyForReview;122      attribute :>> source = "Derived from N-AEBS-010";123      attribute :>> rationale = "Coordinator-derived values must not masquerade as native Autoware output.";124    }125    requirement reqDe4sdvParticipation : VisualizationInstrumentRequirementCandidate {126      doc /* REQ-AEBS-S2-004 System 2 candidate derived from N-AEBS-009. */127      subject increment : VisualizationIncrement;128      require constraint statement { language "English" /* The visualization test system shall consume live DE4SDV AEBS warning request, braking request, and intervention lifecycle state from the existing AEBS coordinator. */ }129      attribute :>> status = ReqStatus::ReadyForReview;130      attribute :>> source = "Derived from N-AEBS-009";131      attribute :>> rationale = "Displays the DE4SDV coordinator's own warning, braking, and lifecycle state.";132    }133    requirement reqNonInterference : VisualizationInstrumentRequirementCandidate {134      doc /* REQ-AEBS-S2-005 System 2 candidate derived from N-AEBS-013. */135      subject increment : VisualizationIncrement;136      require constraint statement { language "English" /* The visualization test system shall expose no command path from display, bridge, or transport into Autoware, the AEBS coordinator, or vehicle control. */ }137      attribute :>> status = ReqStatus::ReadyForReview;138      attribute :>> source = "Derived from N-AEBS-013";139      attribute :>> rationale = "No command path from instrumentation into AEBS or vehicle control.";140    }141    requirement reqFailClosedFreshness : VisualizationInstrumentRequirementCandidate {142      doc /* REQ-AEBS-S2-006 System 2 candidate derived from N-AEBS-011. */143      subject increment : VisualizationIncrement;144      require constraint statement { language "English" /* When no valid frame is accepted for the selected bounded timeout, the visualization test system shall suppress threat geometry and present an explicit stale disposition. */ }145      attribute :>> status = ReqStatus::ReadyForReview;146      attribute :>> source = "Derived from N-AEBS-011";147      attribute :>> rationale = "Stale input must suppress threat geometry rather than display it.";148    }149    requirement reqAvailabilityDisposition : VisualizationInstrumentRequirementCandidate {150      doc /* REQ-AEBS-S2-007 System 2 candidate derived from N-AEBS-011. */151      subject increment : VisualizationIncrement;152      require constraint statement { language "English" /* When no visualization source or service is available, or before the first valid frame arrives, the visualization test system shall present an explicit unavailable disposition. */ }153      attribute :>> status = ReqStatus::ReadyForReview;154      attribute :>> source = "Derived from N-AEBS-011";155      attribute :>> rationale = "Unavailable sources need an explicit disposition, not silence.";156    }157    requirement reqInvalidRejection : VisualizationInstrumentRequirementCandidate {158      doc /* REQ-AEBS-S2-008 System 2 candidate derived from N-AEBS-011. */159      subject increment : VisualizationIncrement;160      require constraint statement { language "English" /* The visualization test system shall reject unsupported schema, malformed, non-finite, out-of-range, stale-timestamp, and non-monotonic frames without displaying their payload values. */ }161      attribute :>> status = ReqStatus::ReadyForReview;162      attribute :>> source = "Derived from N-AEBS-011";163      attribute :>> rationale = "Malformed frames must be rejected without displaying payload values.";164    }165    requirement reqRestorationBehavior : VisualizationInstrumentRequirementCandidate {166      doc /* REQ-AEBS-S2-009 System 2 candidate derived from N-AEBS-011. */167      subject increment : VisualizationIncrement;168      require constraint statement { language "English" /* After a failure disposition, the visualization test system shall present a bounded restored indication after the selected consecutive-valid-frame criterion is met, without application restart. */ }169      attribute :>> status = ReqStatus::ReadyForReview;170      attribute :>> source = "Derived from N-AEBS-011";171      attribute :>> rationale = "Recovery must be bounded and observable without application restart.";172    }173    requirement reqRealAAOSRendering : VisualizationInstrumentRequirementCandidate {174      doc /* REQ-AEBS-S2-010 System 2 candidate derived from N-AEBS-009 and N-AEBS-012. */175      subject increment : VisualizationIncrement;176      require constraint statement { language "English" /* The visualization test system shall render AEBS state in a native application inside a booted display-capable AAOS SDV guest. */ }177      attribute :>> status = ReqStatus::ReadyForReview;178      attribute :>> source = "Derived from N-AEBS-009 and N-AEBS-012";179      attribute :>> rationale = "The rendering surface must be the real AAOS guest application.";180    }181    requirement reqAaosEnvironmentObservation : VisualizationInstrumentRequirementCandidate {182      doc /* REQ-AEBS-S2-012 System 2 candidate derived from N-AEBS-009. */183      subject increment : VisualizationIncrement;184      require constraint statement { language "English" /* While AEBS state is rendered, the visualization test system shall observe the AAOS SDV guest package manager, system server, display composition, vehicle service, and SDV gateway within the same rendered session. */ }185      attribute :>> status = ReqStatus::ReadyForReview;186      attribute :>> source = "Derived from N-AEBS-009";187      attribute :>> rationale = "Runtime environment evidence must come from the same rendered session.";188    }189    requirement reqNoHostBrowserSurface : VisualizationInstrumentRequirementCandidate {190      doc /* REQ-AEBS-S2-013 System 2 candidate derived from N-AEBS-009. */191      subject increment : VisualizationIncrement;192      require constraint statement { language "English" /* The visualization test system shall not use a host-side browser page as the AEBS rendering surface. */ }193      attribute :>> status = ReqStatus::ReadyForReview;194      attribute :>> source = "Derived from N-AEBS-009";195      attribute :>> rationale = "A host-side browser page is not the AAOS rendering surface the need demands.";196    }197    requirement reqEvidenceCorrelation : VisualizationInstrumentRequirementCandidate {198      doc /* REQ-AEBS-S2-011 System 2 candidate derived from N-AEBS-012. */199      subject increment : VisualizationIncrement;200      require constraint statement { language "English" /* The visualization test system shall retain source, transport, ingress, and guest identity, sequence, timestamp, log, and guest-native capture records for each rendered state so that each rendered state can be correlated with its observed source event. */ }201      attribute :>> status = ReqStatus::ReadyForReview;202      attribute :>> source = "Derived from N-AEBS-012";203      attribute :>> rationale = "Each rendered state must be correlatable with its observed source event.";204    }205  }206207  public import VisualizationNeeds::*;208  public import VisualizationRequirements::*;209210  dependency reqSourceFidelityDerivedFromLiveVisualizationOnAAOS from reqSourceFidelity to needLiveVisualizationOnAAOS;211  dependency reqSourceFidelityDerivedFromPreservedSourceProvenance from reqSourceFidelity to needPreservedSourceProvenance;212  dependency reqNativeParticipationDerivedFromLiveVisualizationOnAAOS from reqNativeParticipation to needLiveVisualizationOnAAOS;213  dependency reqNoNativeImpersonationDerivedFromPreservedSourceProvenance from reqNoNativeImpersonation to needPreservedSourceProvenance;214  dependency reqDe4sdvParticipationDerivedFromLiveVisualizationOnAAOS from reqDe4sdvParticipation to needLiveVisualizationOnAAOS;215  dependency reqNonInterferenceDerivedFromNonInterference from reqNonInterference to needNonInterference;216  dependency reqFailClosedFreshnessDerivedFromFailClosedDegradation from reqFailClosedFreshness to needFailClosedDegradation;217  dependency reqAvailabilityDispositionDerivedFromFailClosedDegradation from reqAvailabilityDisposition to needFailClosedDegradation;218  dependency reqInvalidRejectionDerivedFromFailClosedDegradation from reqInvalidRejection to needFailClosedDegradation;219  dependency reqRestorationBehaviorDerivedFromFailClosedDegradation from reqRestorationBehavior to needFailClosedDegradation;220  dependency reqRealAAOSRenderingDerivedFromLiveVisualizationOnAAOS from reqRealAAOSRendering to needLiveVisualizationOnAAOS;221  dependency reqRealAAOSRenderingDerivedFromCorrelatableEvidence from reqRealAAOSRendering to needCorrelatableEvidence;222  dependency reqAaosEnvironmentObservationDerivedFromLiveVisualizationOnAAOS from reqAaosEnvironmentObservation to needLiveVisualizationOnAAOS;223  dependency reqNoHostBrowserSurfaceDerivedFromLiveVisualizationOnAAOS from reqNoHostBrowserSurface to needLiveVisualizationOnAAOS;224  dependency reqEvidenceCorrelationDerivedFromCorrelatableEvidence from reqEvidenceCorrelation to needCorrelatableEvidence;225226  /* Phase order provenance: needs/requirements (Phase 3–5) derive from the227   * framing slice of the same INC-AEBS-010; the increment part incAEBS010228   * (DE4SDV_AEBSVisualizationFraming) is the single increment identity. */229230231  part gapAaosTargetUnproven : IncrementGap {232    doc /*233     * GAP-AEBS-010-004: A display-capable AAOS SDV target with a working234     * application surface is required by REQ-AEBS-S2-010 but is not yet235     * proven at a pinned revision; realization selection stays deferred.236     */237  }238  part gapFreshnessParametersOpen : IncrementGap {239    doc /*240     * GAP-AEBS-010-005: The bounded timeout, consecutive-valid-frame count,241     * and restoration indication duration referenced by REQ-AEBS-S2-006 and242     * REQ-AEBS-S2-009 remain planning targets until the configuration slice.243     */244  }245246  concern visualizationNeedsConcern : StakeholderNeedsConcern {247    subject;248    stakeholder systemsEngineer : SystemsEngineer;249    stakeholder reviewer : OpenSourceReviewer;250  }251  concern visualizationRequirementTraceConcern : RequirementTraceConcern {252    subject;253    stakeholder verificationEngineer : VerificationEngineer;254    stakeholder reviewer : OpenSourceReviewer;255  }256257  view aebsVisualizationNeedsView : TVD::TableView {258    viewpoint selectedNeedsViewpoint : StakeholderRequirementDefinitionViewpoint { frame visualizationNeedsConcern; }259    expose VisualizationNeeds::*;260    filter @ SysML::RequirementUsage;261    attribute :>> includeReferenceElements = true;262    attribute :>> maxRowHeight = 300;263    view ID :> columnViews {264      attribute :>> featureToRender = CT::declaredName;265    }266    view Name :> columnViews {267      attribute :>> featureToRender = CT::heritage;268    }269    view Statement :> columnViews {270      attribute :>> featureToRender = CT::constraintLanguage {271        attribute constraintName = "statement";272        attribute constraintType = CL::ConT::required;273        attribute constraintLanguage = "English";274      }275      attribute :>> columnWidth = 360;276    }277  }278279  view aebsVisualizationRequirementTraceView {280    viewpoint selectedTraceViewpoint : SystemRequirementTraceabilityViewpoint { frame visualizationRequirementTraceConcern; }281    expose VisualizationNeeds::*;282    expose VisualizationRequirements::*;283    render asTreeDiagram;284  }285}286