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

Source

1/* INC-AEBS-009H bicycle-target evidence contract; no product verification claim. */2package DE4SDV_AEBSBicycleVerification {3  private import VerificationCases::*;4  private import VerificationMethodKind::*;5  private import DE4SDV_AEBSNeedsRequirements::Features::AEBS::NeedsRequirements::*;6  private import SAF_Viewpoints::*;7  private import DE4SDV_Stakeholders::*;8  private import Views::*;91011  enum def BicycleEvidenceOutcome {12    passBoundedTargetResponse;13    failConfiguredOutcome;14    inconclusiveCoverage;15    errorEvidence;16  }17  item def BicycleObservationSet;18  item def BicycleEvaluation {19    attribute outcome : BicycleEvidenceOutcome;20  }21  calc def MapBicycleOutcomeToVerdict {22    in outcome : BicycleEvidenceOutcome;23    return verdict : VerdictKind =24      if outcome == BicycleEvidenceOutcome::passBoundedTargetResponse? VerdictKind::pass25      else if outcome == BicycleEvidenceOutcome::failConfiguredOutcome? VerdictKind::fail26      else if outcome == BicycleEvidenceOutcome::errorEvidence? VerdictKind::error27      else VerdictKind::inconclusive;28  }2930  part def BicycleTargetBench;31  requirement def BicycleEvidenceContract;32  requirement evidenceContractConfiguredBicycleTarget : BicycleEvidenceContract {33    subject bench : BicycleTargetBench;34    require constraint statement { language "English" /* The bench shall bind the configured bicycle trajectory, geometry, timing, and exact bench identity: crossing speed 4.0 m/s, a closed observation window of 2.0 s, and map-frame source observations no older than 0.5 s. */ }35  }36  requirement evidenceContractIndependentFootprintOutcome : BicycleEvidenceContract {37    subject bench : BicycleTargetBench;38    require constraint statement { language "English" /* The bench shall reconstruct ego and bicycle footprints independently from retained map-frame observations and reject missing or contradictory samples. */ }39  }40  requirement evidenceContractReplayableProvenance : BicycleEvidenceContract {41    subject bench : BicycleTargetBench;42    require constraint statement { language "English" /* The bench shall hash-bind scenario, runtime, evaluator, observation, map-runtime, and artifact identities for independent replay. */ }43  }4445  part bicycleTargetBench : BicycleTargetBench;46  verification def BicycleTargetVerification {47    subject verifiedBench : BicycleTargetBench;48    objective evidenceObjective {49      verify evidenceContractConfiguredBicycleTarget;50      verify evidenceContractIndependentFootprintOutcome;51      verify evidenceContractReplayableProvenance;52    }53    action collectData {54      @VerificationMethod{ kind = test; }55      out item retainedObservations : BicycleObservationSet;56    }57    action processData {58      @VerificationMethod{ kind = analyze; }59      in item retainedObservations : BicycleObservationSet = collectData.retainedObservations;60      out item replayedEvaluation : BicycleEvaluation;61    }62    action evaluateData {63      @VerificationMethod{ kind = analyze; }64      in item replayedEvaluation : BicycleEvaluation = processData.replayedEvaluation;65      out verdict : VerdictKind = MapBicycleOutcomeToVerdict(replayedEvaluation.outcome);66    }67    return verdict : VerdictKind = evaluateData.verdict;68  }69  verification bicycleTargetVerification : BicycleTargetVerification {70    @VerificationMethod{ kind = (test, analyze); }71    subject verifiedBench :> bicycleTargetBench;72  }73  part verificationSystem {74    perform bicycleTargetVerification;75  }7677  dependency bicycleConfigurationRelevantToBicycleDetectionCandidate78    from evidenceContractConfiguredBicycleTarget to reqBicycleTargetResponse;79  dependency bicycleOutcomeRelevantToBicycleResponseCandidate80    from evidenceContractIndependentFootprintOutcome to reqBicycleTargetControlledResponse;8182  concern physicalStructureConcern : PhysicalStructureConcern {83    subject;84    stakeholder systemsEngineer : SystemsEngineer;85    stakeholder reviewer : OpenSourceReviewer;86  }8788  concern argumentationAssuranceConcern : ArgumentationAssuranceConcern {89    doc /* Evidence-based assurance claims and their supporting argumentation. */90  }9192  view aebsBicycleVerificationAssuranceView {93    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {94      frame argumentationAssuranceConcern;95    }9697    expose DE4SDV_AEBSBicycleVerification::*;98    render asTreeDiagram;99  }100}101