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

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

Paperback(Softcover reprint of the original 1st ed. 2014)

View All Available Formats & Editions
Choose Expedited Shipping at checkout for guaranteed delivery by Tuesday, January 22

Product Details

ISBN-13: 9783662524442
Publisher: Springer Berlin Heidelberg
Publication date: 10/21/2016
Edition description: Softcover reprint of the original 1st ed. 2014
Pages: 385
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

About the Author

John Fitzgerald is a specialist in the engineering of embedded systems and systems-of-systems. He has worked in and with the aerospace and embedded processor industries to develop formal model-based methods for software development that are supported by tools and deployed in commercial practice, notably the VDM and Overture framework. He is now Professor of Computing Science at Newcastle University, where he is Director of the Centre for Software Reliability.

Peter Gorm Larsen has been a specialist in the development of tool support for VDM for more than twenty years. He was the main architect behind the commercial VDMTools and is now Convener of the Overture open source initiative, and has experience of applying VDM in many different industrial contexts. He is now a professor at the Department of Engineering at Aarhus University in Denmark, where he leads the Software Engineering group.

Marcel Verhoef is an embedded systems architect at Chess Embedded Technology International B.V. (Haarlem, The Netherlands) where has worked on the development of complex mission-critical embedded systems for clients in the aerospace and automotive industries. He holds a PhD from the Radboud University Nijmegen on multi-disciplinary design methodologies for systems engineering.

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews