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

Source

1/*2 * DE4SDV AEBS visualization operational context slice.3 *4 * INC-AEBS-010 Phase 1–2 content: stakeholder concerns, actors, and bounded5 * operational scenarios for the visualization test system around the existing6 * AEBS behavior. This slice is System 2 operational context only; it does not7 * change the System 1 AEBS operational story, does not select transport or8 * application technology, and does not presuppose a host browser as the9 * rendering surface.10 */1112package DE4SDV_AEBSVisualizationOperationalContext {13  private import DE4SDV_MethodContext::*;14  private import DE4SDV_OperationalContext::*;15  private import DE4SDV_Stakeholders::*;16  private import DE4SDV_MethodViewpoints::*;17  private import DE4SDV_SYSMODAdapter::*;18  private import DE4SDV_AEBSVisualizationFraming::*;19  private import SAF_Viewpoints::*;20  private import Views::*;2122  item def VisualizationFrame;23  item def RenderedAEBSState;24  item def SourceFreshnessIndication;2526  action def ObserveAEBSRuntime {27    out visualizationFrame : VisualizationFrame;28  }2930  action def ValidateFrame {31    in visualizationFrame : VisualizationFrame;32    out validatedFrame : VisualizationFrame;33    out freshness : SourceFreshnessIndication;34  }3536  action def RenderAEBSState {37    in validatedFrame : VisualizationFrame;38    out renderedState : RenderedAEBSState;39  }4041  action def SuppressStalePresentation {42    in freshness : SourceFreshnessIndication;43    out renderedState : RenderedAEBSState;44  }4546  action def AebsVisualizationObservationFlow {47    out item renderedState : RenderedAEBSState;4849    action observe : ObserveAEBSRuntime {50      out visualizationFrame;51    }5253    action validate : ValidateFrame {54      in visualizationFrame = observe.visualizationFrame;55      out validatedFrame;56      out freshness;57    }5859    flow from observe.visualizationFrame to validate.visualizationFrame;60    first observe then validate;6162    action presentState : RenderAEBSState {63      in validatedFrame;64      out renderedState = AebsVisualizationObservationFlow::renderedState;65    }6667    flow from validate.validatedFrame to presentState.validatedFrame;6869    action suppress : SuppressStalePresentation {70      in freshness;71      out renderedState = AebsVisualizationObservationFlow::renderedState;72    }7374    flow from validate.freshness to suppress.freshness;75  }7677  use case def ObserveAEBSVisualizationOnAAOS78    :> SYSMODSystemUseCaseBase {79    subject instrumentedMember : SubjectVehicle;80    actor reviewer : OpenSourceReviewer;81    actor driver : Driver;82    actor vehicleTarget : VehicleTarget;83    actor evidenceBaseline : DE4SDVEvidenceBaseline;8485    attribute redefines ucMotivation = "Reviewers need to see live AEBS threat and intervention state, with honest provenance, on an actual AAOS SDV display rather than a host-side substitute.";86    attribute redefines ucTrigger = "The instrumented member runs the deterministic AEBS bench scenario while the visualization test system observes live AEBS sources.";87    attribute redefines ucResult = "The AAOS display shows the current AEBS state with per-field provenance, and degrades fail-closed when sources are stale, unavailable, or invalid.";8889    objective {90      doc /*91       * Frame the visualization observation scenarios only. The System 192       * AEBS collision-risk mitigation story in the AEBS operational context93       * remains authoritative and unchanged; this use case adds observation,94       * presentation, and fail-closed behavior around it.95       */96    }97  }9899  part instrumentedMember : SubjectVehicle {100    doc /* The configured member executing the unchanged System 1 AEBS behavior. */101  }102  part displayReviewer : OpenSourceReviewer;103  part observingDriver : Driver;104  part scenarioVehicleTarget : VehicleTarget;105  part visualizationEvidenceBaseline : DE4SDVEvidenceBaseline;106107  use case aebsVisualizationStory : ObserveAEBSVisualizationOnAAOS {108    subject instrumentedMember;109    actor reviewer = displayReviewer;110    actor driver = observingDriver;111    actor vehicleTarget = scenarioVehicleTarget;112    actor evidenceBaseline = visualizationEvidenceBaseline;113  }114115  action aebsVisualizationObservation : AebsVisualizationObservationFlow;116117  /*118   * Bounded scenario set at operational-story level. No transport,119   * serialization, or application technology appears here.120   */121  part scenarioHealthyMonitoring : InScopeItem {122    doc /* SC-AEBS-010-01: Sources live; display shows monitoring state with native RSS and no warning or intervention. */123  }124  part scenarioWarningInterventionRelease : InScopeItem {125    doc /* SC-AEBS-010-02: Warning precedes native intervention; release follows the verified-stop condition; display order matches source order. */126  }127  part scenarioStaleSource : InScopeItem {128    doc /* SC-AEBS-010-03: Frames cease while presentation remains live; display enters the stale disposition within the bounded timeout. */129  }130  part scenarioUnavailableSource : InScopeItem {131    doc /* SC-AEBS-010-04: Source or service is absent; display presents the unavailable disposition. */132  }133  part scenarioInvalidEnvelope : InScopeItem {134    doc /* SC-AEBS-010-05: Unsupported schema, out-of-range, stale-timestamp, or non-monotonic input is rejected without displaying its values. */135  }136  part scenarioRestoration : InScopeItem {137    doc /* SC-AEBS-010-06: Valid frames resume; display returns to current source state after the bounded restoration criterion, without restart. */138  }139140  concern visualizationScenarioConcern : OperationalContextConcern {141    doc /*142     * Reviewers need the visualization observation scenarios, their143     * fail-closed dispositions, and their separation from the unchanged144     * System 1 AEBS story to be visible.145     */146    subject;147    stakeholder systemsEngineer : SystemsEngineer;148    stakeholder verificationEngineer : VerificationEngineer;149    stakeholder reviewer : OpenSourceReviewer;150  }151152  view aebsVisualizationOperationalContextView {153    viewpoint selectedOperationalViewpoint : OperationalContextDefinitionViewpoint {154      frame visualizationScenarioConcern;155    }156157    expose aebsVisualizationStory;158    attribute depth = 1;159    render asTreeDiagram;160  }161}162