Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Fitzgerald, John (Editor ), Larsen, Peter Gorm (Editor ), Verhoef, Marcel (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.