[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Simulating hybrid SysML models: a model transformation approach under the DEVS framework

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

As the complexity of the cyber-physical systems (CPSs) increase, system modeling and simulation tend to be performed on different platforms where collaborative modeling activities are performed on distributed clients, while the simulations of systems are carried out in specific simulation environments, such as high-performance computing (HPC). However, there is a great gap between system models usually designed in system modeling language (SysML) and simulation code, and the existing model transformation-based simulation methods and tools mainly focus on either discrete or continuous models, ignoring the fact that the simulation of hybrid models is quite important in designing complex systems. To this end, a model transformation approach is proposed to simulate hybrid SysML models under a discrete event system specification (DEVS) framework. In this approach, to depict hybrid models, simulation-related meta-models with discrete and continuous features are extracted from SysML views without additional extension. Following the meta object facility (MOF), DEVS meta-models are constructed based on the formal definition of DEVS models, including discrete, hybrid and coupled models. Moreover, a series of concrete mapping rules is defined to transform the discrete and continuous behaviors based on the existing state machine mechanism and constraints of SysML, separately. Such an approach may facilitate a SysML system engineer to use a DEVS-based simulator to validate system models without the necessity of understanding DEVS theory. Finally, the effectiveness of the proposed method is verified by a defense system case.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

Similar content being viewed by others

Data availability

The data that support the findings of this study are openly available at https://github.com/sx1616039/SysML2DEVS.

References

  1. Lee E A. Cyber physical systems: Design challenges[C]//2008 11th IEEE international symposium on object and component-oriented real-time distributed computing (ISORC). IEEE, 2008: 363–369.

  2. Abdmeziem MR, Tandjaoui D, Romdhani I (2016) Architecting the internet of things: state of the art[J]. Robots Sensor Clouds 97:55–75

    Article  Google Scholar 

  3. Salton G (1971) The SMART system[J]. Retriev Results Fut Plans 260:871

    Google Scholar 

  4. Byrne J, Svorobej S, Giannoutakis K M, et al (2017) A review of cloud computing simulation platforms and related environments[C]//International Conference on Cloud Computing and Services Science. SciTePress 2: 679–691.

  5. Mann C (2009) A Practical guide to SysML: the systems modeling language[J]. Kybernetes 38(1/2):989–994

    Article  Google Scholar 

  6. Wolny S, Mazak A, Carpella C et al (2019) Thirteen years of SysML: a systematic mapping study[J]. Softw Syst Model 4:87

    Google Scholar 

  7. Nigischer C, Bougain S, Riegler R et al (2021) Multidomain simulation utilizing SysML: state of the art and future perspectives[J]. Procedia CIRP 100(4):319–324

    Article  Google Scholar 

  8. Cawasji K A, Baras J S (2018) SysML Executable Model of an Energy-Efficient House and Trade-Off Analysis[C]//2018 IEEE International Systems Engineering Symposium (ISSE). IEEE

  9. Ruin T, Levrat E, Iung B (2012) Modeling framework based on SysML and AltaRica data flow languages for developing models to support complex maintenance program quantification[J]. Ifac Proc 45(31):169–174

    Article  Google Scholar 

  10. Nguyen N, Mhenni F, Choley J-Y (2020) A study on SysML and AltaRica models transformation. IEEE Int Syst Conf (SysCon) 2020:1–6. https://doi.org/10.1109/SysCon47679.2020.9275868

    Article  Google Scholar 

  11. Balestrini-Robinson S, Free Man DF, Browne DC (2015) An object-oriented and executable SysML framework for rapid model development[J]. Procedia Computer Sci 44:423–432

    Article  Google Scholar 

  12. Nikolaidou M, Kapos G D, Dalakas V, et al (2012) Basic guidelines for simulating SysML models: An experience report[C]//International Conference on System of Systems Engineering. IEEE, 2012.

  13. Eclipse Foundation. Acceleo – generate anything from any EMF model. www.eclipse.org/acceleo. Consulted on the 3 rd of December.

  14. Fu C, Liu J, Yu HY et al (2020) A Visual transformation method of SysML model to Modelica model[J]. J Phys: Conf Ser 1684(1):12058

    Google Scholar 

  15. Gauthier JM, Bouquet F, Hammad A et al (2015) A SysML formal framework to combine discrete and continuous simulation for testing[J]. Springer International Publishing

    Book  Google Scholar 

  16. Kapos GD, Dalakas V, Nikolaidou M et al (2014) An integrated framework for automated simulation of SysML models using DEVS[J]. Simulation 90(6):717–744

    Article  Google Scholar 

  17. Kapos G D, Dalakas V, Nikolaidou M, et al (2014) From SysML models to DEVS executable code: The role of DEVS-XML.

  18. Kapos G D, Dalakas V, Tsadimas A, et al (2014) Model-based system engineering using SysML: Deriving executable simulation models with QVT[C]//Systems Conference. IEEE

  19. Kapos GD, Tsadimas A, Anagnostopoulos D et al (2019) A Declarative approach for transforming SysML models to executable simulation models[J]. IEEE Trans Syst, Man, Cybern: Syst 5:99

    Google Scholar 

  20. González A, Luna C, Cuello R et al (2015) Toward an automatic model transformation mechanism from UML state machines to DEVS models[J]. CLEI Electron J 18:4

    Google Scholar 

  21. Uhrmacher AM (2001) Dynamic structures in modeling and simulation: a reflective approach. ACM Trans Model Comput Simul 11(2):206–232

    Article  MathSciNet  MATH  Google Scholar 

  22. Zeigler BP (2019) Theory of modeling and simulation basic formalisms: coupled multi-component systems[J]. Academic Press, Boston

    Google Scholar 

  23. OMG. MOF Query/View/Transformation. Version 1.3. June 2016. https://www.omg.org/spec/QVT/About-QVT/. Consulted on the 26th of November 2020.

  24. Jouault F, Allilaire F, Bezivin J et al (2008) ATL: a model transformation tool[J]. Sci Comput Program 72(1–2):31–39

    Article  MathSciNet  MATH  Google Scholar 

  25. Rui P, Barros J P, Gomes L (2014) From SysML State Machines to Petri Nets Using ATL Transformations[C]//Doctoral Conference on Computing, Electrical and Industrial Systems. Springer Berlin Heidelberg, Cham

  26. Johnson T, Kerzhner A, Paredis C et al (2012) Integrating models and simulations of continuous dynamics Into SysML[J]. J Comput Inf Sci Eng 38(1):122–129

    Google Scholar 

Download references

Acknowledgements

This work was supported by the 14th Five-Year Planning Equipment Pre-Research Program under Grant Nos. XXXX2020605C003.

Author information

Authors and Affiliations

  1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, 210016, China

    Wu Xinquan, Yan Xuefeng, Li Xingchan & Wang Yongzhen

  2. Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, 210093, China

    Yan Xuefeng

Authors
  1. Wu Xinquan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yan Xuefeng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Li Xingchan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wang Yongzhen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yan Xuefeng.

Ethics declarations

Conflict of interest

No potential conflict of interest was reported by the author(s).

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xinquan, W., Xuefeng, Y., Xingchan, L. et al. Simulating hybrid SysML models: a model transformation approach under the DEVS framework. J Supercomput 79, 2010–2030 (2023). https://doi.org/10.1007/s11227-022-04654-6

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-022-04654-6

Keywords

Search

Navigation