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 einen Lösungsansatz zur 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.
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für Beruf und Forschung
Wissenschaftler, Dozenten und Studenten der Informatik
Entwickler sowie Fach- und Führungskräfte in Bereichen Softwarearchitektur, Systementwurf, Spezifikation und Verifikation
Illustrationen
65
65 s/w Abbildungen
XVIII, 431 S. 65 Abb.
Maße
Höhe: 210 mm
Breite: 148 mm
Dicke: 28 mm
Gewicht
ISBN-13
978-3-8348-1029-8 (9783834810298)
DOI
10.1007/978-3-8348-9703-9
Schweitzer Klassifikation
Dr. David Trachtenherz promovierte bei Prof. Dr. Dr. h. c. Manfred Broy am Institut für Informatik der Technischen Universität München.
Logische Architektur.- Formale Grundlagen.- Grundlagen eigenschaftsorientierter Architekturbeschreibung.- Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation.- Eigenschaftsorientierte Architekturmuster.- Fallstudie.- Zusammenfassung und Ausblick.
