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_AEBS009HVerification {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 EvidenceOutcome009H {12    passBoundedTargetResponse;13    failConfiguredOutcome;14    inconclusiveCoverage;15    errorEvidence;16  }17  item def Retained009HObservationSet;18  item def Replayed009HEvaluation {19    attribute outcome : EvidenceOutcome009H;20  }21  calc def Map009HOutcomeToVerdict {22    in outcome : EvidenceOutcome009H;23    return verdict : VerdictKind =24      if outcome == EvidenceOutcome009H::passBoundedTargetResponse? VerdictKind::pass25      else if outcome == EvidenceOutcome009H::failConfiguredOutcome? VerdictKind::fail26      else if outcome == EvidenceOutcome009H::errorEvidence? VerdictKind::error27      else VerdictKind::inconclusive;28  }2930  part def BicycleTargetBench009H;31  requirement def EvidenceContract009H;32  requirement evidenceContract009HConfiguredBicycleTarget : EvidenceContract009H {33    subject bench : BicycleTargetBench009H;34    require constraint { doc /* The bench shall bind the configured bicycle trajectory, geometry, timing, and exact bench identity. */ }35  }36  requirement evidenceContract009HIndependentFootprintOutcome : EvidenceContract009H {37    subject bench : BicycleTargetBench009H;38    require constraint { doc /* The bench shall reconstruct ego and bicycle footprints independently from retained map-frame observations and reject missing or contradictory samples. */ }39  }40  requirement evidenceContract009HReplayableProvenance : EvidenceContract009H {41    subject bench : BicycleTargetBench009H;42    require constraint { doc /* The bench shall hash-bind scenario, runtime, evaluator, observation, map-runtime, and artifact identities for independent replay. */ }43  }4445  part bicycleTargetBench009H : BicycleTargetBench009H;46  verification def BicycleTargetVerification009H {47    subject verifiedBench : BicycleTargetBench009H;48    objective evidenceObjective009H {49      verify evidenceContract009HConfiguredBicycleTarget;50      verify evidenceContract009HIndependentFootprintOutcome;51      verify evidenceContract009HReplayableProvenance;52    }53    action collectData {54      @VerificationMethod{ kind = test; }55      out item retainedObservations : Retained009HObservationSet;56    }57    action processData {58      @VerificationMethod{ kind = analyze; }59      in item retainedObservations : Retained009HObservationSet = collectData.retainedObservations;60      out item replayedEvaluation : Replayed009HEvaluation;61    }62    action evaluateData {63      @VerificationMethod{ kind = analyze; }64      in item replayedEvaluation : Replayed009HEvaluation = processData.replayedEvaluation;65      out verdict : VerdictKind = Map009HOutcomeToVerdict(replayedEvaluation.outcome);66    }67    return verdict : VerdictKind = evaluateData.verdict;68  }69  verification bicycleTargetVerification009H : BicycleTargetVerification009H {70    @VerificationMethod{ kind = (test, analyze); }71    subject verifiedBench :> bicycleTargetBench009H;72  }73  part verificationSystem009H {74    perform bicycleTargetVerification009H;75  }7677  dependency bicycleConfigurationRelevantToBicycleDetectionCandidate78    from evidenceContract009HConfiguredBicycleTarget to reqBicycleTargetResponse;79  dependency bicycleOutcomeRelevantToBicycleResponseCandidate80    from evidenceContract009HIndependentFootprintOutcome 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 aebs009HVerificationAssuranceView {93    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {94      frame argumentationAssuranceConcern;95    }9697    expose DE4SDV_AEBS009HVerification::*;98    render asTreeDiagram;99  }100}101