Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

1. Front Matter

   Pages i-xviii

   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

    PDF

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.

• Eigenschaftsorientierte Architekturmuster
• Informatik
• Logische Architektur
• Modellbasierte Entwicklung
• Softwarearchitektur
• Softwarearchitektur und Systementwurf
• Verifikation
• formale Spezifikation

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

Policies and ethics