textual-notation-of-model/packages/features/aebs/aebs_functional_architecture.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-architecture.yaml.6 * It is a functional-architecture slice in the Conceptual Domain only: no7 * technology-independent system-element allocation,8 * physical/software realization, accepted VSS interface mapping, or UNECE R1529 * compliance/type-approval claim is made here.10 *11 * Functional information items reuse generated COVESA VSS signal definitions12 * where available and DE4SDV candidate VSS extension definitions where gaps13 * exist. These signal definitions are semantic catalog references; they are14 * not used here as architecture topology or implementation ownership.15 */1617package DE4SDV_AEBSFunctionalArchitecture {18  package Features {19    package AEBS {20      package FunctionalBehavior {21        private import DE4SDV_MethodContext::*;22        private import DE4SDV_ProductLine::*;23        private import COVESA_VSS::**;24        private import DE4SDV_VSS_Extensions::**;25        private import DE4SDV_MethodViewpoints::*;26        private import SAF_Viewpoints::*;27        private import DE4SDV_Stakeholders::*;28        private import Views::*;2930        part incAEBS004 : FeatureIncrement;3132        item def VehicleMotionState {33          doc /* Abstract state needed to reason about subject-vehicle motion for the AEBS vehicle-target slice. */34          attribute vehicleSpeed : Vehicle_Speed;35          attribute longitudinalAcceleration : Vehicle_Acceleration_Longitudinal;36        }3738        item def ForwardTargetState {39          doc /* Abstract state of the vehicle target ahead of the subject vehicle. */40          attribute obstacleDistance : Vehicle_ADAS_ObstacleDetection_Distance;41          attribute obstacleTimeGap : Vehicle_ADAS_ObstacleDetection_TimeGap;42        }4344        item def CollisionRiskAssessment {45          doc /* Functional assessment that forward collision risk is imminent under selected operating conditions. */46          attribute obstacleWarning : Vehicle_ADAS_ObstacleDetection_IsWarning;47          attribute obstacleWarningType : Vehicle_ADAS_ObstacleDetection_WarningType;48          attribute collisionRiskDetected : Vehicle_ADAS_AEBS_CollisionRisk_IsDetected;49        }5051        item def DriverWarningRequest {52          doc /* Functional request to warn the driver when selected warning conditions are met. */53          attribute obstacleWarning : Vehicle_ADAS_ObstacleDetection_IsWarning;54          attribute obstacleWarningType : Vehicle_ADAS_ObstacleDetection_WarningType;55          attribute driverWarningActive : Vehicle_ADAS_AEBS_DriverWarning_IsActive;56        }5758        item def DriverOverrideInput {59          doc /* Functional input indicating conscious driver override of AEBS intervention. */60          attribute driverOverrideActive : Vehicle_ADAS_AEBS_DriverOverride_IsActive;61        }6263        item def DriverOverrideDecision {64          doc /* Functional decision describing whether conscious driver override prevents or modifies AEBS intervention. */65          attribute driverOverrideActive : Vehicle_ADAS_AEBS_DriverOverride_IsActive;66        }6768        item def EmergencyBrakingCommand {69          doc /* Functional command expectation for emergency braking when activation conditions are met and no override prevents intervention. */70          attribute ebaEngaged : Vehicle_ADAS_EBA_IsEngaged;71          attribute brakeLightActive : Vehicle_Body_Lights_Brake_IsActive;72          attribute emergencyBrakingCommanded : Vehicle_ADAS_AEBS_EmergencyBraking_IsCommanded;73        }7475        item def AEBSFailureStatus {76          doc /* Functional status indicating detected AEBS-related failure conditions. */77          attribute ebaError : Vehicle_ADAS_EBA_IsError;78          attribute absError : Vehicle_ADAS_ABS_IsError;79          attribute aebsError : Vehicle_ADAS_AEBS_IsError;80        }8182        item def FailureIndicationRequest {83          doc /* Functional request to indicate AEBS-related failure without hiding safe-operation concerns. */84          attribute failureIndicationActive : Vehicle_ADAS_AEBS_FailureIndication_IsActive;85        }8687        item def AEBSEvidenceEvent {88          doc /* Functional event record seed for later verification, validation, and evidence-baseline work. */89          attribute evidenceEventRecorded : Vehicle_ADAS_AEBS_EvidenceEvent_IsRecorded;90        }9192        action def AcquireVehicleAndTargetState {93          out vehicleMotionState : VehicleMotionState;94          out forwardTargetState : ForwardTargetState;95        }9697        action def AssessForwardCollisionRisk {98          in vehicleMotionState : VehicleMotionState;99          in forwardTargetState : ForwardTargetState;100          out collisionRiskAssessment : CollisionRiskAssessment;101        }102103        action def RequestDriverWarning {104          in collisionRiskAssessment : CollisionRiskAssessment;105          out driverWarningRequest : DriverWarningRequest;106        }107108        action def EvaluateDriverOverride {109          in driverOverrideInput : DriverOverrideInput;110          in collisionRiskAssessment : CollisionRiskAssessment;111          out driverOverrideDecision : DriverOverrideDecision;112        }113114        action def RequestEmergencyBraking {115          in collisionRiskAssessment : CollisionRiskAssessment;116          in driverOverrideDecision : DriverOverrideDecision;117          out emergencyBrakingCommand : EmergencyBrakingCommand;118        }119120        action def MonitorAEBSFailureStatus {121          in aebsFailureStatus : AEBSFailureStatus;122          out failureIndicationRequest : FailureIndicationRequest;123        }124125        action def RecordAEBSEvidenceEvent {126          in collisionRiskAssessment : CollisionRiskAssessment;127          in driverWarningRequest : DriverWarningRequest;128          in emergencyBrakingCommand : EmergencyBrakingCommand;129          in failureIndicationRequest : FailureIndicationRequest;130          out aebsEvidenceEvent : AEBSEvidenceEvent;131        }132133        action def VehicleTargetAEBSFunctionalFlow {134          in item driverOverrideInput : DriverOverrideInput;135          in item aebsFailureStatus : AEBSFailureStatus;136          out item driverWarningRequest : DriverWarningRequest;137          out item emergencyBrakingCommand : EmergencyBrakingCommand;138          out item failureIndicationRequest : FailureIndicationRequest;139          out item aebsEvidenceEvent : AEBSEvidenceEvent;140141          action acquireState : AcquireVehicleAndTargetState {142            out vehicleMotionState;143            out forwardTargetState;144          }145146          action assessRisk : AssessForwardCollisionRisk {147            in vehicleMotionState;148            in forwardTargetState;149            out collisionRiskAssessment;150          }151152          flow from acquireState.vehicleMotionState to assessRisk.vehicleMotionState;153          flow from acquireState.forwardTargetState to assessRisk.forwardTargetState;154          first acquireState then assessRisk;155156          action requestWarning : RequestDriverWarning {157            in collisionRiskAssessment;158            out driverWarningRequest = VehicleTargetAEBSFunctionalFlow::driverWarningRequest;159          }160161          flow from assessRisk.collisionRiskAssessment to requestWarning.collisionRiskAssessment;162          first assessRisk then requestWarning;163164          action evaluateOverride : EvaluateDriverOverride {165            in driverOverrideInput = VehicleTargetAEBSFunctionalFlow::driverOverrideInput;166            in collisionRiskAssessment;167            out driverOverrideDecision;168          }169170          flow from assessRisk.collisionRiskAssessment to evaluateOverride.collisionRiskAssessment;171          first assessRisk then evaluateOverride;172173          action requestBraking : RequestEmergencyBraking {174            in collisionRiskAssessment;175            in driverOverrideDecision;176            out emergencyBrakingCommand = VehicleTargetAEBSFunctionalFlow::emergencyBrakingCommand;177          }178179          flow from assessRisk.collisionRiskAssessment to requestBraking.collisionRiskAssessment;180          flow from evaluateOverride.driverOverrideDecision to requestBraking.driverOverrideDecision;181          first evaluateOverride then requestBraking;182183          action monitorFailure : MonitorAEBSFailureStatus {184            in aebsFailureStatus = VehicleTargetAEBSFunctionalFlow::aebsFailureStatus;185            out failureIndicationRequest = VehicleTargetAEBSFunctionalFlow::failureIndicationRequest;186          }187188          action recordEvidence : RecordAEBSEvidenceEvent {189            in collisionRiskAssessment;190            in driverWarningRequest;191            in emergencyBrakingCommand;192            in failureIndicationRequest;193            out aebsEvidenceEvent = VehicleTargetAEBSFunctionalFlow::aebsEvidenceEvent;194          }195196          flow from assessRisk.collisionRiskAssessment to recordEvidence.collisionRiskAssessment;197          flow from requestWarning.driverWarningRequest to recordEvidence.driverWarningRequest;198          flow from requestBraking.emergencyBrakingCommand to recordEvidence.emergencyBrakingCommand;199          flow from monitorFailure.failureIndicationRequest to recordEvidence.failureIndicationRequest;200          first requestBraking then recordEvidence;201          first monitorFailure then recordEvidence;202        }203204        action vehicleTargetAEBSFunctionalFlow : VehicleTargetAEBSFunctionalFlow;205206        // ─── Functional interface ports (INC-AEBS-005) ───207208        part incAEBS005 : FeatureIncrement;209210        // Inbound interface port definitions211212        port def DriverOverrideInputInbound {213          doc /* Inbound port for conscious driver override of AEBS intervention. */214          in item driverOverrideInput : DriverOverrideInput;215        }216217        port def AEBSFailureStatusInbound {218          doc /* Inbound port for detected AEBS-related failure conditions. */219          in item aebsFailureStatus : AEBSFailureStatus;220        }221222        // Outbound interface port definitions223224        port def DriverWarningRequestOutbound {225          doc /* Outbound port for driver warning requests when warning conditions are met. */226          out item driverWarningRequest : DriverWarningRequest;227        }228229        port def EmergencyBrakingCommandOutbound {230          doc /* Outbound port for emergency braking commands when activation conditions are met. */231          out item emergencyBrakingCommand : EmergencyBrakingCommand;232        }233234        port def FailureIndicationRequestOutbound {235          doc /* Outbound port for AEBS failure indication requests. */236          out item failureIndicationRequest : FailureIndicationRequest;237        }238239        port def AEBSEvidenceEventOutbound {240          doc /* Outbound port for AEBS evidence event records for later V&V work. */241          out item aebsEvidenceEvent : AEBSEvidenceEvent;242        }243244        // Functional chain with typed boundary ports245246        part def VehicleTargetAEBSFunctionalChain {247          doc /*248           * Functional chain part owning the AEBS vehicle-target interface ports.249           * Not a conceptual component allocation — no ECU, software, sensor, or bus250           * assignment is implied. The chain performs the composite functional251           * flow from INC-AEBS-004 and exposes its boundary as typed ports.252           */253254          port driverOverrideInputIn : DriverOverrideInputInbound;255          port aebsFailureStatusIn : AEBSFailureStatusInbound;256          port driverWarningRequestOut : DriverWarningRequestOutbound;257          port emergencyBrakingCommandOut : EmergencyBrakingCommandOutbound;258          port failureIndicationRequestOut : FailureIndicationRequestOutbound;259          port aebsEvidenceEventOut : AEBSEvidenceEventOutbound;260261          perform vehicleTargetAEBSFunctionalFlow : VehicleTargetAEBSFunctionalFlow {262            in item driverOverrideInput = driverOverrideInputIn.driverOverrideInput;263            in item aebsFailureStatus = aebsFailureStatusIn.aebsFailureStatus;264            out item driverWarningRequest = driverWarningRequestOut.driverWarningRequest;265            out item emergencyBrakingCommand = emergencyBrakingCommandOut.emergencyBrakingCommand;266            out item failureIndicationRequest = failureIndicationRequestOut.failureIndicationRequest;267            out item aebsEvidenceEvent = aebsEvidenceEventOut.aebsEvidenceEvent;268          }269        }270271        part vehicleTargetAEBSFunctionalChain : VehicleTargetAEBSFunctionalChain;272273        concern functionalBehaviorConcern : FunctionalBehaviorConcern {274          doc /*275           * Reviewers need the AEBS functional responsibilities, information276           * items, flows, and sequencing visible with requirement trace.277           */278          subject;279          stakeholder systemsEngineer : SystemsEngineer;280          stakeholder reviewer : OpenSourceReviewer;281        }282283        concern functionalInterfaceConcern : FunctionalInterfaceConcern {284          doc /*285           * Reviewers need the AEBS functional boundary ports, signal286           * character, direction, and the functional chain that owns them.287           */288          subject;289          stakeholder systemsEngineer : SystemsEngineer;290          stakeholder reviewer : OpenSourceReviewer;291        }292293        view aebsFunctionalArchitectureView {294          viewpoint selectedFunctionalBehaviorViewpoint : SystemFunctionalBreakdownStructureViewpoint {295            frame functionalBehaviorConcern;296          }297298          expose VehicleTargetAEBSFunctionalFlow;299          render asTreeDiagram;300        }301302        view aebsFunctionalInterfaceView {303          viewpoint selectedFunctionalInterfaceViewpoint : SystemInterfaceDefinitionViewpoint {304            frame functionalInterfaceConcern;305          }306307          expose VehicleTargetAEBSFunctionalChain;308          expose FunctionalBehavior::*[309            istype SysML::PortDefinition or istype SysML::ItemDefinition310          ];311          render asTreeDiagram;312        }313      }314    }315  }316}