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

Source

1/*2 * DE4SDV AEBS operational context model slice.3 *4 * This package mirrors INC-AEBS-002 from5 * methodologies/sysmod-sysmlv2/pilots/aebs-operational-context.yaml.6 * It is an operational-domain model slice only: no design-input requirements,7 * VSS signal mapping, conceptual realization, physical/software realization, or8 * UNECE R152 compliance claim is made here.9 *10 * Shared operational actors/context entities are imported from11 * DE4SDV_OperationalContext. Needs, validation scenarios, assumptions, gaps,12 * and acceptance criteria remain in the companion YAML/Markdown artifacts until13 * a dedicated V&V/evidence SysML slice exists.14 */1516package DE4SDV_AEBSOperationalContext {17  package Features {18    package AEBS {19      package OperationalContext {20        private import DE4SDV_OperationalContext::*;21        private import DE4SDV_Stakeholders::*;22        private import DE4SDV_MethodViewpoints::*;23        private import SAF_Viewpoints::*;24        private import Views::*;2526        item def VehicleTargetObservation;27        item def ForwardCollisionRiskEstimate;28        item def DriverCollisionWarning;29        item def DriverOverrideDecision;30        item def EmergencyBrakingCommand;31        item def EvidenceExpectationRecord;32        item def FailureIndication;3334        action def ObserveVehicleTarget {35          out observation : VehicleTargetObservation;36        }3738        action def DetectImminentForwardCollisionRisk {39          in observation : VehicleTargetObservation;40          out riskEstimate : ForwardCollisionRiskEstimate;41        }4243        action def WarnDriverWhenRequired {44          in riskEstimate : ForwardCollisionRiskEstimate;45          out warning : DriverCollisionWarning;46        }4748        action def EvaluateDriverOverride {49          in warning : DriverCollisionWarning;50          out overrideDecision : DriverOverrideDecision;51        }5253        action def CommandEmergencyBraking {54          in riskEstimate : ForwardCollisionRiskEstimate;55          in overrideDecision : DriverOverrideDecision;56          out brakingCommand : EmergencyBrakingCommand;57        }5859        action def RecordOperationalEvidenceExpectation {60          in riskEstimate : ForwardCollisionRiskEstimate;61          in brakingCommand : EmergencyBrakingCommand;62          out evidenceExpectation : EvidenceExpectationRecord;63        }6465        action def IndicateAEBSFailureConcern {66          out failureIndication : FailureIndication;67        }6869        action def VehicleTargetForwardCollisionMitigationFlow {70          in item observation : VehicleTargetObservation;71          out item brakingCommand : EmergencyBrakingCommand;72          out item evidenceExpectation : EvidenceExpectationRecord;7374          action observeVehicleTarget : ObserveVehicleTarget {75            out observation = VehicleTargetForwardCollisionMitigationFlow::observation;76          }7778          action detectRisk : DetectImminentForwardCollisionRisk {79            in observation;80            out riskEstimate;81          }8283          flow from observeVehicleTarget.observation to detectRisk.observation;84          first observeVehicleTarget then detectRisk;8586          action warnDriver : WarnDriverWhenRequired {87            in riskEstimate;88            out warning;89          }9091          flow from detectRisk.riskEstimate to warnDriver.riskEstimate;92          first detectRisk then warnDriver;9394          action evaluateDriverOverride : EvaluateDriverOverride {95            in warning;96            out overrideDecision;97          }9899          flow from warnDriver.warning to evaluateDriverOverride.warning;100          first warnDriver then evaluateDriverOverride;101102          action commandEmergencyBraking : CommandEmergencyBraking {103            in riskEstimate;104            in overrideDecision;105            out brakingCommand = VehicleTargetForwardCollisionMitigationFlow::brakingCommand;106          }107108          flow from detectRisk.riskEstimate to commandEmergencyBraking.riskEstimate;109          flow from evaluateDriverOverride.overrideDecision to commandEmergencyBraking.overrideDecision;110          first evaluateDriverOverride then commandEmergencyBraking;111112          action recordEvidenceExpectation : RecordOperationalEvidenceExpectation {113            in riskEstimate;114            in brakingCommand;115            out evidenceExpectation = VehicleTargetForwardCollisionMitigationFlow::evidenceExpectation;116          }117118          flow from detectRisk.riskEstimate to recordEvidenceExpectation.riskEstimate;119          flow from commandEmergencyBraking.brakingCommand to recordEvidenceExpectation.brakingCommand;120          first commandEmergencyBraking then recordEvidenceExpectation;121        }122123        use case def MitigateVehicleTargetForwardCollisionRisk {124          subject subjectVehicle : SubjectVehicle;125          actor driver : Driver;126          actor vehicleTarget : VehicleTarget;127          actor roadEnvironment : RoadEnvironment;128          actor evidenceBaseline : DE4SDVEvidenceBaseline;129          actor reviewer : OpenSourceReviewer;130131          objective {132            doc /*133             * Establish the operational story for vehicle-target forward134             * collision risk mitigation in the AEBS pilot. This use case135             * frames the operational context only; requirements, functional136             * interfaces, VSS signal candidates, conceptual realization,137             * physical/software realization, and compliance evidence are138             * intentionally deferred to later increments.139             */140          }141        }142143        part subjectVehicle : SubjectVehicle;144        part driver : Driver;145        part vehicleTarget : VehicleTarget;146        part roadEnvironment : RoadEnvironment;147        part de4sdvEvidenceBaseline : DE4SDVEvidenceBaseline;148        part de4sdvReviewer : OpenSourceReviewer;149150        use case vehicleTargetForwardCollisionStory : MitigateVehicleTargetForwardCollisionRisk {151          subject subjectVehicle = OperationalContext::subjectVehicle;152          actor driver = OperationalContext::driver;153          actor vehicleTarget = OperationalContext::vehicleTarget;154          actor roadEnvironment = OperationalContext::roadEnvironment;155          actor evidenceBaseline = OperationalContext::de4sdvEvidenceBaseline;156          actor reviewer = OperationalContext::de4sdvReviewer;157        }158159        action vehicleTargetForwardCollisionMitigationFlow : VehicleTargetForwardCollisionMitigationFlow;160        action detectedFailureConcern : IndicateAEBSFailureConcern;161162        concern operationalContextConcern : OperationalContextConcern {163          doc /*164           * Reviewers need the AEBS operational actors, context boundary,165           * and operational story to be visible for this increment.166           */167          subject;168          stakeholder systemsEngineer : SystemsEngineer;169          stakeholder reviewer : OpenSourceReviewer;170        }171172        view aebsOperationalContextView {173          viewpoint selectedOperationalContextViewpoint : OperationalContextDefinitionViewpoint {174            frame operationalContextConcern;175          }176177          expose OperationalContext::vehicleTargetForwardCollisionStory;178          attribute depth = 1;179          render asTreeDiagram;180        }181      }182    }183  }184}185