Modern systems are exposing an ever increasing degree of complexity also due to the heterogeneity of the involved components. Distributed simulation is widely recognized as an effective tool to carry out verification and validation activities for heterogeneous and complex systems. Unfortunately, the use of distributed simulation frameworks and related implementation technologies require a proper modeling and simulation know-how, as well as a significant effort and software development skills. As a result, distributed simulation is not typically addressed by systems engineers who do not have the required expertise or background. The MONADS model-driven method has been introduced to overcome such limitations and provide systems engineers with the ability to properly carry out simulation-based verification and validation activities. The method specifically addresses the HLA (High Level Architecture) distributed simulation framework and introduces an automated approach to generate a significant portion of the HLA code from system models specified in SysML, the standard modeling language in the systems engineering field. The automatically obtained code is then to be finalized by a manual programming activity. This paper contributes to make easier and further reduce the effort of such a manual activity by integrating the reactive features of the RxHLA framework into the MONADS method. This integration enables the use of streams to effectively manage HLA-based asynchronous interactions. The paper describes the technical details of the various strategies that can be used to integrate RxHLA into the MONADS method, thus providing a significant degree of flexibility to MONADS users.

Enabling Reactive Streams in HLA-based Simulations through a Model-Driven Solution

Falcone A.;Garro A.;
2019

Abstract

Modern systems are exposing an ever increasing degree of complexity also due to the heterogeneity of the involved components. Distributed simulation is widely recognized as an effective tool to carry out verification and validation activities for heterogeneous and complex systems. Unfortunately, the use of distributed simulation frameworks and related implementation technologies require a proper modeling and simulation know-how, as well as a significant effort and software development skills. As a result, distributed simulation is not typically addressed by systems engineers who do not have the required expertise or background. The MONADS model-driven method has been introduced to overcome such limitations and provide systems engineers with the ability to properly carry out simulation-based verification and validation activities. The method specifically addresses the HLA (High Level Architecture) distributed simulation framework and introduces an automated approach to generate a significant portion of the HLA code from system models specified in SysML, the standard modeling language in the systems engineering field. The automatically obtained code is then to be finalized by a manual programming activity. This paper contributes to make easier and further reduce the effort of such a manual activity by integrating the reactive features of the RxHLA framework into the MONADS method. This integration enables the use of streams to effectively manage HLA-based asynchronous interactions. The paper describes the technical details of the various strategies that can be used to integrate RxHLA into the MONADS method, thus providing a significant degree of flexibility to MONADS users.
978-1-7281-2923-5
Distributed Simulation; High Level Architecture (HLA); Model-Driven Systems Engineering; Reactive Programming
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.11770/303454
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact