[email protected]

Models@run.time

Author: Nelly Bencomo

Publisher: Springer

Published: 2014-07-18

Total Pages: 319

ISBN-13: 9783319089140

DOWNLOAD EBOOK

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on [email protected] held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.


Body of Knowledge for Modeling and Simulation

Body of Knowledge for Modeling and Simulation

Author: Tuncer Ören

Publisher: Springer Nature

Published: 2023-01-27

Total Pages: 549

ISBN-13: 3031110854

DOWNLOAD EBOOK

Commissioned by the Society for Modeling and Simulation International (SCS), this needed, useful new ‘Body of Knowledge’ (BoK) collects and organizes the common understanding of a wide collection of professionals and professional associations. Modeling and simulation (M&S) is a ubiquitous discipline that lays the computational foundation for real and virtual experimentation, clearly stating boundaries—and interactions—of systems, data, and representations. The field is well known, too, for its training support via simulations and simulators. Indeed, with computers increasingly influencing the activities of today’s world, M&S is the third pillar of scientific understanding, taking its place along with theory building and empirical observation. This valuable new handbook provides intellectual support for all disciplines in analysis, design and optimization. It contributes increasingly to the growing number of computational disciplines, addressing the broad variety of contributing as well as supported disciplines and application domains. Further, each of its sections provide numerous references for further information. Highly comprehensive, the BoK represents many viewpoints and facets, captured under such topics as: Mathematical and Systems Theory Foundations Simulation Formalisms and Paradigms Synergies with Systems Engineering and Artificial Intelligence Multidisciplinary Challenges Ethics and Philosophy Historical Perspectives Examining theoretical as well as practical challenges, this unique volume addresses the many facets of M&S for scholars, students, and practitioners. As such, it affords readers from all science, engineering, and arts disciplines a comprehensive and concise representation of concepts, terms, and activities needed to explain the M&S discipline. Tuncer Ören is Professor Emeritus at the University of Ottawa. Bernard Zeigler is Professor Emeritus at the University of Arizona. Andreas Tolk is Chief Scientist at The MITRE Corporation. All three editors are long-time members and Fellows of the Society for Modeling and Simulation International. Under the leadership of three SCS Fellows, Dr. Ören, University of Ottawa, Dr. Zeigler, The University of Arizona, and Dr. Tolk, The MITRE Corporation, more than 50 international scholars from 15 countries provided insights and experience to compile this initial M&S Body of Knowledge.


System Design, Modeling, and Simulation

System Design, Modeling, and Simulation

Author: Claudius Ptolemaeus

Publisher: Lee & Seshia

Published: 2013-09-27

Total Pages: 687

ISBN-13: 1304421066

DOWNLOAD EBOOK

This book is a definitive introduction to models of computation for the design of complex, heterogeneous systems. It has a particular focus on cyber-physical systems, which integrate computing, networking, and physical dynamics. The book captures more than twenty years of experience in the Ptolemy Project at UC Berkeley, which pioneered many design, modeling, and simulation techniques that are now in widespread use. All of the methods covered in the book are realized in the open source Ptolemy II modeling framework and are available for experimentation through links provided in the book. The book is suitable for engineers, scientists, researchers, and managers who wish to understand the rich possibilities offered by modern modeling techniques. The goal of the book is to equip the reader with a breadth of experience that will help in understanding the role that such techniques can play in design.


MDA Explained

MDA Explained

Author: Anneke G. Kleppe

Publisher: Addison-Wesley Professional

Published: 2003

Total Pages: 194

ISBN-13: 9780321194428

DOWNLOAD EBOOK

"Highlights of this book include: the MDA framework, including the Platform Independent Model (PIM) and Platform Special Model (PSM); OMG standards and the use of UML; MDA and Agile, Extreme Programming, and Rational Unified Process (RUP) development; how to apply MDA, including PIM-to-PSM and PSM-to-code transformations for Relational, Enterprise JavaBean (EJB), and Web models; transformations, including controlling and tuning, traceability, incremental consistency, and their implications; metamodeling; and relationships between different standards, including Meta Object Facility (MOF), UML, and Object Constraint Language (OCL)."--Jacket.


Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

Author: Betty H. C. Cheng

Publisher: Springer Science & Business Media

Published: 2009-06-19

Total Pages: 271

ISBN-13: 3642021603

DOWNLOAD EBOOK

The carefully reviewed papers in this state-of-the-art survey describe a wide range of approaches coming from different strands of software engineering, and look forward to future challenges facing this ever-resurgent and exacting field of research.


Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems

Author: Andy Schürr

Publisher: Springer

Published: 2009-09-30

Total Pages: 775

ISBN-13: 3642044255

DOWNLOAD EBOOK

The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat,in littleoveradecade, theirinitiativewouldblossomintotoday’shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld, attracting much young talent and leading to the gradualemergence of its correspondingscienti?c and engineering foundations. The proceedings from the MODELS conferences are one of the primary references for anyone interested in a more substantive study of the domain. The 12th conference took place in Denver in the USA, October 4–9, 2009 along with numerous satellite workshops and tutorials, as well as several other related scienti?c gatherings. The conference was exceptionally fortunate to have three eminent, invited keynote speakers from industry: Stephen Mellor, Larry Constantine, and Grady Booch.


Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems

Author: Lin Zhang

Publisher: Springer

Published: 2016-09-22

Total Pages: 739

ISBN-13: 9811026637

DOWNLOAD EBOOK

This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this first volume of the set are organized in topical sections on modeling and simulation theory and methodology; model engineering for system of systems; high performance computing and simulation; modeling and simulation for smart city.


Connected Vehicle Systems

Connected Vehicle Systems

Author: Yunpeng Wang

Publisher: CRC Press

Published: 2017-08-07

Total Pages: 298

ISBN-13: 1351869515

DOWNLOAD EBOOK

Connected vehicles and intelligent vehicles have been identified as key technologies for increasing road safety and transport efficiency. This book presents and discusss the recent advances in theory and practice in connected vehicle systems. It covers emerging research that aims at dealing with the challenges in designing the essential functional components of connected vehicles. Major topics include intra- and inter-vehicle communications, mobility model of fleet and ramp merging, trace and position data analysis, security and privacy.