2014

Collaborative Design for Embedded Systems

Co-modelling and Co-simulation

Editors:

ISBN: 978-3-642-54117-9 (Print) 978-3-642-54118-6 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xxi

  2. Co-modelling and Co-simulation: The Technical Basis

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-14

      Collaborative Development of Embedded Systems

    3. No Access

      Book Chapter

      Pages 15-25

      Co-modelling and Co-simulation in Embedded Systems Design

    4. No Access

      Book Chapter

      Pages 27-59

      Continuous-Time Modelling in 20-sim

    5. No Access

      Book Chapter

      Pages 61-95

      Discrete-Event Modelling in VDM

    6. No Access

      Book Chapter

      Pages 97-114

      Support for Co-modelling and Co-simulation: The Crescendo Tool

    7. No Access

      Book Chapter

      Pages 115-137

      Co-model Structuring and Design Patterns

  3. Methods and Applications: the Pragmatics of Co-modelling and Co-simulation

    1. Front Matter

      Pages 139-139

    2. No Access

      Book Chapter

      Pages 141-152

      Case Studies in Co-modelling and Co-simulation

    3. No Access

      Book Chapter

      Pages 153-183

      Methods for Creating Co-models of Embedded Systems

    4. No Access

      Book Chapter

      Pages 185-197

      Co-modelling of Faults and Fault Tolerance Mechanisms

    5. No Access

      Book Chapter

      Pages 199-222

      Design Space Exploration for Embedded Systems Using Co-simulation

    6. No Access

      Book Chapter

      Pages 223-259

      Industrial Application of Co-modelling and Co-simulation Technology

  4. Advanced Topics

    1. Front Matter

      Pages 261-261

    2. No Access

      Book Chapter

      Pages 263-271

      Deploying Co-modelling in Commercial Practice

    3. No Access

      Book Chapter

      Pages 273-292

      Semantics of Co-simulation

    4. No Access

      Book Chapter

      Pages 293-303

      From Embedded to Cyber-Physical Systems: Challenges and Future Directions

  5. Back Matter

    Pages 305-385