Metamodel Types Visualization

        ---
config:
  layout: elk
---
classDiagram
  direction BT
class aou_req {
  +content
  +reqtype
  +safety
  +security
  +status
}
class assertion {
  +id
  +status
}
class comp {
  +safety
  +security
  +status
}
class comp_arc_dyn {
  +safety
  +security
  +status
}
class comp_arc_sta {
  +safety
  +security
  +status
}
class comp_req {
  +content
  +reqtype
  +safety
  +security
  +status
}
class comp_saf_dfa {
  +content
  +failure_effect
  +failure_id
  +status
  +sufficient
}
class comp_saf_fmea {
  +content
  +failure_effect
  +fault_id
  +status
  +sufficient
}
class comp_sec_ana {
  +content
  +status
  +sufficient
  +threat_effect
  +threat_scenario_id
}
class comp_sec_threat {
  +content
  +status
  +threat_id
}
class dec_rec {
  +context
  +decision
  +status
}
class doc_concept {
  +status
}
class doc_getstrt {
  +status
}
class doc_tool {
  +safety_affected
  +security_affected
  +status
  +tcl
}
class document {
  +safety
  +security
  +status
}
class feat {
  +safety
  +security
  +status
}
class feat_arc_dyn {
  +safety
  +security
  +status
}
class feat_arc_sta {
  +safety
  +security
  +status
}
class feat_req {
  +content
  +reqtype
  +safety
  +security
  +status
  +valid_from
}
class feat_saf_dfa {
  +content
  +failure_effect
  +failure_id
  +status
  +sufficient
}
class feat_saf_fmea {
  +content
  +failure_effect
  +fault_id
  +status
  +sufficient
}
class feat_sec_ana {
  +content
  +status
  +sufficient
  +threat_effect
  +threat_scenario_id
}
class feat_sec_threat {
  +content
  +status
  +threat_id
}
class gd_chklst {
  +status
}
class gd_guidl {
  +status
}
class gd_method {
  +status
}
class gd_req {
  +content
}
class gd_temp {
  +status
}
class logic_arc_int {
  +safety
  +security
  +status
}
class logic_arc_int_op {
  +safety
  +security
  +status
}
class mod
class mod_ver_report {
  +safety
  +security
  +status
  +verification_method
}
class mod_view_dyn
class mod_view_sta
class plat_saf_dfa {
  +content
  +failure_effect
  +failure_id
  +status
  +sufficient
}
class plat_sec_ana {
  +content
  +status
  +sufficient
  +threat_effect
  +threat_scenario_id
}
class plat_sec_threat {
  +content
  +status
  +threat_id
}
class real_arc_int {
  +language
  +safety
  +security
  +status
}
class real_arc_int_op {
  +safety
  +security
  +status
}
class review_header {
  +approvers
  +hash
  +reviewers
  +template
}
class role
class std_req {
  +id
  +status
}
class std_wp {
  +id
  +status
}
class stkh_req {
  +rationale
  +reqtype
  +safety
  +security
  +status
  +valid_from
}
class tenet {
  +id
  +status
}
class testcase
class tool_req {
  +content
}
class tsf {
  +id
  +status
}
class workflow {
  +status
}
class workproduct {
  +status
}
comp --> feat : belongs_to
comp --> comp : consists_of
comp --> aou_req : fulfils
comp --> logic_arc_int : implements
comp --> real_arc_int_op : implements
comp --> logic_arc_int : uses
comp --> real_arc_int_op : uses
comp_arc_dyn --> comp : belongs_to
comp_arc_dyn --> comp_req : fulfils
comp_arc_sta --> comp : belongs_to
comp_arc_sta --> comp_req : fulfils
comp_arc_sta --> logic_arc_int : uses
comp_arc_sta --> real_arc_int_op : uses
comp_req --> aou_req : covers
comp_req --> feat_req : derived_from
comp <-- comp_req : satisfied_by
comp_req <-- comp_saf_dfa : mitigated_by
aou_req <-- comp_saf_dfa : mitigated_by
comp_saf_dfa --> comp_arc_sta : violates
comp_req <-- comp_saf_fmea : mitigated_by
aou_req <-- comp_saf_fmea : mitigated_by
comp_saf_fmea --> comp_arc_dyn : violates
comp_saf_fmea --> comp_arc_sta : violates
comp_req <-- comp_sec_ana : mitigated_by
aou_req <-- comp_sec_ana : mitigated_by
doc_tool --> workproduct : realizes
document --> workproduct : realizes
feat --> logic_arc_int : includes
feat --> logic_arc_int_op : includes
feat --> logic_arc_int : provides
feat --> logic_arc_int_op : provides
feat --> logic_arc_int : uses
feat --> logic_arc_int_op : uses
feat_arc_dyn --> feat : belongs_to
feat_arc_dyn --> feat_req : fulfils
feat_arc_sta --> feat : belongs_to
feat_arc_sta --> feat_req : fulfils
feat_arc_sta --> aou_req : fulfils
feat_arc_sta --> logic_arc_int : includes
feat_arc_sta --> logic_arc_int_op : includes
feat_req --> aou_req : covers
feat_req --> stkh_req : derived_from
feat <-- feat_req : satisfied_by
feat_req <-- feat_saf_dfa : mitigated_by
aou_req <-- feat_saf_dfa : mitigated_by
feat_saf_dfa --> feat_arc_sta : violates
feat_req <-- feat_saf_fmea : mitigated_by
aou_req <-- feat_saf_fmea : mitigated_by
feat_saf_fmea --> feat_arc_dyn : violates
feat_saf_fmea --> feat_arc_sta : violates
feat_req <-- feat_sec_ana : mitigated_by
aou_req <-- feat_sec_ana : mitigated_by
gd_chklst --> std_req : complies
gd_guidl --> std_req : complies
gd_method --> std_req : complies
gd_req --> std_req : complies
gd_req --> workflow : satisfies
gd_temp --> std_req : complies
logic_arc_int --> feat_req : fulfils
feat <-- logic_arc_int : included_by
logic_arc_int --> logic_arc_int_op : includes
logic_arc_int <-- logic_arc_int_op : included_by
mod --> comp : includes
mod_ver_report --> mod : belongs_to
mod_ver_report --> workproduct : realizes
mod_view_dyn --> mod : belongs_to
mod_view_sta --> mod : belongs_to
mod_view_sta --> comp : includes
stkh_req <-- plat_saf_dfa : mitigated_by
aou_req <-- plat_saf_dfa : mitigated_by
plat_saf_dfa --> feat_arc_sta : violates
feat_req <-- plat_sec_ana : mitigated_by
aou_req <-- plat_sec_ana : mitigated_by
real_arc_int --> comp_req : fulfils
real_arc_int_op --> logic_arc_int_op : implements
real_arc_int <-- real_arc_int_op : included_by
role --> role : contains
tool_req --> gd_req : satisfies
tool_req --> stkh_req : satisfies
tool_req --> feat_req : satisfies
tool_req --> comp_req : satisfies
role <-- workflow : approved_by
workflow --> gd_req : contains
workflow --> gd_temp : contains
workflow --> gd_chklst : contains
workflow --> gd_guidl : contains
workflow --> gd_method : contains
workflow --> doc_getstrt : has
workflow --> doc_concept : has
workflow --> workproduct : input
workflow --> workproduct : output
workflow --> role : responsible
role <-- workflow : supported_by
workproduct --> std_wp : complies
workproduct --> std_req : complies
style aou_req fill:#FCFCFC,stroke:#666,color:#000
style assertion fill:#E1D5E7,stroke:#666,color:#000
style comp fill:#D5E8D4,stroke:#666,color:#000
style comp_arc_dyn fill:#D5E8D4,stroke:#666,color:#000
style comp_arc_sta fill:#D5E8D4,stroke:#666,color:#000
style comp_req fill:#D5E8D4,stroke:#666,color:#000
style comp_saf_dfa fill:#D5E8D4,stroke:#666,color:#000
style comp_saf_fmea fill:#D5E8D4,stroke:#666,color:#000
style comp_sec_ana fill:#D5E8D4,stroke:#666,color:#000
style comp_sec_threat fill:#D5E8D4,stroke:#666,color:#000
style feat fill:#FFF2CC,stroke:#666,color:#000
style feat_arc_dyn fill:#FFF2CC,stroke:#666,color:#000
style feat_arc_sta fill:#FFF2CC,stroke:#666,color:#000
style feat_req fill:#FFF2CC,stroke:#666,color:#000
style feat_saf_dfa fill:#FFF2CC,stroke:#666,color:#000
style feat_saf_fmea fill:#FFF2CC,stroke:#666,color:#000
style feat_sec_ana fill:#FFF2CC,stroke:#666,color:#000
style feat_sec_threat fill:#FFF2CC,stroke:#666,color:#000
style gd_chklst fill:#E1D5E7,stroke:#666,color:#000
style gd_guidl fill:#E1D5E7,stroke:#666,color:#000
style gd_method fill:#E1D5E7,stroke:#666,color:#000
style gd_req fill:#E1D5E7,stroke:#666,color:#000
style gd_temp fill:#E1D5E7,stroke:#666,color:#000
style logic_arc_int fill:#FFF2CC,stroke:#666,color:#000
style logic_arc_int_op fill:#FFF2CC,stroke:#666,color:#000
style mod fill:#D5E8D4,stroke:#666,color:#000
style mod_view_dyn fill:#D5E8D4,stroke:#666,color:#000
style mod_view_sta fill:#D5E8D4,stroke:#666,color:#000
style plat_saf_dfa fill:#DAE8FC,stroke:#666,color:#000
style plat_sec_ana fill:#DAE8FC,stroke:#666,color:#000
style plat_sec_threat fill:#DAE8FC,stroke:#666,color:#000
style real_arc_int fill:#D5E8D4,stroke:#666,color:#000
style real_arc_int_op fill:#D5E8D4,stroke:#666,color:#000
style role fill:#E1D5E7,stroke:#666,color:#000
style std_req fill:#E1D5E7,stroke:#666,color:#000
style std_wp fill:#E1D5E7,stroke:#666,color:#000
style stkh_req fill:#DAE8FC,stroke:#666,color:#000
style tenet fill:#E1D5E7,stroke:#666,color:#000
style tool_req fill:#F5F5F5,stroke:#666,color:#000
style tsf fill:#E1D5E7,stroke:#666,color:#000
style workflow fill:#E1D5E7,stroke:#666,color:#000
style workproduct fill:#E1D5E7,stroke:#666,color:#000

    

Need Types

Table 1 Need Types

Type	Title	Mandatory Options	Links	Incoming Mandatory Links
aou_req	Assumption of Use Requirement	content, reqtype, safety, security, status	—	—
assertion	Assertion	id, status	links	—
comp	Component	safety, security, status	belongs_to, consists_of, fulfils, implements, uses	comp_arc_dyn, comp_arc_sta, comp_req, mod
comp_arc_dyn	Component Sequence Diagram	safety, security, status	belongs_to, fulfils	comp_saf_fmea
comp_arc_sta	Component Package Diagram	safety, security, status	belongs_to, fulfils, uses	comp_saf_dfa, comp_saf_fmea
comp_req	Component Requirement	content, reqtype, safety, security, status	covers, derived_from, satisfied_by	—
comp_saf_dfa	Component DFA (Dependent Failure Analysis)	content, failure_effect, failure_id, status, sufficient	mitigated_by, violates	—
comp_saf_fmea	Component FMEA (Failure Mode and Effects Analysis)	content, failure_effect, fault_id, status, sufficient	mitigated_by, violates	—
comp_sec_ana	Component Security Analysis (Threat Scenario)	content, status, sufficient, threat_effect, threat_scenario_id	mitigated_by	—
comp_sec_threat	Component Security Analysis Threat (STRIDE)	content, status, threat_id	—	—
dec_rec	Decision Record	context, decision, status	affects	—
doc_concept	Concept Definition	status	—	—
doc_getstrt	Getting Started	status	—	—
doc_tool	Tool Verification Report	safety_affected, security_affected, status, tcl	realizes	—
document	Generic Document	safety, security, status	realizes	—
feat	Feature	safety, security, status	includes, provides, uses	comp, feat_arc_dyn, feat_arc_sta, feat_req
feat_arc_dyn	Feature Sequence Diagram	safety, security, status	belongs_to, fulfils	feat_saf_fmea
feat_arc_sta	Feature & Feature Package Diagram	safety, security, status	belongs_to, fulfils, includes	feat_saf_dfa, feat_saf_fmea, plat_saf_dfa
feat_req	Feature Requirement	content, reqtype, safety, security, status, valid_from	covers, derived_from, satisfied_by	—
feat_saf_dfa	Feature DFA (Dependent Failure Analysis)	content, failure_effect, failure_id, status, sufficient	mitigated_by, violates	—
feat_saf_fmea	Feature FMEA (Failure Mode and Effects Analysis)	content, failure_effect, fault_id, status, sufficient	mitigated_by, violates	—
feat_sec_ana	Feature Security Analysis (Threat Scenario)	content, status, sufficient, threat_effect, threat_scenario_id	mitigated_by	—
feat_sec_threat	Feature Security Analysis Threat (STRIDE)	content, status, threat_id	—	—
gd_chklst	Process Checklist	status	complies	—
gd_guidl	Process Guideline	status	complies	—
gd_method	Process Method	status	complies	—
gd_req	Process Requirements	content	complies, satisfies	—
gd_temp	Process Template	status	complies	—
logic_arc_int	Logical Interface & Feature Interface View	safety, security, status	fulfils, included_by, includes	feat_arc_sta, logic_arc_int_op
logic_arc_int_op	Logical Interface Operation	safety, security, status	included_by	feat_arc_sta
mod	Module	—	includes	mod_ver_report
mod_ver_report	Module Verification Report	safety, security, status, verification_method	belongs_to, contains, covers, evidence, realizes	—
mod_view_dyn	Module Architecture Dynamic View	—	belongs_to	—
mod_view_sta	Module Architecture Static View	—	belongs_to, includes	—
plat_saf_dfa	Platform Dependent Failure Analysis	content, failure_effect, failure_id, status, sufficient	mitigated_by, violates	—
plat_sec_ana	Platform Security Analysis (Threat Scenario)	content, status, sufficient, threat_effect, threat_scenario_id	mitigated_by	—
plat_sec_threat	Platform Security Analysis Threat (STRIDE)	content, status, threat_id	—	—
real_arc_int	Interface & Component Interface	language, safety, security, status	fulfils	real_arc_int_op
real_arc_int_op	Interface Operation	safety, security, status	implements, included_by	—
review_header	Review Header	approvers, hash, reviewers, template	—	—
role	Role	—	contains	workflow
std_req	Standard Requirement	id, status	links	—
std_wp	Standard Work Product	id, status	—	—
stkh_req	Stakeholder Requirement	rationale, reqtype, safety, security, status, valid_from	—	—
tenet	Tenet	id, status	links	—
testcase	Testcase Needs parsed from test.xml files	—	fully_verifies, partially_verifies	—
tool_req	Tool Requirement	content	satisfies	—
tsf	TSF	id, status	links	—
workflow	Workflow	status	approved_by, contains, has, input, output, responsible, supported_by	—
workproduct	Workproduct	status	complies	document, workflow