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_AEBSPedestrianVerification {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 PedestrianEvidenceOutcome {12    passBoundedTargetResponse;13    failConfiguredOutcome;14    inconclusiveCoverage;15    errorEvidence;16  }17  item def PedestrianObservationSet;18  item def PedestrianEvaluation {19    attribute outcome : PedestrianEvidenceOutcome;20  }21  calc def MapPedestrianOutcomeToVerdict {22    in outcome : PedestrianEvidenceOutcome;23    return verdict : VerdictKind =24      if outcome == PedestrianEvidenceOutcome::passBoundedTargetResponse? VerdictKind::pass25      else if outcome == PedestrianEvidenceOutcome::failConfiguredOutcome? VerdictKind::fail26      else if outcome == PedestrianEvidenceOutcome::errorEvidence? VerdictKind::error27      else VerdictKind::inconclusive;28  }2930  part def PedestrianTargetBench;31  requirement def PedestrianEvidenceContract;32  requirement evidenceContractConfiguredPedestrianTarget : PedestrianEvidenceContract {33    subject bench : PedestrianTargetBench;34    require constraint statement { language "English" /* The bench shall bind the configured pedestrian trajectory, geometry, timing, and exact bench identity: crossing speed 1.5 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 : PedestrianEvidenceContract {37    subject bench : PedestrianTargetBench;38    require constraint statement { language "English" /* The bench shall reconstruct ego and pedestrian footprints independently from retained map-frame observations and reject missing or contradictory samples. */ }39  }40  requirement evidenceContractReplayableProvenance : PedestrianEvidenceContract {41    subject bench : PedestrianTargetBench;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 pedestrianTargetBench : PedestrianTargetBench;46  verification def PedestrianTargetVerification {47    subject verifiedBench : PedestrianTargetBench;48    objective evidenceObjective {49      verify evidenceContractConfiguredPedestrianTarget;50      verify evidenceContractIndependentFootprintOutcome;51      verify evidenceContractReplayableProvenance;52    }53    action collectData {54      @VerificationMethod{ kind = test; }55      out item retainedObservations : PedestrianObservationSet;56    }57    action processData {58      @VerificationMethod{ kind = analyze; }59      in item retainedObservations : PedestrianObservationSet = collectData.retainedObservations;60      out item replayedEvaluation : PedestrianEvaluation;61    }62    action evaluateData {63      @VerificationMethod{ kind = analyze; }64      in item replayedEvaluation : PedestrianEvaluation = processData.replayedEvaluation;65      out verdict : VerdictKind = MapPedestrianOutcomeToVerdict(replayedEvaluation.outcome);66    }67    return verdict : VerdictKind = evaluateData.verdict;68  }69  verification pedestrianTargetVerification : PedestrianTargetVerification {70    @VerificationMethod{ kind = (test, analyze); }71    subject verifiedBench :> pedestrianTargetBench;72  }73  part verificationSystem {74    perform pedestrianTargetVerification;75  }7677  dependency pedestrianConfigurationRelevantToPedestrianDetectionCandidate78    from evidenceContractConfiguredPedestrianTarget to reqPedestrianTargetResponse;79  dependency pedestrianOutcomeRelevantToPedestrianResponseCandidate80    from evidenceContractIndependentFootprintOutcome 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 aebsPedestrianVerificationAssuranceView {93    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {94      frame argumentationAssuranceConcern;95    }9697    expose DE4SDV_AEBSPedestrianVerification::*;98    render asTreeDiagram;99  }100}101