memo_viewpoints_verification_verification_viewpoint

SysML API

Public namespace	memo::viewpoints::verification
Declared package	memo_viewpoints_verification_verification_viewpoint
Source	src/viewpoints/verification/verification_viewpoint.sysml

Namespace hierarchy

memo → memo::viewpoints → memo::viewpoints::verification

Packages

Package
memo_viewpoints_verification_verification_viewpoint

Imports

Visibility	Target
private	ScalarValues::*
private	memo_viewpoints_definitions::*
private	memo_core_enumerations::*
private	memo_viewpoints_stakeholders_concerns::*
private	memo_core_common::*
private	memo_core_common::MemoIdentity

Declarations

Name	SysML kind	Description	Specializes
—	—	—	—

Source

viewpoints/verification/verification_viewpoint.sysml

package memo_viewpoints_verification_verification_viewpoint {
    private import ScalarValues::*;

    private import memo_viewpoints_definitions::*;
    private import memo_core_enumerations::*;
    private import memo_viewpoints_stakeholders_concerns::*;

    private import memo_core_common::*;
    private import memo_core_common::MemoIdentity;
    viewpoint verificationViewpoint : MemoViewpoint {
        @MemoIdentity { :>> providedId = "VP-VER"; :>> label = "VerificationViewpoint"; }
        @MemoIdentity { :>> shortDescription = "Shows verification cases, validation cases, and the evidence they produce, traced to requirements."; }
        doc /* Default viewpoint derived from the requirements and assurance layers for V&V coverage — which requirements are verified/validated, by which case, and what evidence was produced, supporting ISO 13485 §7.3.6/§7.3.7 and IEC 62304 §5.7/§5.8. */
        attribute :>> purpose = "Communicate verification and validation coverage against requirements.";
        ref :>> memoStakeholders = (verificationEngineer);
        attribute :>> stage = WorkflowStageKind::verificationStage;
        attribute :>> abstractionLevel = "verification";
        attribute :>> outputKind = (ViewOutputKind::matrix);
        attribute :>> presentationKind = (PresentationKind::traceMatrix);
        ref :>> framedConcerns = (safetyConcern, regulatoryConcern);
        attribute :>> explorerLane = "assurance";
        attribute :>> explorerOrder = 5;
        attribute :>> userExtensible = true;
    }
}