Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

Authors: Trachtenherz, David

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-8348-9703-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-8348-1029-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitäten sind verteilt und können erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitäten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitätssicherungsaufwand zu verringern und hohe Produktqualität zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitäten wichtig, die keine Mehrdeutigkeiten zulässt und gleichzeitig präzise Definition von Freiräumen für die weitere Systementwicklung ermöglicht.

David Trachtenherz entwickelt den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaften mit wählbarem Grad der Abstraktion für unterschiedliche Entwicklungsphasen und -ebenen ermöglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstützt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.

About the authors

Dr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut für Informatik der Technischen Universität München.

Table of contents (8 chapters)

Table of contents (8 chapters)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-8348-9703-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-8348-1029-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme
Authors
Copyright
2010
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden
eBook ISBN
978-3-8348-9703-9
DOI
10.1007/978-3-8348-9703-9
Softcover ISBN
978-3-8348-1029-8
Edition Number
1
Number of Pages
XVIII, 431
Number of Illustrations
65 b/w illustrations
Topics