This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
bok:eng:mbse:method [2020/09/18 10:36] anwlur [JPL State Analysis (SA)] |
bok:eng:mbse:method [2020/09/18 10:38] (current) anwlur [JPL State Analysis (SA)] |
||
---|---|---|---|
Line 271: | Line 271: | ||
=== Development Activities === | === Development Activities === | ||
- | - The foundation of the JPL SA methodology is the control system and the /system under control// are explicitly different. This separation is formalized in an //ontology// which is written in OWL2. JPL used [[https://protege.stanford.edu/|Protege]] as the editing environment. | + | - The foundation of the JPL SA methodology is the control system and the //system under control// are explicitly different. This separation is formalized in an //ontology// which is written in OWL2. JPL used [[https://protege.stanford.edu/|Protege]] as the editing environment. |
- This ontology is mapped to SysML artifacts using Query/View/Transformation (QVT), a model-to-model transformation standard by OMG. | - This ontology is mapped to SysML artifacts using Query/View/Transformation (QVT), a model-to-model transformation standard by OMG. | ||
- A context diagram (block diagram) includes //Analysis Context// with parts //System Under Control// and //Control System// | - A context diagram (block diagram) includes //Analysis Context// with parts //System Under Control// and //Control System// | ||
Line 279: | Line 279: | ||
- The //HardwareAdapter// is modeled to be an interface between the Control System and System Under Control. Measurements flow from System Under Control to Control System, Controls flow the other way. | - The //HardwareAdapter// is modeled to be an interface between the Control System and System Under Control. Measurements flow from System Under Control to Control System, Controls flow the other way. | ||
- Goals are elaborated as (typically) stereotyped use cases whilst the temporal aspect of goals is defined as constraints and analyzed in parametric diagrams. | - Goals are elaborated as (typically) stereotyped use cases whilst the temporal aspect of goals is defined as constraints and analyzed in parametric diagrams. | ||
- | - | ||
- | |||
- | |||
==== Object-Process Methodology (OPM) ==== | ==== Object-Process Methodology (OPM) ==== | ||
==== SYSMOD ==== | ==== SYSMOD ==== | ||
+ | |||
+ | ==== Funcational Architecture Methodology ==== | ||
+ | |||