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_AEBS009CVerification {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 Retained009CObservationSet;12  item def Replayed009CEvaluation { attribute outcome : EvidenceOutcome009C; }13  enum def EvidenceOutcome009C {14    passObservedChain;15    failScenario;16    inconclusivePrecondition;17    inconclusiveInstrumentation;18    aborted;19  }20  calc def Map009COutcomeToVerdict {21    in outcome : EvidenceOutcome009C;22    return verdict : VerdictKind =23      if outcome == EvidenceOutcome009C::passObservedChain? VerdictKind::pass24      else if outcome == EvidenceOutcome009C::failScenario? VerdictKind::fail25      else if outcome == EvidenceOutcome009C::aborted? VerdictKind::error26      else VerdictKind::inconclusive;27  }2829  part def NativeInterventionBench009C;30  requirement def EvidenceContract009C;31  requirement evidenceContract009CExactNativeDiagnostic : EvidenceContract009C {32    subject bench : NativeInterventionBench009C;33    require constraint { doc /* Replay shall observe the exact configured native AEB intervention diagnostic tuple. */ }34  }35  requirement evidenceContract009CMRMGateChain : EvidenceContract009C {36    subject bench : NativeInterventionBench009C;37    require constraint { doc /* Replay shall preserve ordered MRM transition, emergency-gate selection, and simulator-response observations with their source and collector stamps. */ }38  }39  requirement evidenceContract009CFailClosedProvenance : EvidenceContract009C {40    subject bench : NativeInterventionBench009C;41    require constraint { doc /* Missing, contradictory, identity-mismatched, or unreplayable evidence shall not produce a passing outcome. */ }42  }4344  part nativeInterventionBench009C : NativeInterventionBench009C;45  verification def NativeInterventionToMRMVerification009C {46    subject verifiedBench : NativeInterventionBench009C;47    objective evidenceObjective009C {48      verify evidenceContract009CExactNativeDiagnostic;49      verify evidenceContract009CMRMGateChain;50      verify evidenceContract009CFailClosedProvenance;51    }52    action collectData {53      @VerificationMethod{ kind = test; }54      out item retainedObservations : Retained009CObservationSet;55    }56    action processData {57      @VerificationMethod{ kind = analyze; }58      in item retainedObservations : Retained009CObservationSet = collectData.retainedObservations;59      out item replayedEvaluation : Replayed009CEvaluation;60    }61    action evaluateData {62      @VerificationMethod{ kind = analyze; }63      in item replayedEvaluation : Replayed009CEvaluation = processData.replayedEvaluation;64      out verdict : VerdictKind = Map009COutcomeToVerdict(replayedEvaluation.outcome);65    }66    return verdict : VerdictKind = evaluateData.verdict;67  }68  verification nativeInterventionToMRMVerification009C : NativeInterventionToMRMVerification009C {69    @VerificationMethod{ kind = (test, analyze); }70    subject verifiedBench :> nativeInterventionBench009C;71  }72  part verificationSystem009C { perform nativeInterventionToMRMVerification009C; }7374  dependency partialInterventionEvidenceRelevantToBrakingCandidate75    from evidenceContract009CMRMGateChain 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 aebs009CVerificationAssuranceView {88    viewpoint selectedArgumentationAssuranceViewpoint : ArgumentationAssuranceViewpoint {89      frame argumentationAssuranceConcern;90    }9192    expose DE4SDV_AEBS009CVerification::*;93    render asTreeDiagram;94  }95}96