Semantics in space systems architectures

Costs, life cycles, technologies and agreements between stakeholders and organizations make space systems unique with respect to the complexity. A commonly accepted technique to address part of this complexity is to model and to maintain space systems architectures through the life cycle of their space programs. The benefits may range from supporting consistent model definitions and maintenance up to supporting analysis and verification. Space systems architectures have been modeled using UPDM (unified profile for DoDAF And MODAF; a UML profile). In fact, UPDM argues that it provides a clearer understanding of the semantics behind specific views and viewpoints. Nonetheless, while UML defines its semantics imprecisely using plain text and variation points, UPDM does not define any semantics. In this paper, we evaluate an extension of fUML (semantics of a foundational subset for executable UML models) as a semantics for space systems architectures. The extension of fUML as a synchronous language (synchronous fUML) provides a limited, but formally precise and deterministic, form to describe structure and behavior in UML. Through the combination of this semantics with UPDM, a precise language supporting a standardized meta-model emerges for the definition of space systems architectures. At the end, a simplified case study covering the operational view (OV-*) is presented. Our initial results show that synchronous fUML is able to offer a precise and deterministic semantics for UPDM.

[1]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[2]  Iulian Ober,et al.  UML/SysML semantic tunings , 2011, Innovations in Systems and Software Engineering.

[3]  Peter Shames,et al.  Toward a Framework for Modeling Space Systems Architectures , 2006 .

[4]  Seppo J. Ovaska,et al.  Programming Languages for Real-Time Systems , 2012 .

[5]  Sébastien Gérard,et al.  Extending the Standard Execution Model of UML for Real-Time Systems , 2010, DIPES/BICC.

[6]  Roger Frost,et al.  International Organization for Standardization (ISO) , 2004 .

[7]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[8]  E. Poupart,et al.  Modeling Space System to provide global coherency from design to operations phases , 2012 .

[9]  Oleg Sindiy,et al.  NASA Integrated Network Monitor and Control Software Architecture , 2012 .

[10]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[11]  Klaus Schneider,et al.  Integrating UML Composite Structures and fUML , 2014, SOFSEM.

[12]  Charles André,et al.  A multiform time approach to real-time system modeling; Application to an automotive system , 2007, 2007 International Symposium on Industrial Embedded Systems.

[13]  Alessandro Gerlinger Romero.  HYBRID FUML - DEVELOPER'S GUIDE. , 2014 .

[14]  Klaus Schneider,et al.  Towards the applicability of alf to model Cyber-Physical Systems , 2013, 2013 Federated Conference on Computer Science and Information Systems.

[15]  Albert Benveniste,et al.  Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation , 2000, Inf. Comput..