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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Fitzgerald, John (Επιμελητής έκδοσης), Larsen, Peter Gorm (Επιμελητής έκδοσης), Verhoef, Marcel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Computer logic.; Computer simulation.; Computer engineering.; Electronic circuits.; Computer Science.; Special Purpose and Application-Based Systems.; Software Engineering.; Logics and Meanings of Programs.; Simulation and Modeling.; Computer Engineering.; Circuits and Systems.

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

Πίνακας περιεχομένων:

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