zeiglerBookReview.php

Guide to Modeling and Simulation of Systems of Systems (Simulation Foundations, Methods and Applications) 

By Bernard P. Zeigler  (Author) , Hessam S. Sarjoughian (Author) , Raphael Duboz (Contributor) , Jean-Christophe Soulie (Contributor), 393 pages

Publisher: Springer; 2012 edition (November 24, 2012)

 
The book describes the fundamentals of  the Discrete Event System Specification (DEVS)  and  System Entity Structure (SES) formalisms, the pillars of DEVS systems engineering.  This book is divided in three parts. The first part deals with basics of DEVS and SES formalisms that leads on to advanced concepts in the second part. The ideas presented in the first two parts of the book have been implemented in many real life projects successfully as described in the third part of the book. Various DEVS-based integrated development environments are showcased along with real world applications that they help engineer. The book is an important contribution to the model-based systems engineering paradigm and is appropriate for novices, practitioners and advanced students. The book guides them to various DEVS-based tools currently in practice.


The first chapter provides a remarkable review of DEVS legacy, state-of-the-art, and various books that have been published since 1976 in the System of Systems (SoS) modeling and simulation area, including the books by one of the authors and DEVS pioneer, Bernard
Zeigler. The list also includes the reviewer’s book on “Netcentric systems of systems engineering by DEVS Unified Process”. The chapter introduces the SoS concepts and the central theme of the book: ‘virtual build and test” cycle in SoS design. The second chapter provides an overview on integrated modeling and simulation environments, such as MS4 Me, CoSMoS, DEVS-Suite and Virtual Laboratory Environment (VLE), currently in use today by various practitioners from academia, industry and government.


Chapters 3-8 on SES and DEVS fundamentals present numerous examples on how system requirements proceed towards a system design. They highlight the expressive power of SES formalism and various methodologies to construct families of simulation models and prune to
generate executable simulations using the MS4 Me environment. The reader is encouraged to review the fundamentals of SES theory in Zeigler and Hammonds book on modeling simulation-based data engineering : to appreciate the automation achieved in MS4 Me environment. This concludes the first part of the book.


Second part on advanced concepts begins with Chapter 9 on DEVS Simulation Protocol that demonstrates the robust nature of natural language Finite Deterministic DEVS (FDDEVS) and SES as implemented in MS4 Me toolset. FDDEVS is used to develop an executable model of the
fundamental DEVS simulation protocol that separates model and the underlying simulator explaining the promise of DEVS-based interoperability in a simple way. Chapter 10 goes more in depth of the DEVS simulation protocol in a variable structure environment within the publish/subscribe architecture. After addressing the basics of structural modeling with SES and behavioral modeling with DEVS, the book kicks into data engineering with Chapter 11 that presents a distilled version of Zeigler and Hammonds book, cast in MS4 Me toolset. Chapter 12 wraps up the second part of the book with the design features of DEVS description languages. It describes the strengths and limitations of constrained languages such as FDDEVS that
is based on XML-based XFD-DEVS.



The foundational ideas on model-based systems engineering as implemented in MS4 Me are provided in sufficient detail in the first two parts of the book to be understood by novices and experts alike. The last part presents various applications that employ model-based engineering and kicks into high gear with the overall M&S-based design process for SoS engineering in Chapter 13. This chapter describes a Modeling Support Environment that provides flexibility to adapt workflows, tools and models to diverse stakeholders. It illustrates the use of DEVS and SES capabilities in a complex project. Chapter 14 addresses service-based software systems and how their simulation counterparts can be developed using the DEVS systems approach. An
emphasis is made on SOA-compliant DEVS models that can communicate with Service-oriented systems. Chapter 15 discusses the issue of hardware/software co-design and formulates it as a SoS engineering challenge for cloud-based systems. It aims to bring the virtual build and test process towards designing and analyzing cloud-based systems. It uses CoSMoS and DEVS-Suite modeling environments. Chapter 16 goes more in detail in CoSMoS architecture and suggests a complementary framework that can be effectively utilized for hardware software co-design and data engineering


Shifting from artificial systems, Chapter 17 provides a perspective on living systems as  SoSs, modeled using VLE by the French Research Institute in Agronomy (INRA). This contributed chapter illustrates how multiformalism SoS can work with MS4 Me toolset. The book would not
have concluded better without the last chapter that brings together the concepts of activity, information and energy with respect to the entire modeling paradigm as applicable to SoSs. It further elaborates on the quantization principle and the engineering of actual hardware components from DEVS model specifications. To the best of reviewer’s knowledge, this is the first exposition of linking time, energy, information and activity with the modeling discipline.

This book is an important addition to the DEVS library and is a great reference material to Zeigler’s classic text on the theory of modeling and simulation, a kind of handbook for its application to real problems. Besides it opens up whole new areas of DEVS and SES-based
research in modeling and simulation.