JPL Technical Report Server

An ontology for state analysis: formalizing the mapping to SysML

Show simple item record

dc.contributor.author Wagner, David A.
dc.contributor.author Bennett, Matthew B.
dc.contributor.author Karban, Robert
dc.contributor.author Rouquette, Nicolas
dc.contributor.author Jenkins, Steven
dc.contributor.author Ingham, Michel
dc.date.accessioned 2015-03-18T21:32:51Z
dc.date.available 2015-03-18T21:32:51Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2014/44997
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

Search


Browse

My Account