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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Leroux, R., Ober, I., Pantel, M., Bruel, J.-M.: Modeling co-simulation: a first experiment. In: Proceedings of MODELS-2017, Satellite Event: Workshops, September 2017. http://ceur-ws.org/Vol-2019/gemoc_3.pdf
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)
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
Fiorese, S.: Découvrir et comprendre l’Ingénierie Système. AFIS - Cepaduès, March 2012
BKCASE, SEBoK: guide to the engineering body of knowledge. http://sebokwiki.org/wiki/Guide_to_the_Systems_Engineering_Body_of_Knowledge_(SEBoK)
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)
Shephard, M.S., Beall, M.W., O’Bara, R.M., Webster, B.E.: Toward simulation-based design. Finite Elem. Anal. Des. 40(12), 1575–1598 (2004). https://doi.org/10.1016/j.finel.2003.11.004
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)
INCOSE, Systems Engineering Handbook, A Guide for System Life Cycle Processes and Activities, 4th edn. Wiley, New York (2015). https://sepnobrasil.yolasite.com/resources/INCOSESystemsEngineeringHandbook4e2015.pdf
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.: A model-based method to support complex system design via systems interactions analysis. In: Proceedings of the Posters Workshop at CSD&M (2013)
Sirin, G., Retho, F., Yannou, B., Callot, M., Dessante, P., Landel, E.: Multidisciplinary simulation model development: early inconsistency detection during the design stage. In: Advances in Engineering Software (2017). https://hal.archives-ouvertes.fr/hal-01673538
FMI: Functional Mockup Interface. http://fmi-standard.org/
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
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)
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 DoDHigh Level Architecture: an update. In: Winter Simulation Conference (1998)
DACCOSIM: Distributed architecture for controlled co-simulation. https://sourcesup.renater.fr/daccosim/index.html
The Modelica Association: Modelica. https://www.modelica.org/
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)
Voirin, J.-L.: Model-Based System and Architecture Engineering with the Arcadia Method. ISTE Press - Elsevier, London (2017)
CESAM-Community, CESAM: Cesames systems architecting method, January 2017. http://cesam.community/wp-content/uploads/2017/09/CESAM-guide_-_V12092017.pdf
Acknowledgements
The authors would like to thank the MOISE project members for their contributions as well as the IRT-SE and the French Commissariat Général à l’Investissements and the Agence Nationale de la Recherche for their financial support in the frame of the Programme d’Investissement d’Avenir.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Leroux, R., Pantel, M., Ober, I., Bruel, JM. (2018). Model-Based Systems Engineering for Systems Simulation. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. Lecture Notes in Computer Science(), vol 11246. Springer, Cham. https://doi.org/10.1007/978-3-030-03424-5_29
Download citation
DOI: https://doi.org/10.1007/978-3-030-03424-5_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03423-8
Online ISBN: 978-3-030-03424-5
eBook Packages: Computer ScienceComputer Science (R0)