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.

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.