An ontology for State Analysis: Formalizing the mapping to SysML

Abstract

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.

A Simulation Fidelity Assessment Framework

“…The formal method based on ontologies could serve as an integrating standard in system modeling and simulation by organizing and relating analyses of a design in a consistent manner [Wagner, 2012]. In [Man, 2009] a correct, scalable and automated method, semantic properties are inferred using lattice-based ontologies.…”

“…Thus it is necessary to capture and implement modeling abstractions consistent with the design objectives. This paper describes a formal proposition for finding and implementing modeling abstractions compatible with simulation objectives in the established M&S framework by Zeigler [Zeigler, 2000] using concepts from control and computer theory such as approximate bisimulation (AB) , abstract interpretation (AI) [Cousot, 1992] and ontology [Wagner, 2012]. The concepts of fidelity and abstractions are briefly explained followed by proposition on formal approach in the modeling and simulation context.…”

10.5.2 Three years of MBSE for a large scientific programme: Report from the Trenches of Telescope Modeling

“…However, SA does not support SysML, and is not integrated into an overall system modeling process. Therefore, the first goal has been to develop, a SysML profile [9] for SA in collaboration with the JPL. The Object Oriented Systems Engineering Method (OOSEM) [5] integrates top-down functional decomposition with a model-based approach that uses SysML to support the specification, analysis, design, and verification of systems.…”

Ontology and Modeling Patterns for State-Based Behavior Representation

“…9 System Architect, System Architectures and Behaviors Group, 4800 Oak Grove Drive, Pasadena, CA 91109, M/S 301-490, AIAA Member. 10 Principal Engineer, Engineering Development Office, 4800 Oak Grove Drive, Pasadena, CA 91109, M/S 301-237. 11 Senior Systems Architect, System Architectures and Behaviors Group, 4800 Oak Grove Drive, Pasadena, CA 91109, M/S 301-490.…”