Benutzer: Gast  Login
Originaltitel:
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme 
Übersetzter Titel:
Property-oriented description of the logical architecture of embedded systems 
Jahr:
2009 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Bender, Klaus (Prof. Dr.); Broy, Manfred (Prof. Dr. Dr. h.c.) 
Sprache:
de 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
Logische Architektur, Eingebettete Systeme, Modellbasierte Entwicklung, AutoFocus, Semantik, Isabelle/HOL, Temporale Logik, Formale Spezifikation, Formale Verifikation, Eigenschaftsorientierte Architekturmuster, Anschauliche Darstellung 
Übersetzte Stichworte:
Logical architecture, embedded systems, model-based development, AutoFocus, semantics, Isabelle/HOL, temporal logic, formal specification, formal verification, property-oriented architectural patterns, illustrative representation 
Kurzfassung:
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...    »
 
Übersetzte Kurzfassung:
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...    »
 
Mündliche Prüfung:
05.03.2009 
Seiten:
466 
Letzte Änderung:
30.06.2009