Skip to main content
Top

2018 | OriginalPaper | Chapter

Model-Based Systems Engineering for Systems Simulation

Authors : Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel

Published in: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Model-Based Systems Engineering and early simulation based Validation & Verification are now key enablers for managing the complexity in the development of modern complex systems like Cyber-Physical Systems. Models provide a formal account of system requirements and design decisions. Model simulation enables both design exploration and design versus requirements correctness assessment. Model simulation activities rely on Simulation Systems (i.e. systems that execute the model simulation). System execution environment models play a key role during these activities. Appropriate models must be developed for each kind of analysis conducted during Validation & Verification. More and more often, complex Systems Engineering is conducted in Extended Enterprises and the simulation activities are performed using partial models that must be completed with mock-up models for missing parts of the system. The development of Simulation Systems is thus costly and error prone and would benefit from the same Systems Engineering principles that are applied to the product. We propose a methodology for a seamless integration of the Simulation Systems development in the Products Systems Engineering. This method imports the available elements from the models of the system and its environment, from the Systems Engineering for Product space to a dedicated Systems Engineering for Simulation space. The required mock-up models are then defined in the Systems Engineering for Simulation space. As a result, we target a better management and reuse of the various environment and mock-up models in the various simulation activities during the development of the same product. This proposal is independent both of the actual methods and tools used to model the system and of the simulation environment.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
2.
go back to reference Sirin, G., Paredis, C., Yannou, B., Coatanéa, E., Landel, E.: A model identity card to support simulation model development process in a collaborative multidisciplinary design environment. IEEE Syst. J. 9(4), 1–12 (2015)CrossRef Sirin, G., Paredis, C., Yannou, B., Coatanéa, E., Landel, E.: A model identity card to support simulation model development process in a collaborative multidisciplinary design environment. IEEE Syst. J. 9(4), 1–12 (2015)CrossRef
3.
go back to reference Capasso, C., Hammadi, M., Patalano, S., Renaud, R., Veneri, O.: A multi-domain modelling and verification procedure within MBSE approach to design propulsion systems for road electric vehicles. In: Mechanics & Industry, vol. 18, p. 107. AFM, EDP Sciences 2016, January 2017. www.mechanics-industry.org Capasso, C., Hammadi, M., Patalano, S., Renaud, R., Veneri, O.: A multi-domain modelling and verification procedure within MBSE approach to design propulsion systems for road electric vehicles. In: Mechanics & Industry, vol. 18, p. 107. AFM, EDP Sciences 2016, January 2017. www.​mechanics-industry.​org
4.
go back to reference Fiorese, S.: Découvrir et comprendre l’Ingénierie Système. AFIS - Cepaduès, March 2012 Fiorese, S.: Découvrir et comprendre l’Ingénierie Système. AFIS - Cepaduès, March 2012
6.
go back to reference Topper, J.S., Horner, N.C.: Model-based systems engineering in support of complex systems development. Johns Hopkins APL Tech. Digest 32(1), 419–432 (2013) Topper, J.S., Horner, N.C.: Model-based systems engineering in support of complex systems development. Johns Hopkins APL Tech. Digest 32(1), 419–432 (2013)
8.
go back to reference Graignic, P., Vosgien, T., Jankovic, M., Tuloup, V., Berquet, J., Troussier, N.: Complex system simulation: proposition of a MBSE framework for design-analysis integration. Procedia Comput. Sci. 16, 59–68 (2013) Graignic, P., Vosgien, T., Jankovic, M., Tuloup, V., Berquet, J., Troussier, N.: Complex system simulation: proposition of a MBSE framework for design-analysis integration. Procedia Comput. Sci. 16, 59–68 (2013)
10.
go back to reference Retho, F., Smaoui, H., Vannier, J.-C., Dessante, P.: Model of intention: a concept to support models building in a complex system design project. In: ERTS, pp. 115–126 (2014) Retho, F., Smaoui, H., Vannier, J.-C., Dessante, P.: Model of intention: a concept to support models building in a complex system design project. In: ERTS, pp. 115–126 (2014)
11.
go back to reference Retho, F., Smaoui, H., Vannier, J.-C., Dessante, P.: A model-based method to support complex system design via systems interactions analysis. In: Proceedings of the Posters Workshop at CSD&M (2013) Retho, F., Smaoui, H., Vannier, J.-C., Dessante, P.: A model-based method to support complex system design via systems interactions analysis. In: Proceedings of the Posters Workshop at CSD&M (2013)
14.
go back to reference Galtier, V., Vialle, S., Dad, C., Tavella, J.-P., Lam-Yee-Mui, J.-P., Plessis, G.: FMI-based distributed multi-simulation with DACCOSIM. In: Proceedings of the Symposium on Theory of Modeling and Simulation: DEVS Integrative Symposium, ser. DEVS 2015, San Diego, CA, USA: Society for Computer Simulation International 2015, pp. 39–46 (2015). http://dl.acm.org/citation.cfm?id=2872965.2872971 Galtier, V., Vialle, S., Dad, C., Tavella, J.-P., Lam-Yee-Mui, J.-P., Plessis, G.: FMI-based distributed multi-simulation with DACCOSIM. In: Proceedings of the Symposium on Theory of Modeling and Simulation: DEVS Integrative Symposium, ser. DEVS 2015, San Diego, CA, USA: Society for Computer Simulation International 2015, pp. 39–46 (2015). http://​dl.​acm.​org/​citation.​cfm?​id=​2872965.​2872971
15.
go back to reference Neema, H., et al.: Model-based integration platform for FMI co-simulation and heterogeneous simulations of cyber-physical systems. In: Proceedings of the 10th International Modelica Conference, 10–12 March 2014, Lund, Sweden, vol. 96. Linköping University Electronic Press; Linköpings universitet, pp. 235–245 (2014) Neema, H., et al.: Model-based integration platform for FMI co-simulation and heterogeneous simulations of cyber-physical systems. In: Proceedings of the 10th International Modelica Conference, 10–12 March 2014, Lund, Sweden, vol. 96. Linköping University Electronic Press; Linköpings universitet, pp. 235–245 (2014)
16.
go back to reference Dahmann, J.S., Fujimoto, R.M., Weatherly, R.M.: The department of defense high level architecture. In: Winter Simulation Conference (1997) Dahmann, J.S., Fujimoto, R.M., Weatherly, R.M.: The department of defense high level architecture. In: Winter Simulation Conference (1997)
17.
go back to reference Dahmann, J.S., Fujimoto, R.M., Weatherly, R.M.: The DoDHigh Level Architecture: an update. In: Winter Simulation Conference (1998) Dahmann, J.S., Fujimoto, R.M., Weatherly, R.M.: The DoDHigh Level Architecture: an update. In: Winter Simulation Conference (1998)
20.
go back to reference Bossa, B., Boulbene, B., Dubé, S., Pantel, M.: Towards a co-simulation based model assessment process for system architecture. In: Proceedings of the 2nd Workshop on the Formal CoSimulation of Cyber Physical Systems, Satellite Event of the Software Engineering and Formal Methods Conference (2018) Bossa, B., Boulbene, B., Dubé, S., Pantel, M.: Towards a co-simulation based model assessment process for system architecture. In: Proceedings of the 2nd Workshop on the Formal CoSimulation of Cyber Physical Systems, Satellite Event of the Software Engineering and Formal Methods Conference (2018)
21.
go back to reference Voirin, J.-L.: Model-Based System and Architecture Engineering with the Arcadia Method. ISTE Press - Elsevier, London (2017) Voirin, J.-L.: Model-Based System and Architecture Engineering with the Arcadia Method. ISTE Press - Elsevier, London (2017)
Metadata
Title
Model-Based Systems Engineering for Systems Simulation
Authors
Renan Leroux
Marc Pantel
Ileana Ober
Jean-Michel Bruel
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-030-03424-5_29

Premium Partner