Produktbild: Collaborative Design for Embedded Systems

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

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.09.2016

Abbildungen

XXI, 385 p. 244 illus., 14 illus. in color.

Herausgeber

John Fitzgerald + weitere

Verlag

Springer Berlin

Seitenzahl

385

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

Softcover reprint of the original 1st ed. 2014

Sprache

Englisch

ISBN

978-3-662-52444-2

Beschreibung

Rezension

“The book gives a good overview of the DESTECS approach to co-simulation. The clarity of the examples, in particular, make it a good entry point for getting to grips with this design technique.” (Richard Banach, Formal Aspects of Computing, Vol. 31, 2019)

Portrait


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

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.09.2016

Abbildungen

XXI, 385 p. 244 illus., 14 illus. in color.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

385

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

616 g

Auflage

Softcover reprint of the original 1st ed. 2014

Sprache

Englisch

ISBN

978-3-662-52444-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Collaborative Design for Embedded Systems
  • 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.