NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
An Ontology for State Analysis: Formalizing the Mapping to SysMLState Analysis is a methodology developed over the last decade for architecting, designing and documenting complex control systems. Although it was originally conceived for designing robotic spacecraft, recent applications include the design of control systems for large ground-based telescopes. The European Southern Observatory (ESO) began a project to design the European Extremely Large Telescope (E-ELT), which will require coordinated control of over a thousand articulated mirror segments. The designers are using State Analysis as a methodology and the Systems Modeling Language (SysML) as a modeling and documentation language in this task. To effectively apply the State Analysis methodology in this context it became necessary to provide ontological definitions of the concepts and relations in State Analysis and greater flexibility through a mapping of State Analysis into a practical extension of SysML. The ontology provides the formal basis for verifying compliance with State Analysis semantics including architectural constraints. The SysML extension provides the practical basis for applying the State Analysis methodology with SysML tools. This paper will discuss the method used to develop these formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and enforce architectural constraints in a SysML model.
Document ID
20150008778
Document Type
Conference Paper
External Source(s)
Authors
Wagner, David A. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Bennett, Matthew B. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Karban, Robert (European Southern Observatory Garching, Germany)
Rouquette, Nicolas (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Jenkins, Steven (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Ingham, Michel (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
May 26, 2015
Publication Date
March 3, 2012
Subject Category
Systems Analysis and Operations Research
Meeting Information
2012 IEEE Aerospace Conference(Big Sky, MT)
Distribution Limits
Public
Copyright
Other