Metamodel Types Visualization#
classDiagram
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_req --> comp : satisfied_by
comp_saf_dfa --> comp_req : mitigated_by
comp_saf_dfa --> aou_req : mitigated_by
comp_saf_dfa --> comp_arc_sta : violates
comp_saf_fmea --> comp_req : mitigated_by
comp_saf_fmea --> aou_req : mitigated_by
comp_saf_fmea --> comp_arc_dyn : violates
comp_saf_fmea --> comp_arc_sta : violates
comp_sec_ana --> comp_req : mitigated_by
comp_sec_ana --> aou_req : 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_req --> feat : satisfied_by
feat_saf_dfa --> feat_req : mitigated_by
feat_saf_dfa --> aou_req : mitigated_by
feat_saf_dfa --> feat_arc_sta : violates
feat_saf_fmea --> feat_req : mitigated_by
feat_saf_fmea --> aou_req : mitigated_by
feat_saf_fmea --> feat_arc_dyn : violates
feat_saf_fmea --> feat_arc_sta : violates
feat_sec_ana --> feat_req : mitigated_by
feat_sec_ana --> aou_req : 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
logic_arc_int --> feat : included_by
logic_arc_int --> logic_arc_int_op : includes
logic_arc_int_op --> logic_arc_int : 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
plat_saf_dfa --> stkh_req : mitigated_by
plat_saf_dfa --> aou_req : mitigated_by
plat_saf_dfa --> feat_arc_sta : violates
plat_sec_ana --> feat_req : mitigated_by
plat_sec_ana --> aou_req : mitigated_by
real_arc_int --> comp_req : fulfils
real_arc_int_op --> logic_arc_int_op : implements
real_arc_int_op --> real_arc_int : 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
workflow --> role : 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
workflow --> role : supported_by
workproduct --> std_wp : complies
workproduct --> std_req : complies
Need Types#
Type |
Title |
Mandatory Options |
Links |
|---|---|---|---|
aou_req |
Assumption of Use Requirement |
content, reqtype, safety, security, status |
— |
assertion |
Assertion |
id, status |
links |
comp |
Component |
safety, security, status |
consists_of, fulfils, implements, uses | mandatory: belongs_to |
comp_arc_dyn |
Component Sequence Diagram |
safety, security, status |
fulfils | mandatory: belongs_to |
comp_arc_sta |
Component Package Diagram |
safety, security, status |
fulfils, uses | mandatory: belongs_to |
comp_req |
Component Requirement |
content, reqtype, safety, security, status |
covers, derived_from | mandatory: satisfied_by |
comp_saf_dfa |
Component DFA (Dependent Failure Analysis) |
content, failure_effect, failure_id, status, sufficient |
mitigated_by | mandatory: violates |
comp_saf_fmea |
Component FMEA (Failure Mode and Effects Analysis) |
content, failure_effect, fault_id, status, sufficient |
mitigated_by | mandatory: 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 |
mandatory: realizes
|
feat |
Feature |
safety, security, status |
includes, provides, uses |
feat_arc_dyn |
Feature Sequence Diagram |
safety, security, status |
fulfils | mandatory: belongs_to |
feat_arc_sta |
Feature & Feature Package Diagram |
safety, security, status |
fulfils | mandatory: belongs_to, includes |
feat_req |
Feature Requirement |
content, reqtype, safety, security, status, valid_from |
covers, derived_from | mandatory: satisfied_by |
feat_saf_dfa |
Feature DFA (Dependent Failure Analysis) |
content, failure_effect, failure_id, status, sufficient |
mitigated_by | mandatory: violates |
feat_saf_fmea |
Feature FMEA (Failure Mode and Effects Analysis) |
content, failure_effect, fault_id, status, sufficient |
mitigated_by | mandatory: 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 |
logic_arc_int_op |
Logical Interface Operation |
safety, security, status |
mandatory: included_by
|
mod |
Module |
— |
mandatory: includes
|
mod_ver_report |
Module Verification Report |
safety, security, status, verification_method |
contains, covers, evidence, realizes | mandatory: belongs_to |
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 | mandatory: 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 |
Interface Operation |
safety, security, status |
implements | mandatory: included_by |
review_header |
Review Header |
approvers, hash, reviewers, template |
— |
role |
Role |
— |
contains |
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 |
contains, has, supported_by | mandatory: approved_by, input, output, responsible |
workproduct |
Workproduct |
status |
complies |