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 DE4SDV_SYSMODAdapter::*;24        private import SAF_Viewpoints::*;25        private import Views::*;2627        item def VehicleTargetObservation;28        item def ForwardCollisionRiskEstimate;29        item def DriverCollisionWarning;30        item def DriverOverrideDecision;31        item def EmergencyBrakingCommand;32        item def EvidenceExpectationRecord;33        item def FailureIndication;3435        action def ObserveVehicleTarget {36          out observation : VehicleTargetObservation;37        }3839        action def DetectImminentForwardCollisionRisk {40          in observation : VehicleTargetObservation;41          out riskEstimate : ForwardCollisionRiskEstimate;42        }4344        action def WarnDriverWhenRequired {45          in riskEstimate : ForwardCollisionRiskEstimate;46          out warning : DriverCollisionWarning;47        }4849        action def EvaluateDriverOverride {50          in warning : DriverCollisionWarning;51          out overrideDecision : DriverOverrideDecision;52        }5354        action def CommandEmergencyBraking {55          in riskEstimate : ForwardCollisionRiskEstimate;56          in overrideDecision : DriverOverrideDecision;57          out brakingCommand : EmergencyBrakingCommand;58        }5960        action def RecordOperationalEvidenceExpectation {61          in riskEstimate : ForwardCollisionRiskEstimate;62          in brakingCommand : EmergencyBrakingCommand;63          out evidenceExpectation : EvidenceExpectationRecord;64        }6566        action def IndicateAEBSFailureConcern {67          out failureIndication : FailureIndication;68        }6970        action def VehicleTargetForwardCollisionMitigationFlow {71          in item observation : VehicleTargetObservation;72          out item brakingCommand : EmergencyBrakingCommand;73          out item evidenceExpectation : EvidenceExpectationRecord;7475          action observeVehicleTarget : ObserveVehicleTarget {76            out observation = VehicleTargetForwardCollisionMitigationFlow::observation;77          }7879          action detectRisk : DetectImminentForwardCollisionRisk {80            in observation;81            out riskEstimate;82          }8384          flow from observeVehicleTarget.observation to detectRisk.observation;85          first observeVehicleTarget then detectRisk;8687          action warnDriver : WarnDriverWhenRequired {88            in riskEstimate;89            out warning;90          }9192          flow from detectRisk.riskEstimate to warnDriver.riskEstimate;93          first detectRisk then warnDriver;9495          action evaluateDriverOverride : EvaluateDriverOverride {96            in warning;97            out overrideDecision;98          }99100          flow from warnDriver.warning to evaluateDriverOverride.warning;101          first warnDriver then evaluateDriverOverride;102103          action commandEmergencyBraking : CommandEmergencyBraking {104            in riskEstimate;105            in overrideDecision;106            out brakingCommand = VehicleTargetForwardCollisionMitigationFlow::brakingCommand;107          }108109          flow from detectRisk.riskEstimate to commandEmergencyBraking.riskEstimate;110          flow from evaluateDriverOverride.overrideDecision to commandEmergencyBraking.overrideDecision;111          first evaluateDriverOverride then commandEmergencyBraking;112113          action recordEvidenceExpectation : RecordOperationalEvidenceExpectation {114            in riskEstimate;115            in brakingCommand;116            out evidenceExpectation = VehicleTargetForwardCollisionMitigationFlow::evidenceExpectation;117          }118119          flow from detectRisk.riskEstimate to recordEvidenceExpectation.riskEstimate;120          flow from commandEmergencyBraking.brakingCommand to recordEvidenceExpectation.brakingCommand;121          first commandEmergencyBraking then recordEvidenceExpectation;122        }123124        use case def MitigateVehicleTargetForwardCollisionRisk125          :> SYSMODSystemUseCaseBase {126          subject subjectVehicle : SubjectVehicle;127          actor driver : Driver;128          actor vehicleTarget : VehicleTarget;129          actor roadEnvironment : RoadEnvironment;130          actor evidenceBaseline : DE4SDVEvidenceBaseline;131          actor reviewer : OpenSourceReviewer;132133          attribute redefines ucMotivation = "Driver needs emergency braking assistance to avoid or mitigate a rear-end collision with a forward vehicle target.";134          attribute redefines ucTrigger = "The subject vehicle approaches a forward vehicle target with a collision risk that exceeds the intervention threshold.";135          attribute redefines ucResult = "The driver is warned and, absent a decisive override, emergency braking is commanded to mitigate the collision risk.";136137          objective {138            doc /*139             * Establish the operational story for vehicle-target forward140             * collision risk mitigation in the AEBS pilot. This use case141             * frames the operational context only; requirements, functional142             * interfaces, VSS signal candidates, conceptual realization,143             * physical/software realization, and compliance evidence are144             * intentionally deferred to later increments.145             */146          }147        }148149        part subjectVehicle : SubjectVehicle;150        part driver : Driver;151        part vehicleTarget : VehicleTarget;152        part roadEnvironment : RoadEnvironment;153        part de4sdvEvidenceBaseline : DE4SDVEvidenceBaseline;154        part de4sdvReviewer : OpenSourceReviewer;155156        use case vehicleTargetForwardCollisionStory : MitigateVehicleTargetForwardCollisionRisk {157          subject subjectVehicle = OperationalContext::subjectVehicle;158          actor driver = OperationalContext::driver;159          actor vehicleTarget = OperationalContext::vehicleTarget;160          actor roadEnvironment = OperationalContext::roadEnvironment;161          actor evidenceBaseline = OperationalContext::de4sdvEvidenceBaseline;162          actor reviewer = OperationalContext::de4sdvReviewer;163        }164165        action vehicleTargetForwardCollisionMitigationFlow : VehicleTargetForwardCollisionMitigationFlow;166        action detectedFailureConcern : IndicateAEBSFailureConcern;167168        concern operationalContextConcern : OperationalContextConcern {169          doc /*170           * Reviewers need the AEBS operational actors, context boundary,171           * and operational story to be visible for this increment.172           */173          subject;174          stakeholder systemsEngineer : SystemsEngineer;175          stakeholder reviewer : OpenSourceReviewer;176        }177178        view aebsOperationalContextView {179          viewpoint selectedOperationalContextViewpoint : OperationalContextDefinitionViewpoint {180            frame operationalContextConcern;181          }182183          expose OperationalContext::vehicleTargetForwardCollisionStory;184          attribute depth = 1;185          render asTreeDiagram;186        }187      }188    }189  }190}191