Automobile eingebettete Systeme sind komplexe und verteilte Netzwerke, die aus bis zu 80 Steuergeräten aufgebaut werden, auf denen jeweils eine oder mehrere Softwarekomponenten laufen. Der logische Architekturentwurf ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. In der vorliegenden Arbeit entwickeln wir 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. Ferner wird die Erstellung funktionaler Spezifikationen durch geeignete Darstellungstechniken unterstützt. Die praktische Anwendung der vorgestellten Konzepte wird anhand einer industriellen Fallstudie, einer ACC-Steuerung, demonstriert.      «

Automobile eingebettete Systeme sind komplexe und verteilte Netzwerke, die aus bis zu 80 Steuergeräten aufgebaut werden, auf denen jeweils eine oder mehrere Softwarekomponenten laufen. Der logische Architekturentwurf ist daher ein wesentlicher Bestandteil des Entwicklungsprozesses. In der vorliegenden Arbeit entwickeln wir den Lösungsansatz der eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine präzise deklarative Spezifikation funktionaler Eigenschaf...     »

Automotive embedded systems are complex and distributed networks consisting of 20-80 ECUs (electronic control units), on each of them single or multiple software components are running. Hence the logical architecture design is an important constituent part of the development process. In the presented work we develop the approach of property-oriented description of logical architecture of embedded systems, which enables a precise declarative specification with selectable levels of abstraction for different development phases and levels. Moreover creation of functional specification is assisted by suitable representation techniques. The practical application of the presented concepts is demonstrated for an industrial case study of an ACC system.     «

Automotive embedded systems are complex and distributed networks consisting of 20-80 ECUs (electronic control units), on each of them single or multiple software components are running. Hence the logical architecture design is an important constituent part of the development process. In the presented work we develop the approach of property-oriented description of logical architecture of embedded systems, which enables a precise declarative specification with selectable levels of abstraction fo...     »