Ebook: Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

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 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 Funktionalitaten sind verteilt und konnen erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitaten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitatssicherungsaufwand zu verringern und hohe Produktqualitat zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitaten wichtig, die keine Mehrdeutigkeiten zulasst und gleichzeitig prazise Definition von Freiraumen fur die weitere Systementwicklung ermoglicht.

David Trachtenherz entwickelt den Losungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine prazise deklarative Spezifikation funktionaler Eigenschaften mit wahlbarem Grad der Abstraktion fur unterschiedliche Entwicklungsphasen und -ebenen ermoglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstutzt. 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 Funktionalitaten sind verteilt und konnen erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitaten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitatssicherungsaufwand zu verringern und hohe Produktqualitat zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitaten wichtig, die keine Mehrdeutigkeiten zulasst und gleichzeitig prazise Definition von Freiraumen fur die weitere Systementwicklung ermoglicht.

David Trachtenherz entwickelt den Losungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine prazise deklarative Spezifikation funktionaler Eigenschaften mit wahlbarem Grad der Abstraktion fur unterschiedliche Entwicklungsphasen und -ebenen ermoglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstutzt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.

Content:
Front Matter....Pages i-xviii
Einleitung....Pages 1-18
Logische Architektur....Pages 19-27
Formale Grundlagen....Pages 29-75
Grundlagen eigenschaftsorientierter Architekturbeschreibung....Pages 77-161
Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation....Pages 163-190
Eigenschaftsorientierte Architekturmuster....Pages 191-231
Fallstudie....Pages 233-269
Zusammenfassung und Ausblick....Pages 271-284
Back Matter....Pages 285-431

---

Automobile eingebettete Systeme sind komplexe verteilte Netzwerke, die aus zahlreichen Hardware- und Software-Teilsystemen bestehen. Viele Funktionalitaten sind verteilt und konnen erst durch das Zusammenwirken mehrerer Teilsysteme erbracht werden. Der logische Architekturentwurf, in dem die Spezifikation der Netzwerkarchitektur sowie der verteilten Funktionalitaten stattfindet, ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. Um den Qualitatssicherungsaufwand zu verringern und hohe Produktqualitat zu erreichen, ist bereits beim Systementwurf eine Spezifikation von Verhalten und Funktionalitaten wichtig, die keine Mehrdeutigkeiten zulasst und gleichzeitig prazise Definition von Freiraumen fur die weitere Systementwicklung ermoglicht.

David Trachtenherz entwickelt den Losungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine prazise deklarative Spezifikation funktionaler Eigenschaften mit wahlbarem Grad der Abstraktion fur unterschiedliche Entwicklungsphasen und -ebenen ermoglicht. Die Erstellung funktionaler Spezifikationen wird in diesem Ansatz durch strukturierende und veranschaulichende Darstellungstechniken unterstutzt. An einer industriellen Fallstudie wird die praktische Anwendung der vorgestellten Konzepte demonstriert.

Content:
Front Matter....Pages i-xviii
Einleitung....Pages 1-18
Logische Architektur....Pages 19-27
Formale Grundlagen....Pages 29-75
Grundlagen eigenschaftsorientierter Architekturbeschreibung....Pages 77-161
Anschauliche Darstellung eigenschaftsorientierter Architekturspezifikation....Pages 163-190
Eigenschaftsorientierte Architekturmuster....Pages 191-231
Fallstudie....Pages 233-269
Zusammenfassung und Ausblick....Pages 271-284
Back Matter....Pages 285-431
....