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

Source

1/* INC-AEBS-009I configuration-bounded criterion trace; compliance is always withheld. */2package DE4SDV_AEBSRegulatoryCriterionVerification {3  private import VerificationCases::*;4  private import VerificationMethodKind::*;5  private import ScalarValues::*;6  private import DE4SDV_AEBSNeedsRequirements::Features::AEBS::NeedsRequirements::*;7  private import SAF_Viewpoints::*;8  private import DE4SDV_Stakeholders::*;9  private import Views::*;101112  enum def RegulatoryCriterionScenarioIdentity {13    pedestrianCriterion;14    bicycleCriterion;15  }16  enum def RegulatoryCriterionEvidenceOutcome {17    passBoundedCriterion;18    failBoundedCriterion;19    inconclusiveApplicabilityOrEvidence;20    errorEvidence;21  }22  item def ControlledCriterionIdentity {23    attribute sourceId : String;24    attribute sourceOriginalSha256 : String;25    attribute sourceMetadataPath : String;26    attribute criteriaPath : String;27    attribute evaluatorPath : String;28  }29  item controlledCriterionIdentity : ControlledCriterionIdentity {30    attribute :>> sourceId = "E/ECE/TRANS/505/Rev.3/Add.151/Rev.2";31    attribute :>> sourceOriginalSha256 = "dc9cc84498dcae8f0888067ad3967fb5a346e814bc2f19128987a654c8a193de";32    attribute :>> sourceMetadataPath = "methodologies/sysmod-sysmlv2/pilots/aebs-regulatory-source.yaml";33    attribute :>> criteriaPath = "methodologies/sysmod-sysmlv2/pilots/aebs-regulatory-criteria.yaml";34    attribute :>> evaluatorPath = "scripts/aebs_regulatory_criteria.py";35  }36  item def RegulatoryCriterionEvidenceSet {37    attribute sourceOriginalSha256 : String;38    attribute testedConfigurationIdentity : String;39    attribute measurementArtifactSha256 : String;40  }41  item def RegulatoryCriterionEvaluation {42    attribute scenario : RegulatoryCriterionScenarioIdentity;43    attribute outcome : RegulatoryCriterionEvidenceOutcome;44  }45  calc def MapRegulatoryCriterionOutcomeToVerdict {46    in outcome : RegulatoryCriterionEvidenceOutcome;47    return verdict : VerdictKind =48      if outcome == RegulatoryCriterionEvidenceOutcome::passBoundedCriterion? VerdictKind::pass49      else if outcome == RegulatoryCriterionEvidenceOutcome::failBoundedCriterion? VerdictKind::fail50      else if outcome == RegulatoryCriterionEvidenceOutcome::errorEvidence? VerdictKind::error51      else VerdictKind::inconclusive;52  }5354  part def RegulatoryCriterionBench {55    attribute scenario : RegulatoryCriterionScenarioIdentity;56  }57  requirement def RegulatoryCriterionEvidenceContract;58  requirement evidenceContractSourceIdentity : RegulatoryCriterionEvidenceContract {59    subject bench : RegulatoryCriterionBench;60    require constraint statement { language "English" /* The bench shall bind controlled source E/ECE/TRANS/505/Rev.3/Add.151/Rev.2, original SHA-256 dc9cc84498dcae8f0888067ad3967fb5a346e814bc2f19128987a654c8a193de, source metadata, criterion map, evaluator identity, and an explicit applicability disposition. */ }61  }62  requirement evidenceContractPedestrianApplicableCriterion : RegulatoryCriterionEvidenceContract {63    subject bench : RegulatoryCriterionBench;64    require constraint statement { language "English" /* For the pedestrian scenario only, the bench shall preserve the selected pedestrian-target criterion provenance, units, prescribed conditions, tolerance, uncertainty treatment, repeated-run rule, and tested configuration without making an authority interpretation. */ }65  }66  requirement evidenceContractBicycleApplicableCriterion : RegulatoryCriterionEvidenceContract {67    subject bench : RegulatoryCriterionBench;68    require constraint statement { language "English" /* For the bicycle scenario only, the bench shall preserve the selected bicycle-target criterion provenance, units, prescribed conditions, tolerance, uncertainty treatment, repeated-run rule, and tested configuration without making an authority interpretation. */ }69  }70  requirement evidenceContractMeasurementTrace : RegulatoryCriterionEvidenceContract {71    subject bench : RegulatoryCriterionBench;72    require constraint statement { language "English" /* The bench shall trace each bounded result to replayable observations, processing steps, unit conversion, next-higher-speed selection, repeated-run evidence, and boundary decision. */ }73  }74  requirement evidenceContractProvenance : RegulatoryCriterionEvidenceContract {75    subject bench : RegulatoryCriterionBench;76    require constraint statement { language "English" /* The bench shall hash-bind source metadata, criterion mapping, tested configuration, runtime, evaluator, measurements, and retained artifacts. */ }77  }78  requirement evidenceContractConfigurationBoundedVerdict : RegulatoryCriterionEvidenceContract {79    subject bench : RegulatoryCriterionBench;80    require constraint statement { language "English" /* The bench shall limit the verdict to one exact tested configuration. Missing applicability, prescribed conditions, target fidelity, uncertainty, repetitions, source control, or provenance shall be inconclusive or error. Compliance, certification, homologation, and type approval remain withheld. */ }81  }8283  part pedestrianCriterionBench : RegulatoryCriterionBench {84    attribute :>> scenario = RegulatoryCriterionScenarioIdentity::pedestrianCriterion;85  }86  part bicycleCriterionBench : RegulatoryCriterionBench {87    attribute :>> scenario = RegulatoryCriterionScenarioIdentity::bicycleCriterion;88  }8990  verification def PedestrianCriterionVerification {91    subject verifiedBench : RegulatoryCriterionBench;92    objective pedestrianEvidenceObjective {93      verify evidenceContractSourceIdentity;94      verify evidenceContractPedestrianApplicableCriterion;95      verify evidenceContractMeasurementTrace;96      verify evidenceContractProvenance;97      verify evidenceContractConfigurationBoundedVerdict;98    }99    action collectData {100      @VerificationMethod{ kind = inspect; }101      out item retainedObservations : RegulatoryCriterionEvidenceSet;102    }103    action processData {104      @VerificationMethod{ kind = analyze; }105      in scenarioIdentity : RegulatoryCriterionScenarioIdentity = verifiedBench.scenario;106      in item retainedObservations : RegulatoryCriterionEvidenceSet = collectData.retainedObservations;107      out item replayedEvaluation : RegulatoryCriterionEvaluation;108    }109    action evaluateData {110      @VerificationMethod{ kind = analyze; }111      in item replayedEvaluation : RegulatoryCriterionEvaluation = processData.replayedEvaluation;112      out verdict : VerdictKind = MapRegulatoryCriterionOutcomeToVerdict(replayedEvaluation.outcome);113    }114    return verdict : VerdictKind = evaluateData.verdict;115  }116  verification def BicycleCriterionVerification {117    subject verifiedBench : RegulatoryCriterionBench;118    objective bicycleEvidenceObjective {119      verify evidenceContractSourceIdentity;120      verify evidenceContractBicycleApplicableCriterion;121      verify evidenceContractMeasurementTrace;122      verify evidenceContractProvenance;123      verify evidenceContractConfigurationBoundedVerdict;124    }125    action collectData {126      @VerificationMethod{ kind = inspect; }127      out item retainedObservations : RegulatoryCriterionEvidenceSet;128    }129    action processData {130      @VerificationMethod{ kind = analyze; }131      in scenarioIdentity : RegulatoryCriterionScenarioIdentity = verifiedBench.scenario;132      in item retainedObservations : RegulatoryCriterionEvidenceSet = collectData.retainedObservations;133      out item replayedEvaluation : RegulatoryCriterionEvaluation;134    }135    action evaluateData {136      @VerificationMethod{ kind = analyze; }137      in item replayedEvaluation : RegulatoryCriterionEvaluation = processData.replayedEvaluation;138      out verdict : VerdictKind = MapRegulatoryCriterionOutcomeToVerdict(replayedEvaluation.outcome);139    }140    return verdict : VerdictKind = evaluateData.verdict;141  }142  verification pedestrianCriterionVerification : PedestrianCriterionVerification {143    @VerificationMethod{ kind = (inspect, analyze); }144    subject verifiedBench :> pedestrianCriterionBench;145  }146  verification bicycleCriterionVerification : BicycleCriterionVerification {147    @VerificationMethod{ kind = (inspect, analyze); }148    subject verifiedBench :> bicycleCriterionBench;149  }150  part verificationSystem {151    perform pedestrianCriterionVerification;152    perform bicycleCriterionVerification;153  }154155  dependency sourceControlRelevantToRegulatoryVisibilityNeed156    from evidenceContractSourceIdentity to needVisibleRegulatoryAssumptions;157  dependency pedestrianCriterionRelevantToPedestrianDetectionCandidate158    from evidenceContractPedestrianApplicableCriterion to reqPedestrianTargetResponse;159  dependency pedestrianCriterionRelevantToPedestrianResponseCandidate160    from evidenceContractPedestrianApplicableCriterion to reqPedestrianTargetControlledResponse;161  dependency bicycleCriterionRelevantToBicycleDetectionCandidate162    from evidenceContractBicycleApplicableCriterion to reqBicycleTargetResponse;163  dependency bicycleCriterionRelevantToBicycleResponseCandidate164    from evidenceContractBicycleApplicableCriterion to reqBicycleTargetControlledResponse;165166  concern physicalStructureConcern : PhysicalStructureConcern {167    subject;168    stakeholder systemsEngineer : SystemsEngineer;169    stakeholder reviewer : OpenSourceReviewer;170  }171172  concern argumentationAssuranceConcern : ArgumentationAssuranceConcern {173    doc /* Evidence-based assurance claims and their supporting argumentation. */174  }175176  view aebsRegulatoryCriterionVerificationAssuranceView {177    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {178      frame argumentationAssuranceConcern;179    }180181    expose DE4SDV_AEBSRegulatoryCriterionVerification::*;182    render asTreeDiagram;183  }184}185