Skip to main content
SpringerLink
Log in
Book cover

Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

  • Book
  • © 2010

Overview

Authors:
  1. David Trachtenherz
    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Einleitung

    • David Trachtenherz
    Pages 1-18

  3. Logische Architektur

    • David Trachtenherz
    Pages 19-27

  4. Formale Grundlagen

    • David Trachtenherz
    Pages 29-75

  5. Grundlagen eigenschaftsorientierter Architekturbeschreibung

    • David Trachtenherz
    Pages 77-161

  6. Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation

    • David Trachtenherz
    Pages 163-190

  7. Eigenschaftsorientierte Architekturmuster

    • David Trachtenherz
    Pages 191-231

  8. Fallstudie

    • David Trachtenherz
    Pages 233-269

  9. Zusammenfassung und Ausblick

    • David Trachtenherz
    Pages 271-284

  10. Back Matter

    Pages 285-431
    Download chapter PDF
Back to top

Keywords

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 author

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

Bibliographic Information

  • Book Title: Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

  • Authors: David Trachtenherz

  • DOI: https://doi.org/10.1007/978-3-8348-9703-9

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2010

  • Softcover ISBN: 978-3-8348-1029-8Published: 25 June 2010

  • eBook ISBN: 978-3-8348-9703-9Published: 24 September 2010

  • Edition Number: 1

  • Number of Pages: XVIII, 431

  • Number of Illustrations: 65 b/w illustrations

  • Topics: Arithmetic and Logic Structures, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation