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

Source

1/* INC-AEBS-009G pedestrian-target evidence contract; no product verification claim. */2package DE4SDV_AEBS009GVerification {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 EvidenceOutcome009G {12    passBoundedTargetResponse;13    failConfiguredOutcome;14    inconclusiveCoverage;15    errorEvidence;16  }17  item def Retained009GObservationSet;18  item def Replayed009GEvaluation {19    attribute outcome : EvidenceOutcome009G;20  }21  calc def Map009GOutcomeToVerdict {22    in outcome : EvidenceOutcome009G;23    return verdict : VerdictKind =24      if outcome == EvidenceOutcome009G::passBoundedTargetResponse? VerdictKind::pass25      else if outcome == EvidenceOutcome009G::failConfiguredOutcome? VerdictKind::fail26      else if outcome == EvidenceOutcome009G::errorEvidence? VerdictKind::error27      else VerdictKind::inconclusive;28  }2930  part def PedestrianTargetBench009G;31  requirement def EvidenceContract009G;32  requirement evidenceContract009GConfiguredPedestrianTarget : EvidenceContract009G {33    subject bench : PedestrianTargetBench009G;34    require constraint { doc /* The bench shall bind the configured pedestrian trajectory, geometry, timing, and exact bench identity. */ }35  }36  requirement evidenceContract009GIndependentFootprintOutcome : EvidenceContract009G {37    subject bench : PedestrianTargetBench009G;38    require constraint { doc /* The bench shall reconstruct ego and pedestrian footprints independently from retained map-frame observations and reject missing or contradictory samples. */ }39  }40  requirement evidenceContract009GReplayableProvenance : EvidenceContract009G {41    subject bench : PedestrianTargetBench009G;42    require constraint { doc /* The bench shall hash-bind scenario, runtime, evaluator, observation, map-runtime, and artifact identities for independent replay. */ }43  }4445  part pedestrianTargetBench009G : PedestrianTargetBench009G;46  verification def PedestrianTargetVerification009G {47    subject verifiedBench : PedestrianTargetBench009G;48    objective evidenceObjective009G {49      verify evidenceContract009GConfiguredPedestrianTarget;50      verify evidenceContract009GIndependentFootprintOutcome;51      verify evidenceContract009GReplayableProvenance;52    }53    action collectData {54      @VerificationMethod{ kind = test; }55      out item retainedObservations : Retained009GObservationSet;56    }57    action processData {58      @VerificationMethod{ kind = analyze; }59      in item retainedObservations : Retained009GObservationSet = collectData.retainedObservations;60      out item replayedEvaluation : Replayed009GEvaluation;61    }62    action evaluateData {63      @VerificationMethod{ kind = analyze; }64      in item replayedEvaluation : Replayed009GEvaluation = processData.replayedEvaluation;65      out verdict : VerdictKind = Map009GOutcomeToVerdict(replayedEvaluation.outcome);66    }67    return verdict : VerdictKind = evaluateData.verdict;68  }69  verification pedestrianTargetVerification009G : PedestrianTargetVerification009G {70    @VerificationMethod{ kind = (test, analyze); }71    subject verifiedBench :> pedestrianTargetBench009G;72  }73  part verificationSystem009G {74    perform pedestrianTargetVerification009G;75  }7677  dependency pedestrianConfigurationRelevantToPedestrianDetectionCandidate78    from evidenceContract009GConfiguredPedestrianTarget to reqPedestrianTargetResponse;79  dependency pedestrianOutcomeRelevantToPedestrianResponseCandidate80    from evidenceContract009GIndependentFootprintOutcome to reqPedestrianTargetControlledResponse;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 aebs009GVerificationAssuranceView {93    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {94      frame argumentationAssuranceConcern;95    }9697    expose DE4SDV_AEBS009GVerification::*;98    render asTreeDiagram;99  }100}101