Collaborative design for embedded systems : co-modelling and co-simulation / John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors.
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 co...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Springer,
2014.
|
| Subjects: |
Table of 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.