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

Source

1/* INC-AEBS-009C partial native-intervention-to-MRM System 2 verification model. */2package DE4SDV_AEBSPartialInterventionVerification {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  item def PartialInterventionObservationSet;12  item def PartialInterventionEvaluation { attribute outcome : PartialInterventionEvidenceOutcome; }13  enum def PartialInterventionEvidenceOutcome {14    passObservedChain;15    failScenario;16    inconclusivePrecondition;17    inconclusiveInstrumentation;18    aborted;19  }20  calc def MapPartialInterventionOutcomeToVerdict {21    in outcome : PartialInterventionEvidenceOutcome;22    return verdict : VerdictKind =23      if outcome == PartialInterventionEvidenceOutcome::passObservedChain? VerdictKind::pass24      else if outcome == PartialInterventionEvidenceOutcome::failScenario? VerdictKind::fail25      else if outcome == PartialInterventionEvidenceOutcome::aborted? VerdictKind::error26      else VerdictKind::inconclusive;27  }2829  part def NativeInterventionBench;30  requirement def PartialInterventionEvidenceContract;31  requirement evidenceContractExactNativeDiagnostic : PartialInterventionEvidenceContract {32    subject bench : NativeInterventionBench;33    require constraint statement { language "English" /* Replay shall observe the exact configured native AEB intervention diagnostic tuple. */ }34  }35  requirement evidenceContractMRMGateChain : PartialInterventionEvidenceContract {36    subject bench : NativeInterventionBench;37    require constraint statement { language "English" /* Replay shall preserve ordered MRM transition, emergency-gate selection, and simulator-response observations with their source and collector stamps. */ }38  }39  requirement evidenceContractFailClosedProvenance : PartialInterventionEvidenceContract {40    subject bench : NativeInterventionBench;41    require constraint statement { language "English" /* Missing, contradictory, identity-mismatched, or unreplayable evidence shall not produce a passing outcome. */ }42  }4344  part nativeInterventionBench : NativeInterventionBench;45  verification def NativeInterventionToMRMVerification {46    subject verifiedBench : NativeInterventionBench;47    objective evidenceObjective {48      verify evidenceContractExactNativeDiagnostic;49      verify evidenceContractMRMGateChain;50      verify evidenceContractFailClosedProvenance;51    }52    action collectData {53      @VerificationMethod{ kind = test; }54      out item retainedObservations : PartialInterventionObservationSet;55    }56    action processData {57      @VerificationMethod{ kind = analyze; }58      in item retainedObservations : PartialInterventionObservationSet = collectData.retainedObservations;59      out item replayedEvaluation : PartialInterventionEvaluation;60    }61    action evaluateData {62      @VerificationMethod{ kind = analyze; }63      in item replayedEvaluation : PartialInterventionEvaluation = processData.replayedEvaluation;64      out verdict : VerdictKind = MapPartialInterventionOutcomeToVerdict(replayedEvaluation.outcome);65    }66    return verdict : VerdictKind = evaluateData.verdict;67  }68  verification nativeInterventionToMRMVerification : NativeInterventionToMRMVerification {69    @VerificationMethod{ kind = (test, analyze); }70    subject verifiedBench :> nativeInterventionBench;71  }72  part verificationSystem { perform nativeInterventionToMRMVerification; }7374  dependency partialInterventionEvidenceRelevantToBrakingCandidate75    from evidenceContractMRMGateChain to reqCommandEmergencyBraking;7677  concern physicalStructureConcern : PhysicalStructureConcern {78    subject;79    stakeholder systemsEngineer : SystemsEngineer;80    stakeholder reviewer : OpenSourceReviewer;81  }8283  concern argumentationAssuranceConcern : ArgumentationAssuranceConcern {84    doc /* Evidence-based assurance claims and their supporting argumentation. */85  }8687  view aebsPartialInterventionVerificationAssuranceView {88    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {89      frame argumentationAssuranceConcern;90    }9192    expose DE4SDV_AEBSPartialInterventionVerification::*;93    render asTreeDiagram;94  }95}96