Limit search to available items
Book Cover
E-book

Title Collaborative design for embedded systems : co-modelling and co-simulation / John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors
Published Berlin : Springer, 2014

Copies

Description 1 online resource (xxi, 385 pages) : illustrations (some color)
Contents Part I. Co-modelling and Co-simulation: the Technical Basis -- Collaborative Development of Embedded Systems -- Co-modelling and Co-simulation in Embedded Systems Design -- Continuous-Time Modelling in 20-sim -- Discrete-Event Modelling in VDM -- Support for Co-modelling and Co-simulation: the Crescendo Tool -- Co-model Structuring and Design Patterns -- Part II. Methods and Applications: the Pragmatics of Co-modelling and Co-simulation -- Case Studies in Co-modelling and Co-simulation -- Methods for Creating Co-models of Embedded Systems -- Co-modelling of Faults and Fault Tolerance Mechanisms -- Design Space Exploration for Embedded Systems using Co-simulation -- Industrial Application of Co-modelling and Co-simulation Technology -- Part III. Advanced Topics -- Deploying Co-modelling in Commercial Practice -- Semantics of Co-simulation -- From Embedded to Cyber-Physical Systems: Challenges and Future Directions -- Appendix A 20-sim Summary -- Appendix B VDM-RT Language Summary -- Appendix C Design Patterns for Use in Co-modelling -- Appendix D Abstract Modelling of ChessWay Safety
Summary One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them
Bibliography Includes bibliographical references and index
Notes Online resource; title from PDF title page (SpringerLink, viewed May 1, 2014)
Subject Embedded computer systems -- Programming.
Embedded computer systems -- Design
COMPUTERS -- General.
Embedded computer systems -- Programming
Form Electronic book
Author Fitzgerald, John, 1965- editor.
Larsen, P. G. (Peter Gorm), 1964- editor.
Verhoef, M. (Marcel), editor.
ISBN 9783642541186
3642541186
3642541178
9783642541179