Toward a unified foundation simulation-based acquisition

Simulation-Based Acquisition (SBA) has become an important framework for the development of engineering systems of high complexity. It offers a rapid prototyping capability for the design and/or evaluation of engineering systems, the components of which are by themselves complex systems that may be manufactured by different vendors. Using SBA, the designers of such Systems of Systems can verify that the interplay between the component systems functions correctly and reliably. The paper stipulates that SBA is enabled by the synergism of three technologies, namely Modeling & Simulation (M&S), Artificial Intelligence (AI), and Software Engineering (SE).

[1]  François E. Cellier.  Combined continuous/discrete system simulation by use of digital computers , 1979 .

[2]  R. Comerford,et al.  Sharing Virtual Worlds , 1997, IEEE spectrum.

[3]  Wolfgang Emmerich,et al.  Engineering Distributed Objects , 2000, Lecture Notes in Computer Science.

[4]  A. Wayne Wymore,et al.  Model-based systems engineering : an introduction to the mathematical theory of discrete systems and to the tricotyledon theory of system design , 1993 .

[5]  David J. Cloud,et al.  Applied modeling and simulation : an integrated approach to development and operation , 1998 .

[6]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[7]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[8]  Paul A. Fishwick,et al.  Simulation model design and execution - building digital worlds , 1995 .

[9]  Gregory R. Andrews,et al.  Concurrent programming - principles and practice , 1991 .

[10]  Sumit Ghosh,et al.  GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems , 2000, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[11]  Bernard P. Zeigler,et al.  Towards a formal theory of modelling and simulation : II , 1970 .

[12]  Monica S. Lam,et al.  Jade: a high-level, machine-independent language for parallel programming , 1993, Computer.

[13]  Hilding Elmqvist,et al.  DYMOLA - A Structured Model Language for Large Continuous Systems , 1978 .

[14]  S. K. Moore,et al.  The virtual surgeon [virtual reality trainer] , 2000 .

[15]  Bernard P. Zeigler,et al.  Theory of Quantized Systems: Devs Simulation of Perceiving Agents , 2000, Cybern. Syst..

[16]  Hilding Elmqvist,et al.  Object-oriented modeling of hybrid systems , 1993 .

[17]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[18]  Bernard P. Zeigler,et al.  DEVS and HLA: Complementary paradigms for modeling and simulation? , 2000 .

[19]  Dan Harkey,et al.  The Essential Distributed Objects Survival Guide , 1995 .

[20]  Bernard P. Zeigler,et al.  Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms , 1972, JACM.

[21]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .