Collaborative Design for Embedded Systems

Co-modelling and Co-simulation

  • John Fitzgerald
  • Peter Gorm Larsen
  • Marcel Verhoef

Table of contents

  1. Front Matter
    Pages i-xxi
  2. Co-modelling and Co-simulation: The Technical Basis

    1. Front Matter
      Pages 1-1
    2. Marcel Verhoef, Kenneth Pierce, Carl Gamble, Jan Broenink
      Pages 3-14
    3. John Fitzgerald, Kenneth Pierce
      Pages 15-25
    4. Job van Amerongen, Christian Kleijn, Carl Gamble
      Pages 27-59
    5. Peter Gorm Larsen, John Fitzgerald, Marcel Verhoef, Kenneth Pierce
      Pages 61-95
    6. Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl
      Pages 97-114
    7. Kenneth Pierce, Peter Gorm Larsen, John Fitzgerald
      Pages 115-137
  3. Methods and Applications: the Pragmatics of Co-modelling and Co-simulation

    1. Front Matter
      Pages 139-139
    2. Marcel Verhoef, Bert Bos, Kenneth Pierce, Carl Gamble, Job van Amerongen
      Pages 141-152
    3. Kenneth Pierce, Sune Wolff, Marcel Verhoef
      Pages 153-183
    4. Carl Gamble, Kenneth Pierce, John Fitzgerald, Bert Bos
      Pages 185-197
    5. Carl Gamble, Kenneth Pierce
      Pages 199-222
    6. Marcel Verhoef, Peter Gorm Larsen
      Pages 223-259
  4. Advanced Topics

    1. Front Matter
      Pages 261-261
    2. Sune Wolff, Peter Gorm Larsen, Marcel Verhoef
      Pages 263-271
    3. Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen
      Pages 273-292
    4. John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
      Pages 293-303
  5. Back Matter
    Pages 305-385

About this book


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.

To this end, this book presents a framework that allows the very different kinds of design models – discrete-event (DE) models of software and continuous time (CT) models of the physical environment – to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers’ experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on

Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation, as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns.


20-sim VDM cyber-physical systems design patterns embedded systems firmware hardware-software co-design software engineering

Editors and affiliations

  • John Fitzgerald
    • 1
  • Peter Gorm Larsen
    • 2
  • Marcel Verhoef
    • 3
  1. 1.Newcastle UniversityNewcastle upon TyneUnited Kingdom
  2. 2.Aarhus UniversityAarhusDenmark
  3. 3.Chess WISE B.V.HaarlemThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54117-9
  • Online ISBN 978-3-642-54118-6
  • Buy this book on publisher's site