Challenges in SysML Model Simulation

Mara Nikolaidou; George-Dimitrios Kapos; Anargyros Tsadimas; Vassilis Dalakas; Dimosthenis Anagnostopoulos

Challenges in SysML Model Simulation

Mara Nikolaidou, George-Dimitrios Kapos, Anargyros Tsadimas, Vassilis Dalakas, Dimosthenis Anagnostopoulos

Abstract

Systems Modeling Language (SysML) is a standard proposed by the OMG for systems-of-systems (SoS) modeling and engineering. To this end, it provides the means to depict SoS components and their behavior in a hierarchical, multi-layer fashion, facilitating alternative engineering activities, such as system design. To explore the performance of SysML, simulation is one of the preferred methods. There are many efforts targeting simulation code generation from SysML models. Numerous simulation methodologies and tools are employed, while different SysML diagrams are utilized. 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.

Keywords

SysML; simulation; automated code generation; model transformation; model-based system engineering

Full Text:

PDF

References

OMG, Systems Modeling Language (SYSML) Specification, Version 1.3 (June 2012). URL http://www.omg.org/spec/SysML/1.3/PDF

INCOSE, Systems Engineering Handbook, version 3.2.2 Edition, International Council on Systems Engineering, San Diego, CA, USA, 2012.

Quadri, I.R., Sadovykh, A, Indrusiak, L.S, MADES: A Mixed SysML/MARTE methodology for real-time and embedded avionics systems, in: Proceedings of ERTS 2012 Conference in Toulouse, France, Feb. 2012.

S. Izukura, K. Yanoo, T. Osaki, H. Sakaki, D. Kimura, J. Xiang, Applying a model-based approach to IT systems development using SysML extension, in: Proceedings of MoDELS, Vol. 6981 of Lecture Notes in Computer Science, Springer, 2011, pp. 563–577. URL http://dx.doi.org/10.1007/978-3-642-24485-8

NoMagic, SysML Plugin for Magic Draw. URL http://www.nomagic.com/products/magicdraw-addons/ sysml-plugin.html

IBM, Rational Software Modeler. URL http://www.ibm.com/developerworks/rational

O. Batarseh, L. F. McGinnis, System modeling in SysML and system analysis in ARENA, in: Proceedings of the Winter Simulation Conference, WSC ’12, 2012, pp. 258:1–258:12.

OMG, SysML-Modelica Transformation (SyM) (Nov. 2012). URL http://www.omg.org/spec/SyM/1.0/PDF/

G.-D. Kapos, V. Dalakas, M. Nikolaidou, D. Anagnostopoulos, An integrated framework for automated simulation of SysML models using DEVS, Simulation 90 (6) (2014) 717–744.

Atlas Transformation Language. URL https://eclipse.org/atl/

OMG, MOF 2.0 Query/View/Transformation Language ver. 1.1, Jan. 2011. URL http://www.omg.org/spec/QVT/1.1

OMG, Model-Driven Architecture. URL http://www.omg.org/mda/

W. Schamai, P. Helle, P. Fritzson, C. J. J. Paredis, Virtual verification of system designs against system requirements, in: Proceedings of the 2010 international conference on Models in software engineering, MODELS’10, Springer-Verlag, Berlin, Heidelberg, 2011, pp. 75–89.

A Tsadimas, GD Kapos, V Dalakas, M Nikolaidou, D Anagnostopoulos, Simulating SysML models: Overview and challenges, in: Proceedings of IEEE 10th Conference on SoSE, San Antonio, Texas, May 2015.

J.-F. Petin, D. Evrot, G. Morel, P. Lamy, Combining SysML and formal methods for safety requirements verification, in: 22nd International Conference on Software & Systems Engineering and their Applications, Paris, France, 2010.

M. Bajaj, D. Zwemer, R. Peak, A. Phung, A. Scott, M. Wilson, Slim: collaborative model-based systems engineering workspace for next-generation complex systems, in: Proceedings of Aerospace Conference, 2011 IEEE, 2011, pp. 1–15.

