Collaborative Design for Embedded Systems : Co-Modelling and Co-Simulation
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783662524442
- ISBN-10: 3662524449
- Publisher: Springer
- Publish Date: September 2016
- Dimensions: 9.21 x 6.14 x 0.84 inches
- Shipping Weight: 1.25 pounds
- Page Count: 385
Related Categories
