This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulation model ontology supported with the latest advances in software architecture and design principles, methods, and tools for building and testing virtual Systems of Systems (SoS). The book examines a wide variety of SoS problems, ranging from cloud computing systems to biological systems in agricultural food crops. This enhanced and expanded second edition also features a new chapter on DEVS support for Markov modeling and simulation.
Topics and features: provides an extensive set of exercises throughout the text to reinforce the concepts and encourage use of the tools, supported by introduction and summary sections; discusses how the SoS concept and supporting virtual build and test environments can overcome the limitations of current approaches; offers a step-by-step introduction to the DEVS concepts and modeling environment features required to build sophisticated SoS models; describes the capabilities and use of the tools CoSMoS/DEVS-Suite, Virtual Laboratory Environment, and MS4 Me (TM); reviews a range of diverse applications, from the development of new satellite design and launch technologies, to surveillance and control in animal epidemiology; examines software/hardware co-design for SoS, and activity concepts that bridge information-level requirements and energy consumption in the implementation; demonstrates how the DEVS formalism supports Markov modeling within an advanced modeling and simulation environment (NEW).
This accessible and hands-on textbook/reference provides invaluable practical guidance for graduate students interested in simulation software development and cyber-systems engineering design, as well as for practitioners in these, and related areas.
Dr. Bernard P. Zeigler is Emeritus Professor of Electrical & Computer Engineering and Co-Director of the Arizona Center for Integrative Modeling and Simulation (ACIMS), at the University of Arizona, Tucson, USA. He is also Chief Scientist at RTSync, Rockville, MD, USA. Dr. Hessam S. Sarjoughian is Associate Professor of Computer Science and Co-Director of ACIMS at Arizona State University, Tempe, USA. The chapter Modeling and Simulation of Living Systems as Systems of Systems is contributed by Raphael Duboz and Jean-Christophe Soulie of CIRAD (the Centre for International Cooperation in Agricultural Research for Development), France.
Part I Modeling and Simulation of Systems of Systems DEVS Integrated Development Environments System Entity Structure Basics DEVS Natural Language Models and Elaborations Specialization and Pruning Aspects and Multi-Aspects Managing Inheritance in Pruning Automated and Rule-Based Pruning Part II DEVS Simulation Protocol Dynamic Structure: Agent Modeling and Publish/Subscribe Interest-Based Information Exchange: Mappings and Models Languages for Constructing DEVS Models Part III Flexible Modeling Support Environments Service-Based Software Systems Cloud System Simulation Modeling Model Development and Execution Process with Repositories, Validation and Verification Modeling and Simulation of Living Systems as Systems of Systems Activity-Based Implementations of Systems of SystemsDEVS Support for Markov Modeling and Simulation