Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Notes
A comprehensive exploration of the term ‘system’ is outside of the scope of this paper. Informally and generally speaking, a system is a collection of elements (related to one another) exhibiting a collective behaviour. Informally and specifically speaking, a system in systems engineering is a man-made solution to a well-defined problem. There are many other working definitions but until we formally define terms, we choose not to abide by one and consider that informal definitions are equivalent.
The term reference model, as introduced in this paper, is addressing a collection of all relevant real-world referents and the perceptions thereof in form of a collection of statements using mathematical logic. This approach of capturing real-world referents has been adapted from semiotics and has been applied to address M&S challenges by Turnitsa and Tolk (2008) and generalized by Hofmann et al (2011). It should not be confused with the reference model used in systems and software engineering that are abstract frameworks of common concepts.
References
Buede DM (2009). The Engineering Design of Systems: Models and Methods. Wiley Series in Systems Engineering and Management, 2nd edn, John Wiley and Sons: Hoboken, NJ.
Bunge M (1973). Method, Model and Matter. D. Reidel Publishing Company: Dordrecht, Holland.
Bunge M (1974). Treatise on Basic Philosophy Vol. 2. D. Reidel Publishing Company: Dordrecht, Holland.
Bunge M (1998). Philosophy of Science: From Problem to Theory. Transaction Publishers: New Brunswick, NJ.
Dowek G. (2011). Proofs and Algorithms: An Introduction to Logic and Computability. Springer: Palaiseau, France.
Fishwick PA (2007). Handbook of Dynamic System Modeling. CRC Computer & Information Science Series, Chapman & Hall: Boca Raton, FL.
Hofmann M, Palii J and Mihelcic G (2011). Epstemic and normative aspects of ontologies in modeling and simulation. Journal of Simulation 5 (3): 135–146.
Law A and Kelton WD (2000). Simulation Modeling and Analysis. 3rd edn, Industrial Engineering and Management Science Series; McGraw-Hill Science/Engineering/Math: New York, NY.
Robinson S (2008). Conceptual modelling for simulation part I: Definition and requirements. Journal of the Operational Research Society 59 (3): 278–290.
Tolk A, Diallo SY, Padilla JJ and Turnitsa CD (2011). How is M&S interoperability different from other interoperability domains? Proceedings of the Spring Simulation Interoperability Workshop, Boston, MA, April, 2011, pp 12–20.
Turnitsa CD and Tolk A (2008). Knowledge representation and the dimensions of multi-model relationship. Proceedings of the Winter Simulation Conference, Washington, DC, December, pp 1148–1156.
US Modeling and Simulation Coordination Office (MSCO) (2006). Verification, Validation, and Accreditation (VV&A) Recommended Practices Guide (RPG). US Modeling and Simulation Coordination Office (MSCO): Alexandria, VA, accessible via http://vva.msco.mil.
Vennix J (1996). Group Model Building. Wiley: New York, NY.
Weiss W and D'Mello C (1997). Fundamentals of Model Theory. University of Toronto: Toronto, Ontario.
Yilmaz L, Ören T, Lim A and Bowen S (2007). Requirements and design principles for multisimulation with multiresolution, multistage multimodels. Proceedings of the Winter Simulation Conference, Washington DC, December, 2007, pp 823–832.
Zeigler BP, Praehofer H and Kim TG (2000). Theory of Modeling and Simulation, 2nd edn, Academic Press: San Diego, CA.
Zheng T and Wainer GA (2003). Implementing finite state machines using the CD++ toolkit. Proceedings of the Summer Computer Simulation Conference, Montreal, QC, Canada; July.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tolk, A., Diallo, S., Padilla, J. et al. Reference modelling in support of M&S—foundations and applications. J Simulation 7, 69–82 (2013). https://doi.org/10.1057/jos.2013.3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1057/jos.2013.3