JPL Technical Report Server

An ontology for state analysis: formalizing the mapping to SysML

Show simple item record Wagner, David A. Bennett, Matthew B. Karban, Robert Rouquette, Nicolas Jenkins, Steven Ingham, Michel 2015-03-18T21:32:51Z 2015-03-18T21:32:51Z 2012-03-03
dc.identifier.citation 2012 IEEE Aerospace Conference, Big Sky, Montana, March 3-10, 2012 en_US
dc.identifier.clearanceno 11-5649
dc.description.abstract State 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. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2012 en_US
dc.title An ontology for state analysis: formalizing the mapping to SysML en_US
dc.type Preprint en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account