Vor Ort
Merkzettel Warenkorb
  • Produktbild: Collaborative Design for Embedded Systems
  • Produktbild: Collaborative Design for Embedded Systems

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

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)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

07.05.2014

Abbildungen

XXI, 244 illus., 14 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

John Fitzgerald + weitere

Verlag

Springer Berlin

Seitenzahl

385

Maße (L/B/H)

24,1/16/2,8 cm

Gewicht

7332 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-642-54117-9

Rezension

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

Gebundene Ausgabe

Erscheinungsdatum

07.05.2014

Abbildungen

XXI, 244 illus., 14 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

385

Maße (L/B/H)

24,1/16/2,8 cm

Gewicht

7332 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-642-54117-9

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)
Die Leseprobe wird geladen.
  • Produktbild: Collaborative Design for Embedded Systems
  • 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.