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

Source

1/*2 * DE4SDV AEBS functional behavior model slice.3 *4 * This package mirrors INC-AEBS-004 from5 * methodologies/sysmod-sysmlv2/pilots/aebs-functional-behavior.yaml.6 * It is a functional-domain slice only: no conceptual component allocation,7 * physical/software realization, accepted VSS interface mapping, or UNECE R1528 * compliance/type-approval claim is made here.9 *10 * Functional information items reuse generated COVESA VSS signal definitions11 * where available and DE4SDV candidate VSS extension definitions where gaps12 * exist. These signal definitions are semantic catalog references; they are13 * not used here as architecture topology or implementation ownership.14 */1516package DE4SDV_AEBSFunctionalBehavior {17  package Features {18    package AEBS {19      package FunctionalBehavior {20        private import DE4SDV_MethodContext::*;21        private import DE4SDV_ProductLine::*;22        private import COVESA_VSS::**;23        private import DE4SDV_VSS_Extensions::**;24        private import DE4SDV_MethodViewpoints::*;25        private import SAF_Viewpoints::*;26        private import DE4SDV_Stakeholders::*;27        private import Views::*;2829        part incAEBS004 : FeatureIncrement;3031        item def VehicleMotionState {32          doc /* Abstract state needed to reason about subject-vehicle motion for the AEBS vehicle-target slice. */33          attribute vehicleSpeed : Vehicle_Speed;34          attribute longitudinalAcceleration : Vehicle_Acceleration_Longitudinal;35        }3637        item def ForwardTargetState {38          doc /* Abstract state of the vehicle target ahead of the subject vehicle. */39          attribute obstacleDistance : Vehicle_ADAS_ObstacleDetection_Distance;40          attribute obstacleTimeGap : Vehicle_ADAS_ObstacleDetection_TimeGap;41        }4243        item def CollisionRiskAssessment {44          doc /* Functional assessment that forward collision risk is imminent under selected operating conditions. */45          attribute obstacleWarning : Vehicle_ADAS_ObstacleDetection_IsWarning;46          attribute obstacleWarningType : Vehicle_ADAS_ObstacleDetection_WarningType;47          attribute collisionRiskDetected : Vehicle_ADAS_AEBS_CollisionRisk_IsDetected;48        }4950        item def DriverWarningRequest {51          doc /* Functional request to warn the driver when selected warning conditions are met. */52          attribute obstacleWarning : Vehicle_ADAS_ObstacleDetection_IsWarning;53          attribute obstacleWarningType : Vehicle_ADAS_ObstacleDetection_WarningType;54          attribute driverWarningActive : Vehicle_ADAS_AEBS_DriverWarning_IsActive;55        }5657        item def DriverOverrideInput {58          doc /* Functional input indicating conscious driver override of AEBS intervention. */59          attribute driverOverrideActive : Vehicle_ADAS_AEBS_DriverOverride_IsActive;60        }6162        item def DriverOverrideDecision {63          doc /* Functional decision describing whether conscious driver override prevents or modifies AEBS intervention. */64          attribute driverOverrideActive : Vehicle_ADAS_AEBS_DriverOverride_IsActive;65        }6667        item def EmergencyBrakingCommand {68          doc /* Functional command expectation for emergency braking when activation conditions are met and no override prevents intervention. */69          attribute ebaEngaged : Vehicle_ADAS_EBA_IsEngaged;70          attribute brakeLightActive : Vehicle_Body_Lights_Brake_IsActive;71          attribute emergencyBrakingCommanded : Vehicle_ADAS_AEBS_EmergencyBraking_IsCommanded;72        }7374        item def AEBSFailureStatus {75          doc /* Functional status indicating detected AEBS-related failure conditions. */76          attribute ebaError : Vehicle_ADAS_EBA_IsError;77          attribute absError : Vehicle_ADAS_ABS_IsError;78          attribute aebsError : Vehicle_ADAS_AEBS_IsError;79        }8081        item def FailureIndicationRequest {82          doc /* Functional request to indicate AEBS-related failure without hiding safe-operation concerns. */83          attribute failureIndicationActive : Vehicle_ADAS_AEBS_FailureIndication_IsActive;84        }8586        item def AEBSEvidenceEvent {87          doc /* Functional event record seed for later verification, validation, and evidence-baseline work. */88          attribute evidenceEventRecorded : Vehicle_ADAS_AEBS_EvidenceEvent_IsRecorded;89        }9091        action def AcquireVehicleAndTargetState {92          out vehicleMotionState : VehicleMotionState;93          out forwardTargetState : ForwardTargetState;94        }9596        action def AssessForwardCollisionRisk {97          in vehicleMotionState : VehicleMotionState;98          in forwardTargetState : ForwardTargetState;99          out collisionRiskAssessment : CollisionRiskAssessment;100        }101102        action def RequestDriverWarning {103          in collisionRiskAssessment : CollisionRiskAssessment;104          out driverWarningRequest : DriverWarningRequest;105        }106107        action def EvaluateDriverOverride {108          in driverOverrideInput : DriverOverrideInput;109          in collisionRiskAssessment : CollisionRiskAssessment;110          out driverOverrideDecision : DriverOverrideDecision;111        }112113        action def RequestEmergencyBraking {114          in collisionRiskAssessment : CollisionRiskAssessment;115          in driverOverrideDecision : DriverOverrideDecision;116          out emergencyBrakingCommand : EmergencyBrakingCommand;117        }118119        action def MonitorAEBSFailureStatus {120          in aebsFailureStatus : AEBSFailureStatus;121          out failureIndicationRequest : FailureIndicationRequest;122        }123124        action def RecordAEBSEvidenceEvent {125          in collisionRiskAssessment : CollisionRiskAssessment;126          in driverWarningRequest : DriverWarningRequest;127          in emergencyBrakingCommand : EmergencyBrakingCommand;128          in failureIndicationRequest : FailureIndicationRequest;129          out aebsEvidenceEvent : AEBSEvidenceEvent;130        }131132        action def VehicleTargetAEBSFunctionalFlow {133          in item driverOverrideInput : DriverOverrideInput;134          in item aebsFailureStatus : AEBSFailureStatus;135          out item driverWarningRequest : DriverWarningRequest;136          out item emergencyBrakingCommand : EmergencyBrakingCommand;137          out item failureIndicationRequest : FailureIndicationRequest;138          out item aebsEvidenceEvent : AEBSEvidenceEvent;139140          action acquireState : AcquireVehicleAndTargetState {141            out vehicleMotionState;142            out forwardTargetState;143          }144145          action assessRisk : AssessForwardCollisionRisk {146            in vehicleMotionState;147            in forwardTargetState;148            out collisionRiskAssessment;149          }150151          flow from acquireState.vehicleMotionState to assessRisk.vehicleMotionState;152          flow from acquireState.forwardTargetState to assessRisk.forwardTargetState;153          first acquireState then assessRisk;154155          action requestWarning : RequestDriverWarning {156            in collisionRiskAssessment;157            out driverWarningRequest = VehicleTargetAEBSFunctionalFlow::driverWarningRequest;158          }159160          flow from assessRisk.collisionRiskAssessment to requestWarning.collisionRiskAssessment;161          first assessRisk then requestWarning;162163          action evaluateOverride : EvaluateDriverOverride {164            in driverOverrideInput = VehicleTargetAEBSFunctionalFlow::driverOverrideInput;165            in collisionRiskAssessment;166            out driverOverrideDecision;167          }168169          flow from assessRisk.collisionRiskAssessment to evaluateOverride.collisionRiskAssessment;170          first assessRisk then evaluateOverride;171172          action requestBraking : RequestEmergencyBraking {173            in collisionRiskAssessment;174            in driverOverrideDecision;175            out emergencyBrakingCommand = VehicleTargetAEBSFunctionalFlow::emergencyBrakingCommand;176          }177178          flow from assessRisk.collisionRiskAssessment to requestBraking.collisionRiskAssessment;179          flow from evaluateOverride.driverOverrideDecision to requestBraking.driverOverrideDecision;180          first evaluateOverride then requestBraking;181182          action monitorFailure : MonitorAEBSFailureStatus {183            in aebsFailureStatus = VehicleTargetAEBSFunctionalFlow::aebsFailureStatus;184            out failureIndicationRequest = VehicleTargetAEBSFunctionalFlow::failureIndicationRequest;185          }186187          action recordEvidence : RecordAEBSEvidenceEvent {188            in collisionRiskAssessment;189            in driverWarningRequest;190            in emergencyBrakingCommand;191            in failureIndicationRequest;192            out aebsEvidenceEvent = VehicleTargetAEBSFunctionalFlow::aebsEvidenceEvent;193          }194195          flow from assessRisk.collisionRiskAssessment to recordEvidence.collisionRiskAssessment;196          flow from requestWarning.driverWarningRequest to recordEvidence.driverWarningRequest;197          flow from requestBraking.emergencyBrakingCommand to recordEvidence.emergencyBrakingCommand;198          flow from monitorFailure.failureIndicationRequest to recordEvidence.failureIndicationRequest;199          first requestBraking then recordEvidence;200          first monitorFailure then recordEvidence;201        }202203        action vehicleTargetAEBSFunctionalFlow : VehicleTargetAEBSFunctionalFlow;204205        // ─── Functional interface ports (INC-AEBS-005) ───206207        part incAEBS005 : FeatureIncrement;208209        // Inbound interface port definitions210211        port def DriverOverrideInputInbound {212          doc /* Inbound port for conscious driver override of AEBS intervention. */213          in item driverOverrideInput : DriverOverrideInput;214        }215216        port def AEBSFailureStatusInbound {217          doc /* Inbound port for detected AEBS-related failure conditions. */218          in item aebsFailureStatus : AEBSFailureStatus;219        }220221        // Outbound interface port definitions222223        port def DriverWarningRequestOutbound {224          doc /* Outbound port for driver warning requests when warning conditions are met. */225          out item driverWarningRequest : DriverWarningRequest;226        }227228        port def EmergencyBrakingCommandOutbound {229          doc /* Outbound port for emergency braking commands when activation conditions are met. */230          out item emergencyBrakingCommand : EmergencyBrakingCommand;231        }232233        port def FailureIndicationRequestOutbound {234          doc /* Outbound port for AEBS failure indication requests. */235          out item failureIndicationRequest : FailureIndicationRequest;236        }237238        port def AEBSEvidenceEventOutbound {239          doc /* Outbound port for AEBS evidence event records for later V&V work. */240          out item aebsEvidenceEvent : AEBSEvidenceEvent;241        }242243        // Functional chain with typed boundary ports244245        part def VehicleTargetAEBSFunctionalChain {246          doc /*247           * Functional chain part owning the AEBS vehicle-target interface ports.248           * Not a conceptual component allocation — no ECU, software, sensor, or bus249           * assignment is implied. The chain performs the composite functional250           * flow from INC-AEBS-004 and exposes its boundary as typed ports.251           */252253          port driverOverrideInputIn : DriverOverrideInputInbound;254          port aebsFailureStatusIn : AEBSFailureStatusInbound;255          port driverWarningRequestOut : DriverWarningRequestOutbound;256          port emergencyBrakingCommandOut : EmergencyBrakingCommandOutbound;257          port failureIndicationRequestOut : FailureIndicationRequestOutbound;258          port aebsEvidenceEventOut : AEBSEvidenceEventOutbound;259260          perform vehicleTargetAEBSFunctionalFlow : VehicleTargetAEBSFunctionalFlow {261            in item driverOverrideInput = driverOverrideInputIn.driverOverrideInput;262            in item aebsFailureStatus = aebsFailureStatusIn.aebsFailureStatus;263            out item driverWarningRequest = driverWarningRequestOut.driverWarningRequest;264            out item emergencyBrakingCommand = emergencyBrakingCommandOut.emergencyBrakingCommand;265            out item failureIndicationRequest = failureIndicationRequestOut.failureIndicationRequest;266            out item aebsEvidenceEvent = aebsEvidenceEventOut.aebsEvidenceEvent;267          }268        }269270        part vehicleTargetAEBSFunctionalChain : VehicleTargetAEBSFunctionalChain;271272        concern functionalBehaviorConcern : FunctionalBehaviorConcern {273          doc /*274           * Reviewers need the AEBS functional responsibilities, information275           * items, flows, and sequencing visible with requirement trace.276           */277          subject;278          stakeholder systemsEngineer : SystemsEngineer;279          stakeholder reviewer : OpenSourceReviewer;280        }281282        concern functionalInterfaceConcern : FunctionalInterfaceConcern {283          doc /*284           * Reviewers need the AEBS functional boundary ports, signal285           * character, direction, and the functional chain that owns them.286           */287          subject;288          stakeholder systemsEngineer : SystemsEngineer;289          stakeholder reviewer : OpenSourceReviewer;290        }291292        view aebsFunctionalBehaviorView {293          viewpoint selectedFunctionalBehaviorViewpoint : SystemFunctionalBreakdownStructureViewpoint {294            frame functionalBehaviorConcern;295          }296297          expose VehicleTargetAEBSFunctionalFlow;298          render asTreeDiagram;299        }300301        view aebsFunctionalInterfaceView {302          viewpoint selectedFunctionalInterfaceViewpoint : SystemInterfaceDefinitionViewpoint {303            frame functionalInterfaceConcern;304          }305306          expose VehicleTargetAEBSFunctionalChain;307          expose FunctionalBehavior::*[308            istype SysML::PortDefinition or istype SysML::ItemDefinition309          ];310          render asTreeDiagram;311        }312      }313    }314  }315}