Kerzhner, J. M. Jobe, C. J. J. Paredis, A formal framework for capturing knowledge to transform structural models into analysis models, Journal of Simulation 5 (3) (2011) 202–216.

L. McGinnis, V. Ustun, A simple example of SysML-driven simulation, in: Winter Simulation Conference (WSC), Proceedings of the 2009, IEEE, 2009, pp. 1703–1710.

O. Schonherr, O. Rose, First steps towards a general SysML model for discrete processes in production systems, in: Proceedings of the 2009 Winter Simulation Conference, Austin, TE, USA, 2009, pp. 1711–1718.

Chouali, A. Hammad, H. Mountassir, Assembling components using sysml with non-functional requirements, Electronic Notes in Theoretical Computer Science 295 (0) (2013) 31 – 47, Proceedings the 9th International Workshop FESCA.

A Tsadimas, GD Kapos, V Dalakas, M Nikolaidou, D Anagnostopoulos, Integrating Simulation Capabilities into SysML for Enterprise Information System Design, in: Proceedings of IEEE 9th Conference on SoSE, Adelaide, Australia, June 2014.

W. Schamai, Modelica Modeling Language (ModelicaML): A UML Profile for Modelica, Tech. rep. (2009).

S. Mittal and J. L. Risco Martín, Netcentric System of Systems Engineering with DEVS Unified Process, CRC Press, 2013.

OMG, UML profile for MARTE: Modeling and analysis of real-time embedded systems specification, version 1.0, Nov 2009.

H. Espinoza, D. Cancila, B. Selic, S. Gerard, Challenges in combining SysML and MARTE for model-based design of embedded systems, in: Proceedings of ECMDA-FA, Vol. 5562 of Lecture Notes in Computer Science, Springer, 2009, pp. 98–113.

Rota Sena Marques, M.; Siegert, E.; Brisolara, L., Integrating UML, MARTE and SysML to improve requirements specification and traceability in the embedded domain, in: Proceedings of Industrial Informatics (INDIN), 2014 12th IEEE International Conference on, pp.176,181, 27-30 July 2014.

Marcello Mura, Amrit Panda, Mauro Prevostini, Executable Models and Verification from MARTE and SysML: a Comparative Study of Code Generation Capabilities. MARTE Workshop (2008).

D. Kimura, T. Osaki, K. Yanoo, S. Izukura, H. Sakaki, A. Kobayashi, Evaluation of IT systems considering characteristics as system of systems, in: Proceedings of 6th International Conference on System of Systems Engineering (SoSE), 2011.

D. Knorreck, L. Apvrille, P. de Saqui-Sannes, TEPE: A sysml language for time-constrained property modeling and formal verification, SIGSOFT Softw. Eng. Notes 36 (2011) 1–8.

G. Behrmann, A. David, K. Larsen, J. Hakansson, P. Petterson, W. Yi, M. Hendriks, UPPAAL 4.0, in: Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on, 2006, pp. 125–126.

G. Pedroza, L. Apvrille, D. Knorreck, Avatar: A SysML environment for the formal verification of safety and security properties, in: Proceedings of NOTERE 2011, 11th Annual International Conference on, 2011, pp. 1–10.

Ober, S. Graf, I. Ober, Validating timed UML models by simulation and verification, International Journal on Software Tools for Technology Transfer 8 (2) (2006) 128–145.

L. F. McGinnis, E. Huang, K.S. Kwon, V. Ustun, “Ontologies and simulation: a practical approach”, Journal of Simulation, 08/2011; 5:190-201.

B. P. Zeigler, H. S. Sarjoughian, Introduction to DEVS Modeling and Simulation with JAVA (2003).

G.-D. Kapos, V. Dalakas, A. Tsadimas, M. Nikolaidou, D. Anagnostopoulos, Model-based system engineering using SysML: Deriving executable simulation models with QVT, in: in: Proceedings of Systems Conference (SysCon), 2014 8th Annual IEEE, IEEE, 2014, pp. 531–538.

Advances in Computer Science : an International Journal