User: Guest  Login
Original title:
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme 
Translated title:
Property-oriented description of the logical architecture of embedded systems 
Year:
2009 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Bender, Klaus (Prof. Dr.); Broy, Manfred (Prof. Dr. Dr. h.c.) 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Logische Architektur, Eingebettete Systeme, Modellbasierte Entwicklung, AutoFocus, Semantik, Isabelle/HOL, Temporale Logik, Formale Spezifikation, Formale Verifikation, Eigenschaftsorientierte Architekturmuster, Anschauliche Darstellung 
Translated keywords:
Logical architecture, embedded systems, model-based development, AutoFocus, semantics, Isabelle/HOL, temporal logic, formal specification, formal verification, property-oriented architectural patterns, illustrative representation 
Abstract:
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...    »
 
Translated abstract:
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 f...    »
 
Oral examination:
05.03.2009 
Pages:
466 
Last change:
30.06.2009