User Tools
bok:eng:mbse:method
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
bok:eng:mbse:method [2020/09/14 23:14] anwlur [JPL State Analysis (SA)] add physical system modeling ontology |
bok:eng:mbse:method [2020/09/18 10:38] (current) anwlur [JPL State Analysis (SA)] |
||
|---|---|---|---|
| Line 269: | Line 269: | ||
| * Describing methods by which objectives will be achieved | * Describing methods by which objectives will be achieved | ||
| - | === Ontology - Physical System Modeling Concepts === | + | === Development Activities === |
| - | {{ :bok:eng:mbse:method:jpl_sa_2.png?400 |}} | + | - 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. | ||
| + | - A context diagram (block diagram) includes //Analysis Context// with parts //System Under Control// and //Control System// | ||
| + | - In a state effects diagram (=internal block diagram) map the relationship between different state variables contained within the context. Use //affects// and //affectedBy// relationships. | ||
| + | - Define mathematical relationships between State Variables with parametric diagrams | ||
| + | - Control System is designed. A State Variable has only 1 //Controller// and (may) have only one //Estimator// | ||
| + | - 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. | ||
| - | {{ :bok:eng:mbse:method:jpl_sa_3.png?400 |}} | ||
| - | |||
| - | * The //Affected// and //Affector// are both specializations :?: of //Thing//. | ||
| - | * //StateVariable// and //StateVariableGroup// are both properties :?: of //Affected// and //Affector//. //StateVariableGroup// is a modeling concept to make organization of the model easier. | ||
| - | * Only //Affected// has //Measurement// properties and is affected by 0 or more //Affector//. | ||
| - | * Only //Affector// has //Command// and affects 0 or more //Affected//. | ||
| - | |||
| - | * Unordered List Item | ||
| ==== Object-Process Methodology (OPM) ==== | ==== Object-Process Methodology (OPM) ==== | ||
| ==== SYSMOD ==== | ==== SYSMOD ==== | ||
| + | |||
| + | ==== Funcational Architecture Methodology ==== | ||
| + | |||
bok/eng/mbse/method.1600125256.txt.gz · Last modified: 2020/09/14 23:14 by anwlur
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
