Collaborative Design for Embedded Systems

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.

This book presents a framework that allows the very different kinds of design models discrete-event models of software and continuous time models of the physical environment to be analyzed and simulated jointly, based on common scenarios.

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.