Abstract
Model-Based Systems Engineering (MBSE) provides workflows, methods, techniques and tools for optimal simulation-based design and realization of complex Software-Intensive, Cyber-Physical Systems. One of the key benefits of this approach is that the behavior of the realized system can be reasoned about and predicted in-silico, before any prototype has been developed. Design models are increasingly used after the system has been realized as well. For example, a (design) digital twin can be used for runtime monitoring to detect and diagnose discrepancies between the simulated and realized system. Inconsistencies may arise, however, because models were used at design time that are not valid within the operating context of the realized system. It is often left to the domain expert to ensure that the models used are valid with respect to their realized counterpart. Due to system complexity and automated Design-Space Exploration (DSE), it is increasingly difficult for a human to reason about model validity. We propose validity frames as an explicit model of the contexts in which a model is a valid representation of a system to rule out invalid designs at design time. We explain the essential and conceptual, yet practical, structure of validity frames and a process for building them using an electrical resistor in the optimal design of a high-pass filter as a running example. We indicate how validity frames can be used in a DSE process, as well as for runtime monitoring.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389–408 (2013)
Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 135–175. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75632-5_5
Benveniste, A., et al.: Contracts for system design. Found. Trends® Electron. Des. Autom. 12(2–3), 124–400 (2018)
Breunese, A., Broenink, J.F., Top, J., Akkermans, J.: Libraries of reusable models: theory and application. Simulation 71(1), 7–22 (1998)
Canedo, A., Richter, J.H.: Architectural design space exploration of cyber-physical systems using the functional modeling compiler. Procedia CIRP 21, 46–51 (2014)
Challenger, M., Vanherpen, K., Denil, J., Vangheluwe, H.: FTG+PM: describing engineering processes in multi-paradigm modelling. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 259–271. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43946-0_9
Daum, T., Sargent, R.G.: Experimental frames in a modern modeling and simulation system. IIE Trans. 33(3), 181–192 (2001)
Denil, J., Klikovits, S., Mosterman, P.J., Vallecillo, A., Vangheluwe, H.: The experiment model and validity frame in M&S. In: Proceedings of the Symposium on Theory of Modeling & Simulation, pp. 1–12 (2017)
Ewald, R., Uhrmacher, A.M.: SESSL: a domain-specific language for simulation experiments. ACM Trans. Model. Comput. Simul. (TOMACS) 24(2), 1–25 (2014)
Foures, D., Albert, V., Nketsa, A.: Formal compatibility of experimental frame concept and finite and deterministic DEVS model. In: International Conference on Modeling Optimization SIMulation (MOSIM 2012), pages-10, p. 94 (2012)
Foures, D., Albert, V., Nketsa, A.: Simulation validation using the compatibility between simulation model and experimental frame (2013)
Hu, J., Rozenblit, J.W.: Towards automatic generation of experimental frames in simulation-based system design. In: AI and Simulation Conference, pp. 1–6 (1988)
Ivie, P., Thain, D.: Reproducibility in scientific computing. ACM Comput. Surv. (CSUR) 51(3), 1–36 (2018)
Klikovits, S., Denil, J., Muzy, A., Salay, R.: Modeling frames. In: CEUR Workshop Proceedings, pp. 315–320 (2017)
Madni, A.M., Madni, C.C., Lucero, S.D.: Leveraging digital twin technology in model-based systems engineering. Systems 7(1), 7 (2019)
Meyers, B., Denil, J., Vanherpen, K., Vangheluwe, H.: Enabling design-space exploration for domain-specific modelling. In: Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, p. 5. Society for Computer Simulation International (2018)
Ramos, A.L., Ferreira, J.V., Barceló, J.: Model-based systems engineering: an emerging approach for modern systems. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 42(1), 101–111 (2011)
Rozenblit, J.W.: Exp’a software tool for experimental frame specification in discrete event modelling and simulation. In: Proceedings of the Summer Computer Simulation Conference, pp. 967–971 (1984)
Rozenblit, J.W.: Experimental frame specification methodology for hierarchical simulation modeling. Int. J. Gen. Syst. 19(3), 317–336 (1991)
dos Santos, C.A.R., Saleh, A.H., Schrijvers, T., Nicolai, M.: CONDEnSe: contract based design synthesis. In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 250–260. IEEE (2019)
Schmidt, A., Durak, U., Pawletta, T.: Model-based testing methodology using system entity structures for MATLAB/Simulink models. Simulation 92(8), 729–746 (2016)
Traoré, M.K., Muzy, A.: Capturing the dual relationship between simulation models and their context. Simul. Model. Pract. Theor. 14(2), 126–142 (2006)
Van Acker, B., De Meulenaere, P., Denil, J., Durodie, Y., Van Bellinghen, A., Vanstechelman, K.: Valid (re-)use of models-of-the-physics in cyber-physical systems using validity frames. In: 2019 Spring Simulation Conference (SpringSim), pp. 1–12, April 2019. https://doi.org/10.23919/SpringSim.2019.8732858
Van Acker, B., Denil, J., De Meulenaere, P., Aelvoet, B., Mahieu, D., Van Den Oudenhoven, J.: Generation of test strategies for model-based functional safety testing using an artifact-centric approach. In: Proceedings of MODELS 2018 Workshops co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Copenhagen, Denmark, October, 14, 2018/Hebig, Regina [edit.], pp. 563–569 (2018)
Vangheluwe, H.: Multi-formalism modelling and simulation. D.Sc. dissertation, Faculty of Science, Ghent University (2000)
Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. Chapter in Handbook of Software Engineering (2017)
Zeigler, B.P., Kim, T.G., Praehofer, H.: Theory of Modeling and Simulation. Academic Press, Cambridge (2000)
Zeigler, B.P.: Multifaceted Modelling and Discrete Event Simulation. Academic Press, London (1984)
Acknowledgments
This work was partially funded by Flanders Make vzw, the strategic research centre for the Flemish manufacturing industry and by the University of Antwerp’s Industrial Research Fund Strategic Basic Research (IOF-SBO).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Van Mierlo, S., Oakes, B.J., Van Acker, B., Eslampanah, R., Denil, J., Vangheluwe, H. (2020). Exploring Validity Frames in Practice. In: Babur, Ö., Denil, J., Vogel-Heuser, B. (eds) Systems Modelling and Management. ICSMM 2020. Communications in Computer and Information Science, vol 1262. Springer, Cham. https://doi.org/10.1007/978-3-030-58167-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-58167-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58166-4
Online ISBN: 978-3-030-58167-1
eBook Packages: Computer ScienceComputer Science (R0)