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

Source

1/*2 * DE4SDV AEBS needs and draft requirements model slice.3 *4 * System 1 product needs and requirements are partitioned from System 25 * engineering-assurance and evidence-governance needs and requirements.6 * Stable externally imported usage names are retained where practical.7 * No V&V verdict, realization, or UNECE R152 compliance claim is made here.8 */9package DE4SDV_AEBSNeedsRequirements {10  package Features {11    package AEBS {12      package NeedsRequirements {13        private import DE4SDV_Stakeholders::*;14        private import DE4SDV_MethodContext::*;15        private import DE4SDV_ProductLine::*;16        private import DE4SDV_AEBSFunctionalArchitecture::Features::AEBS::FunctionalBehavior::*;17        private import DE4SDV_MethodViewpoints::*;18        private import SAF_Viewpoints::*;19        private import SysideViews::**;20        private import Views::*;2122        part def AEBSCapability :> CommonProductLineCapability;2324        requirement def PedestrianCollisionRiskNeed :> StakeholderNeedCandidate;25        requirement def BicycleCollisionRiskNeed :> StakeholderNeedCandidate;2627        part incAEBS003 : NeedsRequirementsIncrement;2829        part aebsNeedsRequirementsSystemContext : SystemContext {30          doc /* DE4SDV method system context for INC-AEBS-003. */31          part productLine : SDVProductLine :>> systemOfInterest;32          part memberProduct : ProductLineMemberProduct;33          part aebsCapability : AEBSCapability;34          part roadUserStakeholder : RoadUser;35          part occupantStakeholder : VehicleOccupant;36          part systemsEngineerStakeholder : SystemsEngineer;37          part productLineEngineerStakeholder : ProductLineEngineer;38          part complianceEngineerStakeholder : ComplianceEngineer;39          part verificationEngineerStakeholder : VerificationEngineer;4041          requirement aebsNeedsRequirementsProblemStatement : ProblemStatement {42            doc /* How can DE4SDV define partitioned AEBS product and assurance needs and draft requirements while preserving boundaries, gaps, and controlled source constraints without making realization or compliance claims? */43            subject increment : NeedsRequirementsIncrement;44            stakeholder roadUser : RoadUser;45            stakeholder occupant : VehicleOccupant;46            stakeholder systemsEngineer : SystemsEngineer;47            stakeholder productLineEngineer : ProductLineEngineer;48            stakeholder complianceEngineer : ComplianceEngineer;49            stakeholder verificationEngineer : VerificationEngineer;50          }51        }5253        package System1Product {54          requirement needCommonAEBSCapability : ProductLineCommonCapabilityNeed {55            doc /* N-AEBS-001 draft System 1 need. */56            subject productLine : SDVProductLine;57            stakeholder roadUser : RoadUser;58            stakeholder occupant : VehicleOccupant;59            require constraint statement { language "English" /* Road users and vehicle occupants need the SDV product line to define AEBS as a common capability required across member products to reduce forward rear-end in-lane collision risk with a vehicle target under defined operating conditions. */ }60            attribute :>> status = ReqStatus::InDevelopment;61            attribute :>> source = "INC-AEBS-001 framing and INC-AEBS-002 operational context";62            attribute :>> rationale = "Road-user and occupant collision-risk expectation established in the operational slice; AEBS is a common capability required across member products.";63          }64          requirement needPedestrianCollisionRiskReduction : PedestrianCollisionRiskNeed {65            doc /* N-AEBS-006 draft System 1 need; source identity is controlled and applicability remains open. */66            subject productLine : SDVProductLine;67            stakeholder pedestrian : RoadUser;68            require constraint statement { language "English" /* Pedestrians need the SDV product line to provide a common AEBS capability that reduces forward collision risk with a pedestrian target under defined applicable operating conditions. */ }69            attribute :>> status = ReqStatus::InDevelopment;70            attribute :>> source = "INC-AEBS-002 operational context; controlled public-safe source metadata E/ECE/TRANS/505/Rev.3/Add.151/Rev.2 (SRC-UNECE-R152)";71            attribute :>> rationale = "Pedestrian forward-collision risk is a distinct stakeholder concern; applicability remains open per GAP-AEBS-REQ-013 and GAP-AEBS-REQ-015.";72          }73          requirement needBicycleCollisionRiskReduction : BicycleCollisionRiskNeed {74            doc /* N-AEBS-007 draft System 1 need; source identity is controlled and applicability remains open. */75            subject productLine : SDVProductLine;76            stakeholder cyclist : RoadUser;77            require constraint statement { language "English" /* Cyclists need the SDV product line to provide a common AEBS capability that reduces forward collision risk with a bicycle target under defined applicable operating conditions. */ }78            attribute :>> status = ReqStatus::InDevelopment;79            attribute :>> source = "INC-AEBS-002 operational context; controlled public-safe source metadata E/ECE/TRANS/505/Rev.3/Add.151/Rev.2 (SRC-UNECE-R152)";80            attribute :>> rationale = "Cyclist forward-collision risk is a distinct stakeholder concern; applicability remains open per GAP-AEBS-REQ-013 and GAP-AEBS-REQ-016.";81          }82          requirement needBoundedDegradationAndAvailability : ProductSafetyAvailabilityNeed {83            doc /* N-AEBS-008 draft System 1 safety and availability need. */84            subject memberProduct : ProductLineMemberProduct;85            stakeholder roadUser : RoadUser;86            stakeholder occupant : VehicleOccupant;87            require constraint statement { language "English" /* Road users and vehicle occupants need each SDV product-line member product to manage AEBS degradation so that behavior remains bounded and AEBS availability is apparent when required inputs or AEBS functions are not healthy. */ }88            attribute :>> status = ReqStatus::InDevelopment;89            attribute :>> source = "INC-AEBS-002 operational context degraded-mode scenarios";90            attribute :>> rationale = "Unavailable or unhealthy AEBS inputs must not present misleading availability to the driver.";91          }92          requirement needTrustworthyInterventionDecisions : ProductSafetyAvailabilityNeed {93            doc /* N-AEBS-014 draft System 1 need; non-activation and false-reaction parent derived from N-AEBS-008 review findings. */94            subject memberProduct : ProductLineMemberProduct;95            stakeholder roadUser : RoadUser;96            stakeholder occupant : VehicleOccupant;97            require constraint statement { language "English" /* Road users and vehicle occupants need each SDV product-line member product to keep AEBS intervention decisions trustworthy so that neither a collision warning nor emergency braking occurs when AEBS controlled non-activation criteria determine that imminent collision risk is absent under defined operating conditions. */ }98            attribute :>> status = ReqStatus::InDevelopment;99            attribute :>> source = "Requirements QA gate review of the INC-AEBS-003 baseline";100            attribute :>> rationale = "Non-activation silence constraints need a System 1 parent whose intent they preserve; nuisance warning/braking erodes driver trust in AEBS.";101          }102103          requirement reqDetectForwardCollisionRisk : FunctionalRequirementCandidate {104            doc /* REQ-AEBS-001 candidate. */105            subject memberProduct : ProductLineMemberProduct;106            require constraint statement { language "English" /* Each SDV product-line member product shall realize the common AEBS capability by detecting imminent forward collision risk with a vehicle target under defined operating conditions. */ }107            attribute :>> status = ReqStatus::ReadyForReview;108            attribute :>> source = "Derived from N-AEBS-001";109            attribute :>> rationale = "Detection is the enabling behavior for every downstream AEBS intervention.";110            attribute :>> verificationMethod = "analyze";111            attribute :>> verificationStatus = VVStatus::NotStarted;112          }113          requirement reqProvideCollisionWarning : FunctionalRequirementCandidate {114            doc /* REQ-AEBS-002 candidate. */115            subject memberProduct : ProductLineMemberProduct;116            require constraint statement { language "English" /* Each SDV product-line member product shall realize the common AEBS capability by providing a collision warning to the driver when defined warning conditions are met. */ }117            attribute :>> status = ReqStatus::ReadyForReview;118            attribute :>> source = "Derived from N-AEBS-001";119            attribute :>> rationale = "Driver warning precedes autonomous braking and is required before intervention.";120            attribute :>> verificationMethod = "demo";121            attribute :>> verificationStatus = VVStatus::NotStarted;122          }123          requirement reqCommandEmergencyBraking : FunctionalRequirementCandidate {124            doc /* REQ-AEBS-003 candidate. */125            subject memberProduct : ProductLineMemberProduct;126            require constraint statement { language "English" /* Each SDV product-line member product shall realize the common AEBS capability by commanding emergency braking when defined activation conditions are met and no overriding condition prevents intervention. */ }127            attribute :>> status = ReqStatus::ReadyForReview;128            attribute :>> source = "Derived from N-AEBS-001";129            attribute :>> rationale = "Collision-risk reduction ultimately requires braking intervention when warning is insufficient.";130            attribute :>> verificationMethod = "test";131            attribute :>> verificationStatus = VVStatus::NotStarted;132          }133          requirement reqAllowDriverOverride : FunctionalRequirementCandidate {134            doc /* REQ-AEBS-004 draft; controlled override-response mapping remains a blocker. */135            subject memberProduct : ProductLineMemberProduct;136            require constraint statement { language "English" /* When a valid, fresh, and unambiguous driver input is classified as a conscious override under controlled override criteria during AEBS intervention, each SDV product-line member product shall apply the intervention response selected by the controlled override-response mapping. */ }137            attribute :>> status = ReqStatus::InDevelopment;138            attribute :>> source = "Derived from N-AEBS-001";139            attribute :>> rationale = "Driver authority over intervention is expected behavior; the controlled override-response mapping is unresolved.";140            attribute :>> verificationMethod = "demo";141            attribute :>> verificationStatus = VVStatus::NotStarted;142          }143          requirement reqDetectAEBSFailureCondition : SafetyConstraintRequirementCandidate {144            doc /* REQ-AEBS-005 failure-detection draft derived from N-AEBS-008; carries the bounded-behavior envelope of N-AEBS-008 pending safe-operation criteria, see GAP-AEBS-REQ-007. */145            subject memberProduct : ProductLineMemberProduct;146            require constraint statement { language "English" /* Under controlled failure-detection criteria, each SDV product-line member product shall detect AEBS-related failure conditions. */ }147            attribute :>> status = ReqStatus::InDevelopment;148            attribute :>> source = "Derived from N-AEBS-008; carries the bounded-behavior envelope pending safe-operation criteria (GAP-AEBS-REQ-007)";149            attribute :>> rationale = "Degradation management presupposes failure detection.";150            attribute :>> verificationMethod = "inspect";151            attribute :>> verificationStatus = VVStatus::NotStarted;152          }153          requirement reqResistFalseReaction : SafetyConstraintRequirementCandidate {154            doc /* REQ-AEBS-008 warning-silence draft derived from N-AEBS-014; criteria, window, and tolerances remain gaps. */155            subject memberProduct : ProductLineMemberProduct;156            require constraint statement { language "English" /* When controlled non-activation criteria determine that imminent forward collision risk is absent under defined operating conditions, each SDV product-line member product shall not issue an AEBS collision warning. */ }157            attribute :>> status = ReqStatus::InDevelopment;158            attribute :>> source = "Derived from N-AEBS-014";159            attribute :>> rationale = "Prevents nuisance warnings when controlled non-activation criteria rule out imminent risk.";160            attribute :>> verificationMethod = "test";161            attribute :>> verificationStatus = VVStatus::NotStarted;162          }163          requirement reqHandleDegradedUnavailableInputs : SafetyConstraintRequirementCandidate {164            doc /* REQ-AEBS-009 state-transition draft; state mapping, ownership, and timing remain gaps. */165            subject memberProduct : ProductLineMemberProduct;166            require constraint statement { language "English" /* When a required AEBS input is stale, missing, malformed, inconsistent, or unavailable under controlled input-health criteria, each SDV product-line member product shall enter the AEBS state selected by the controlled degraded-state mapping. */ }167            attribute :>> status = ReqStatus::InDevelopment;168            attribute :>> source = "Derived from N-AEBS-008";169            attribute :>> rationale = "Unhealthy inputs must drive a controlled degraded state rather than silent misbehavior.";170            attribute :>> verificationMethod = "test";171            attribute :>> verificationStatus = VVStatus::NotStarted;172          }173          requirement reqPedestrianTargetResponse : FunctionalRequirementCandidate {174            doc /* REQ-AEBS-010 pedestrian detection draft; stable usage name retained for imports. */175            subject memberProduct : ProductLineMemberProduct;176            require constraint statement { language "English" /* Each SDV product-line member product shall detect imminent forward collision risk with a pedestrian target under defined applicable pedestrian-target operating conditions. */ }177            attribute :>> status = ReqStatus::InDevelopment;178            attribute :>> source = "Derived from N-AEBS-006";179            attribute :>> rationale = "Pedestrian targets require distinct detection behavior from vehicle targets; criteria open per GAP-AEBS-REQ-015.";180            attribute :>> verificationMethod = "test";181            attribute :>> verificationStatus = VVStatus::NotStarted;182          }183          requirement reqBicycleTargetResponse : FunctionalRequirementCandidate {184            doc /* REQ-AEBS-011 bicycle detection draft; stable usage name retained for imports. */185            subject memberProduct : ProductLineMemberProduct;186            require constraint statement { language "English" /* Each SDV product-line member product shall detect imminent forward collision risk with a bicycle target under defined applicable bicycle-target operating conditions. */ }187            attribute :>> status = ReqStatus::InDevelopment;188            attribute :>> source = "Derived from N-AEBS-007";189            attribute :>> rationale = "Bicycle targets require distinct detection behavior from vehicle targets; criteria open per GAP-AEBS-REQ-016.";190            attribute :>> verificationMethod = "test";191            attribute :>> verificationStatus = VVStatus::NotStarted;192          }193          requirement reqResistFalseBrakingCommand : SafetyConstraintRequirementCandidate {194            doc /* REQ-AEBS-012 braking-silence draft derived from N-AEBS-014. */195            subject memberProduct : ProductLineMemberProduct;196            require constraint statement { language "English" /* When controlled non-activation criteria determine that imminent forward collision risk is absent under defined operating conditions, each SDV product-line member product shall not command AEBS emergency braking. */ }197            attribute :>> status = ReqStatus::InDevelopment;198            attribute :>> source = "Derived from N-AEBS-014";199            attribute :>> rationale = "Prevents nuisance braking when controlled non-activation criteria rule out imminent risk.";200            attribute :>> verificationMethod = "test";201            attribute :>> verificationStatus = VVStatus::NotStarted;202          }203          requirement reqIndicateDegradedUnavailableStatus : SafetyConstraintRequirementCandidate {204            doc /* REQ-AEBS-013 status-indication draft. */205            subject memberProduct : ProductLineMemberProduct;206            require constraint statement { language "English" /* When a required AEBS input is stale, missing, malformed, inconsistent, or unavailable under controlled input-health criteria, each SDV product-line member product shall provide the status indication selected by the controlled degraded-state indication mapping. */ }207            attribute :>> status = ReqStatus::InDevelopment;208            attribute :>> source = "Derived from N-AEBS-008";209            attribute :>> rationale = "Availability must be apparent to the driver when AEBS inputs or functions are not healthy.";210            attribute :>> verificationMethod = "test";211            attribute :>> verificationStatus = VVStatus::NotStarted;212          }213          requirement reqPedestrianTargetControlledResponse : FunctionalRequirementCandidate {214            doc /* REQ-AEBS-014 pedestrian response draft; specializes the braking-command response family of REQ-AEBS-003 for classified pedestrian-target risk. */215            subject memberProduct : ProductLineMemberProduct;216            require constraint statement { language "English" /* Under defined applicable pedestrian-target operating conditions, each SDV product-line member product shall apply the controlled AEBS response to classified pedestrian-target collision risk. */ }217            attribute :>> status = ReqStatus::InDevelopment;218            attribute :>> source = "Derived from N-AEBS-006";219            attribute :>> rationale = "Classified pedestrian-target risk needs a defined response; specializes the REQ-AEBS-003 response family.";220            attribute :>> verificationMethod = "test";221            attribute :>> verificationStatus = VVStatus::NotStarted;222          }223          requirement reqBicycleTargetControlledResponse : FunctionalRequirementCandidate {224            doc /* REQ-AEBS-015 bicycle response draft; specializes the braking-command response family of REQ-AEBS-003 for classified bicycle-target risk. */225            subject memberProduct : ProductLineMemberProduct;226            require constraint statement { language "English" /* Under defined applicable bicycle-target operating conditions, each SDV product-line member product shall apply the controlled AEBS response to classified bicycle-target collision risk. */ }227            attribute :>> status = ReqStatus::InDevelopment;228            attribute :>> source = "Derived from N-AEBS-007";229            attribute :>> rationale = "Classified bicycle-target risk needs a defined response; specializes the REQ-AEBS-003 response family.";230            attribute :>> verificationMethod = "test";231            attribute :>> verificationStatus = VVStatus::NotStarted;232          }233        }234235        package System2EngineeringAssurance {236          requirement needExplicitOperationalBoundary : EngineeringTraceabilityNeed {237            doc /* N-AEBS-002 draft System 2 need. */238            subject increment : NeedsRequirementsIncrement;239            stakeholder systemsEngineer : SystemsEngineer;240            require constraint statement { language "English" /* Systems engineers need the DE4SDV AEBS increment to keep its operational boundary, assumptions, source constraints, and out-of-scope cases explicit while draft requirements are derived. */ }241            attribute :>> status = ReqStatus::InDevelopment;242            attribute :>> source = "DE4SDV method increment workflow";243            attribute :>> rationale = "Boundary and assumption visibility is a review precondition for derived requirements.";244          }245          requirement needProductLineClassification : ProductLineClassificationNeed {246            doc /* N-AEBS-003 draft System 2 need. */247            subject increment : NeedsRequirementsIncrement;248            stakeholder productLineEngineer : ProductLineEngineer;249            require constraint statement { language "English" /* Product-line engineers need the DE4SDV AEBS increment to keep AEBS classified as a common capability, with native SysML v2 variation and variant choices modeled separately without weakening the System 1 capability. */ }250            attribute :>> status = ReqStatus::InDevelopment;251            attribute :>> source = "DE4SDV method increment workflow; MBPLE feature-model conventions";252            attribute :>> rationale = "Common-capability vs variant classification must stay explicit for product-line derivation.";253          }254          requirement needVisibleRegulatoryAssumptions : RegulatoryVisibilityNeed {255            doc /* N-AEBS-004 draft System 2 need. */256            subject increment : NeedsRequirementsIncrement;257            stakeholder complianceEngineer : ComplianceEngineer;258            require constraint statement { language "English" /* Compliance engineers need the DE4SDV AEBS increment to keep regulatory assumptions, controlled source references, and open applicability and interpretation gaps visible without implying compliance or type approval. */ }259            attribute :>> status = ReqStatus::InDevelopment;260            attribute :>> source = "DE4SDV compliance workflow; SRC-UNECE-R152 controlled source identity";261            attribute :>> rationale = "Regulatory applicability must be visible and unresolved without implying compliance.";262          }263          requirement needRequirementVVPlanning : VerificationPlanningNeed {264            doc /* N-AEBS-005 draft System 2 need. */265            subject increment : NeedsRequirementsIncrement;266            stakeholder verificationEngineer : VerificationEngineer;267            require constraint statement { language "English" /* Verification engineers need the DE4SDV AEBS increment to maintain a separate controlled V&V planning attachment for each draft AEBS requirement without changing the product obligation. */ }268            attribute :>> status = ReqStatus::InDevelopment;269            attribute :>> source = "DE4SDV verification and assurance workflow";270            attribute :>> rationale = "V&V planning attachments are kept separate from normative requirement text.";271          }272          requirement reqKeepProductLineClassificationExplicit : ProductLineConstraintRequirementCandidate {273            doc /* REQ-AEBS-006 System 2 candidate. */274            subject increment : NeedsRequirementsIncrement;275            require constraint statement { language "English" /* The DE4SDV AEBS increment shall keep common-capability, feature, and native SysML v2 variation and variant classifications explicit for each AEBS behavior or scope element in its model baseline. */ }276            attribute :>> status = ReqStatus::ReadyForReview;277            attribute :>> source = "Derived from N-AEBS-003";278            attribute :>> rationale = "Makes the classification need enforceable on the increment baseline.";279            attribute :>> verificationMethod = "inspect";280            attribute :>> verificationStatus = VVStatus::NotStarted;281          }282          requirement reqTraceRequirementVVAndGaps : TraceabilityConstraintRequirementCandidate {283            doc /* REQ-AEBS-007 System 2 candidate. */284            subject increment : NeedsRequirementsIncrement;285            require constraint statement { language "English" /* The DE4SDV AEBS increment shall maintain separate trace links from each draft AEBS requirement to its source, stakeholder need, unresolved gaps, validation reference, and controlled V&V planning attachment. */ }286            attribute :>> status = ReqStatus::ReadyForReview;287            attribute :>> source = "Derived from N-AEBS-004 and N-AEBS-005";288            attribute :>> rationale = "Traceability is the mechanism that keeps regulatory assumptions and V&V planning visible.";289            attribute :>> verificationMethod = "inspect";290            attribute :>> verificationStatus = VVStatus::NotStarted;291          }292          requirement reqTraceEvidenceContractsToControlledBoundary : EvidenceContractTraceabilityRequirementCandidate {293            doc /* REQ-AEBS-S2-001 System 2 evidence-contract candidate derived only from N-AEBS-002. */294            subject increment : NeedsRequirementsIncrement;295            require constraint statement { language "English" /* The DE4SDV AEBS increment shall maintain trace links from each AEBS evidence contract to its controlled operational boundary, assumptions, source constraints, and exclusions. */ }296            attribute :>> status = ReqStatus::ReadyForReview;297            attribute :>> source = "Derived from N-AEBS-002";298            attribute :>> rationale = "Evidence contracts are only reviewable against their controlled operational boundary.";299            attribute :>> verificationMethod = "inspect";300            attribute :>> verificationStatus = VVStatus::NotStarted;301          }302        }303304        connection reqDetectForwardCollisionRiskDerivedFromCommonAEBSCapability : DerivesFromNeed connect needCommonAEBSCapability to reqDetectForwardCollisionRisk;305        connection reqProvideCollisionWarningDerivedFromCommonAEBSCapability : DerivesFromNeed connect needCommonAEBSCapability to reqProvideCollisionWarning;306        connection reqCommandEmergencyBrakingDerivedFromCommonAEBSCapability : DerivesFromNeed connect needCommonAEBSCapability to reqCommandEmergencyBraking;307        dependency reqAllowDriverOverrideDerivedFromCommonAEBSCapability from reqAllowDriverOverride to needCommonAEBSCapability;308        dependency reqDetectAEBSFailureConditionDerivedFromBoundedDegradationAndAvailability from reqDetectAEBSFailureCondition to needBoundedDegradationAndAvailability;309        dependency reqDerivedFromNeedBoundedDegradation from reqHandleDegradedUnavailableInputs to needBoundedDegradationAndAvailability;310        dependency reqIndicateDegradedUnavailableStatusDerivedFromBoundedDegradationAndAvailability from reqIndicateDegradedUnavailableStatus to needBoundedDegradationAndAvailability;311        dependency reqResistFalseReactionDerivedFromTrustworthyInterventionDecisions from reqResistFalseReaction to needTrustworthyInterventionDecisions;312        dependency reqResistFalseBrakingCommandDerivedFromTrustworthyInterventionDecisions from reqResistFalseBrakingCommand to needTrustworthyInterventionDecisions;313        connection reqPedestrianTargetResponseDerivedFromPedestrianCollisionRiskReduction : DerivesFromNeed connect needPedestrianCollisionRiskReduction to reqPedestrianTargetResponse;314        dependency reqPedestrianTargetControlledResponseDerivedFromPedestrianCollisionRiskReduction from reqPedestrianTargetControlledResponse to needPedestrianCollisionRiskReduction;315        connection reqBicycleTargetResponseDerivedFromBicycleCollisionRiskReduction : DerivesFromNeed connect needBicycleCollisionRiskReduction to reqBicycleTargetResponse;316        dependency reqBicycleTargetControlledResponseDerivedFromBicycleCollisionRiskReduction from reqBicycleTargetControlledResponse to needBicycleCollisionRiskReduction;317        dependency reqKeepProductLineClassificationExplicitDerivedFromProductLineClassification from reqKeepProductLineClassificationExplicit to needProductLineClassification;318        dependency reqTraceRequirementVVAndGapsDerivedFromVisibleRegulatoryAssumptions from reqTraceRequirementVVAndGaps to needVisibleRegulatoryAssumptions;319        dependency reqTraceRequirementVVAndGapsDerivedFromRequirementVVPlanning from reqTraceRequirementVVAndGaps to needRequirementVVPlanning;320        dependency reqTraceEvidenceContractsToControlledBoundaryDerivedFromExplicitOperationalBoundary from reqTraceEvidenceContractsToControlledBoundary to needExplicitOperationalBoundary;321322        /*323         * Requirement-to-function candidate trace (INC-AEBS-004, Phase 6).324         *325         * Mirrors the reviewed draft mappings in326         * methodologies/sysmod-sysmlv2/pilots/aebs-functional-architecture.yaml327         * (traceability: REQ-AEBS-001..007 -> FUNC-AEBS-001..007,328         * relation allocated_to_function_candidate, status draft). These are329         * relevance dependencies from draft requirement candidates to nested330         * functional-action responsibilities of the composite flow usage —331         * neither satisfy nor verify relationships. REQ-AEBS-006 constrains332         * the whole functional slice rather than one function, so it traces333         * to the composite flow usage itself.334         */335        dependency reqDetectForwardCollisionRiskTracedToAcquireStateCandidate336          from reqDetectForwardCollisionRisk337          to vehicleTargetAEBSFunctionalFlow::acquireState;338        dependency reqDetectForwardCollisionRiskTracedToAssessRiskCandidate339          from reqDetectForwardCollisionRisk340          to vehicleTargetAEBSFunctionalFlow::assessRisk;341        dependency reqProvideCollisionWarningTracedToRequestWarningCandidate342          from reqProvideCollisionWarning343          to vehicleTargetAEBSFunctionalFlow::requestWarning;344        dependency reqCommandEmergencyBrakingTracedToRequestBrakingCandidate345          from reqCommandEmergencyBraking346          to vehicleTargetAEBSFunctionalFlow::requestBraking;347        dependency reqAllowDriverOverrideTracedToEvaluateOverrideCandidate348          from reqAllowDriverOverride349          to vehicleTargetAEBSFunctionalFlow::evaluateOverride;350        dependency reqDetectAEBSFailureConditionTracedToMonitorFailureCandidate351          from reqDetectAEBSFailureCondition352          to vehicleTargetAEBSFunctionalFlow::monitorFailure;353        dependency reqTraceRequirementVVAndGapsTracedToRecordEvidenceCandidate354          from reqTraceRequirementVVAndGaps355          to vehicleTargetAEBSFunctionalFlow::recordEvidence;356        dependency reqKeepProductLineClassificationExplicitTracedToFunctionalSliceCandidate357          from reqKeepProductLineClassificationExplicit358          to vehicleTargetAEBSFunctionalFlow;359360        public import System1Product::*;361        public import System2EngineeringAssurance::*;362363        /*364         * Gaps — deferred scope items per the DE4SDV method.365         * These are the most important gap categories; individual366         * requirement-level gaps are referenced in the YAML V&V planning.367         */368        part operatingConditionsGap : DeferredProductLineScope {369          doc /* GAP-AEBS-REQ-001: Selected operating conditions remain undefined. */370        }371        part detectionCriteriaGap : DeferredProductLineScope {372          doc /* GAP-AEBS-REQ-002: Vehicle-target detection criteria remain undefined. */373        }374        part warningCriteriaGap : DeferredProductLineScope {375          doc /* GAP-AEBS-REQ-003: Collision-warning timing, modality, and observability criteria remain undefined. */376        }377        part brakingActivationGap : DeferredProductLineScope {378          doc /* GAP-AEBS-REQ-004: Emergency-braking activation conditions and braking demand profile remain undefined. */379        }380        part nonActivationGap : DeferredProductLineScope {381          doc /* GAP-AEBS-REQ-005: Non-activation and false-reaction constraints remain undefined. */382        }383        part overrideCriteriaGap : DeferredProductLineScope {384          doc /* GAP-AEBS-REQ-006: Conscious driver override inputs and resulting behavior remain undefined. */385        }386        part failureDetectionGap : DeferredProductLineScope {387          doc /* GAP-AEBS-REQ-007: AEBS failure detection, indication, and safe-operation criteria remain undefined. */388        }389        part variationModelingGap : DeferredProductLineScope {390          doc /* GAP-AEBS-REQ-008: Native SysML v2 variation and variant choices are not yet modeled. */391        }392        part vssSignalGap : DeferredProductLineScope {393          doc /* GAP-AEBS-REQ-009: VSS signal candidates are intentionally deferred until the functional-interface increment. */394        }395        part satisfactionGap : DeferredProductLineScope {396          doc /* GAP-AEBS-REQ-010: Requirement satisfaction assertions are deferred until functional/conceptual realization exists. */397        }398        part nonActivationScenarioGap : DeferredProductLineScope {399          doc /* GAP-AEBS-REQ-011: Complete non-activation scenarios, observation windows, classification rules, and false-reaction tolerances remain undefined. */400        }401        part degradedStateOwnershipGap : DeferredProductLineScope {402          doc /* GAP-AEBS-REQ-012: Degraded/unavailable state ownership, transition timing, indication behavior, and safe-operation response remain undefined. */403        }404        part regulatoryApplicabilityGap : DeferredProductLineScope {405          doc /* GAP-AEBS-REQ-013: Source identity is controlled, but amendment-selection rationale, vehicle-category applicability, and authority interpretation remain unresolved. */406        }407        part quantifiedThresholdGap : DeferredProductLineScope {408          doc /* GAP-AEBS-REQ-014: Promotion of quantified thresholds into System 1 obligations remains deferred. */409        }410        part pedestrianTargetGap : DeferredProductLineScope {411          doc /* GAP-AEBS-REQ-015: Pedestrian target definition, operating conditions, response criteria, and applicability remain unresolved. */412        }413        part bicycleTargetGap : DeferredProductLineScope {414          doc /* GAP-AEBS-REQ-016: Bicycle target definition, operating conditions, response criteria, and applicability remain unresolved. */415        }416417        concern stakeholderNeedsConcern : StakeholderNeedsConcern {418          subject;419          stakeholder systemsEngineer : SystemsEngineer;420          stakeholder reviewer : OpenSourceReviewer;421        }422        concern requirementTraceConcern : RequirementTraceConcern {423          subject;424          stakeholder verificationEngineer : VerificationEngineer;425          stakeholder reviewer : OpenSourceReviewer;426        }427        view aebsStakeholderNeedsView : TVD::TableView {428          viewpoint selectedStakeholderNeedsViewpoint : StakeholderRequirementDefinitionViewpoint { frame stakeholderNeedsConcern; }429          expose System1Product::*;430          expose System2EngineeringAssurance::*;431          filter @ SysML::RequirementUsage;432          attribute :>> includeReferenceElements = true;433          attribute :>> maxRowHeight = 300;434          view ID :> columnViews {435            attribute :>> featureToRender = CT::declaredName;436          }437          view Name :> columnViews {438            attribute :>> featureToRender = CT::heritage;439          }440          view Statement :> columnViews {441            attribute :>> featureToRender = CT::constraintLanguage {442              attribute constraintName = "statement";443              attribute constraintType = CL::ConT::required;444              attribute constraintLanguage = "English";445            }446            attribute :>> columnWidth = 360;447          }448        }449        view aebsRequirementTraceView {450          viewpoint selectedRequirementTraceViewpoint : SystemRequirementTraceabilityViewpoint { frame requirementTraceConcern; }451          expose System1Product::*;452          expose System2EngineeringAssurance::*;453          render asTreeDiagram;454        }455      }456    }457  }458}459