Collaborative Design for Embedded Systems Co-modelling and Co-simulation /

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...

Full description

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: Fitzgerald, John (Editor), Larsen, Peter Gorm (Editor), Verhoef, Marcel (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Subjects:
Online Access:http://dx.doi.org/10.1007/978-3-642-54118-6
Перейти в каталог НБ ТГУ
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.