Linked e-resources

Details

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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export