Reference modelling in support of M&S—foundations and applications

Whether by design or by practice, systems engineering (SE) processes are used more and more often in Modeling and Simulation (M&S). While the two disciplines are very close, there are some differences that must be taken into account in order to successfully reuse practices from one community to another. In this paper, we introduce the M&S System Development Framework (MS-SDF) that unifies SE and M&S processes. The MS-SDF comprises the SE processes of requirements capture, conceptual modelling, and verification and validation (V&V), and extends them to M&S. We use model theory as a deductive apparatus in order to develop the MS-SDF. We discuss the benefits of the MS-SDF especially in the selection between federation development and multi-model approaches and the design of composable models and simulations. Lastly, a real life application example of the framework is provided.

[1]  Gilles Dowek Proofs and Algorithms - An Introduction to Logic and Computability , 2011, Undergraduate Topics in Computer Science.

[2]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[3]  Dennis M. Buede,et al.  The Engineering Design of Systems: Models and Methods , 1999 .

[4]  Paul A. Fishwick,et al.  Handbook of Dynamic System Modeling , 2007 .

[5]  Andreas Tolk S-SIW-008-1-How is M & S Interoperability different from other Interoperability Domains ? , 2011 .

[6]  Stewart Robinson,et al.  Conceptual modelling for simulation Part I: definition and requirements , 2008, J. Oper. Res. Soc..

[7]  Marko A. Hofmann,et al.  Epistemic and normative aspects of ontologies in modelling and simulation , 2011, J. Simulation.

[8]  Alvin S. Lim,et al.  Requirements and design principles for multisimulation with multiresolution, multistage multimodels , 2007, 2007 Winter Simulation Conference.

[9]  J. C. Cain,et al.  Summary and future work , 1973 .

[10]  William A. Weiss,et al.  Fundamentals of Model Theory , 1997 .

[11]  Etiënne A. J. A. Rouwette,et al.  Group Model Building , 2020, System Dynamics.

[12]  Dennis M. Buede,et al.  The Engineering Design of Systems , 2009 .

[13]  Gabriel A. Wainer,et al.  Implementing Finite State Machines Using the CD + + toolkit , 2003 .

[14]  M. Bunge Treatise on basic philosophy , 1974 .

[15]  Lawrence D. Pohlmann,et al.  The Engineering Design of Systems – Models and Methods , 2000 .

[16]  Andreas Tolk,et al.  Knowledge representation and the dimensions of a multi-model relationship , 2008, 2008 Winter Simulation Conference.

[17]  Andreas Tolk,et al.  How is M&S Interoperability different from other Interoperability AUTHORS , 2012 .

[18]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[19]  Etiënne A. J. A. Rouwette,et al.  Group Model Building , 2009, Encyclopedia of Complexity and Systems Science.

[20]  M. Bunge Method, Model, And Matter , 1972 .