Collaborative design for embedded systems : co-modelling and co-simulation / edited by John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef.

Springer eBooks

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.

Para consulta fuera de la UANL se requiere clave de acceso remoto.