Simulating SysML models: Overview and challenges

SysML language, proposed by OMG, is a commonly accepted standard to model and study systems-of-systems (SoS). It provides the means to depict SoS components and their behavior in a multi-layer fashion and explore alterative architectures for their design. To validate SysML models in terms of performance criteria, simulation is usually the preferred method employed. To this end, different SysML diagrams are utilized, while numerous simulation methodologies and tools are employed. There are many efforts targeting simulation code generation from SysML models. Model-based system engineering concepts are adopted in most of them to generate simulation models from SysML models. Nevertheless, this process is not standardized, although most of current approaches tend to follow the same steps, even if they employ different tools. The scope of this paper is to provide a comprehensive understanding of the similarities and differences of existing approaches and identify current challenges in fully automating SysML models simulation process.

[1]  Leandro Soares Indrusiak,et al.  MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems , 2012, 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).

[2]  Marcello Mura,et al.  Executable Models and Verification from MARTE and SysML : a Comparative Study of Code Generation Capabilities , 2008 .

[3]  Mara Nikolaidou,et al.  Basic guidelines for simulating SysML models: An experience report , 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).

[4]  Leon F. McGinnis,et al.  A simple example of SysML-driven simulation , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[5]  Gabriel Pedroza,et al.  AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties , 2011, 2011 11th Annual International Conference on New Technologies of Distributed Systems.

[6]  Mara Nikolaidou,et al.  Integrating simulation capabilities into SysML for enterprise information system design , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).

[7]  Leon F. McGinnis,et al.  System modeling in SYsML and system analysis in Arena , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[8]  Christiaan J. J. Paredis,et al.  Virtual Verification of System Designs against System Requirements , 2010, MoDELS Workshops.

[9]  Samir Chouali,et al.  Assembling Components using SysML with Non-Functional Requirements , 2013, Electron. Notes Theor. Comput. Sci..

[10]  Mara Nikolaidou,et al.  An integrated framework for automated simulation of SysML models using DEVS , 2014, Simul..

[11]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.

[12]  Ludovic Apvrille,et al.  TEPE: a SysML language for time-constrained property modeling and formal verification , 2011, SOEN.

[13]  Leon F. McGinnis,et al.  Ontologies and simulation: a practical approach , 2011, J. Simulation.

[14]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[15]  Wang Yi,et al.  UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[16]  Saurabh Mittal,et al.  Netcentric System of Systems Engineering with DEVS Unified Process , 2013 .

[17]  Mara Nikolaidou,et al.  Model-based system engineering using SysML: Deriving executable simulation models with QVT , 2014, 2014 IEEE International Systems Conference Proceedings.

[18]  Lisane B. de Brisolara,et al.  Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[19]  Kazuo Yanoo,et al.  Evaluation of IT systems considering characteristics as system of systems , 2011, 2011 6th International Conference on System of Systems Engineering.

[20]  Iulian Ober,et al.  Validating timed UML models by simulation and verification , 2006, International Journal on Software Tools for Technology Transfer.

[21]  Gérard Morel,et al.  Combining SysML and formal methods for safety requirements verification , 2010 .

[22]  Jianwen Xiang,et al.  Applying a model-based approach to IT systems development using SysML extension , 2011, MODELS'11.

[23]  Oliver Rose,et al.  First steps towards a general SysML model for discrete processes in production systems , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[24]  Christiaan J. J. Paredis,et al.  A formal framework for capturing knowledge to transform structural models into analysis models , 2011, J. Simulation.

[25]  Manas Bajaj,et al.  SLIM: collaborative model-based systems engineering workspace for next-generation complex systems , 2011, 2011 Aerospace Conference.

[26]  Wladimir Schamai Modelica Modeling Language (ModelicaML) : A UML Profile for Modelica , 2009 .