ubc
eng
A Formal Framework for Modelling Component Extension and Layers in Distributed Embedded Systems
2006-10-01
2006-10-01
urn:nbn:de:swb:ch1-200700638
978-3-940046-22-2
published
born digital
Band 3
aut
Dipl-Inf.
Stefan
Förster
male
Chemnitz
rev
Prof. Dr. habil.
Wolfram
Hardt
male
rev
Prof. Dr.-Ing. habil.
Dieter
Monjau
male
rev
Prof. Dr. rer. nat.
Franz Josef
Rammig
male
ths
Prof. Dr. habil.
Wolfram
Hardt
male
dgg
Technische Universität Chemnitz, Fakultät für Informatik, Professur Technische Informatik
Technische Universität Chemnitz, Fakultät für Informatik, Professur Technische Informatik, Chemnitz
pbl
TUDpress
TUDpress, Dresden
Der vorliegende Band der wissenschaftlichen Schriftenreihe Eingebettete Selbstorganisierende Systeme widmet sich dem Entwurf von verteilten Eingebetteten Systemen.
Einsatzgebiete solcher Systeme sind unter anderem Missions- und Steuerungssysteme von Flugzeugen (Aerospace-Anwendungen) und , mit zunehmender Vernetzung, der Automotive Bereich. Hier gilt es höchste Sicherheitsstandards einzuhalten und maximale Verfügbarkeit zu garantieren.
In dieser Arbeit wird diese Problematik frühzeitig im Entwurfsprozess, in der Spezifikationsphase, aufgegriffen. Es werden Implementierungsvarianten wie Hardware und Software sowie Systemkomponenten wie Berechungskomponenten und Kommunikationskomponenten unterschieden. Für die übergreifende Spezifikation wird auf Grundlage des π-Kalküls ein formales Framework, das eine einheitliche Modellierung von Teilsystemen in den unterschiedlichen Entwurfsphasen unterstützt, entwickelt.
Besonderer Schwerpunkt der Untersuchungen von Herrn Förster liegt auf Erweiterungen von Systemspezifikationen. So wird es möglich, Teilkomponenten zu verändern oder zu substituieren und die Gesamtspezifikation auf Korrektheit und Konsistenz automatisiert zu überprüfen.
This volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) gives an outline of the design of distributed embedded systems. Fields of application for such systems are, amongst others, mission systems and control systems of airplanes (aeronautic applications) and - with increasing level of integration - also the automotive area. In this area it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Förster addresses these problems in an early state of the design process, namely the specification. Implementation versions like hardware and software are differentiated as well as system components like computation components and communication components. For a general specification Mr Förster develops a formal framework based on the pi-calculus, which supports a standardised modelling of modules in different design steps.
The main focus of Mr Förster's research is the extension of system specifications. Therefore it will be possible to modify or substitute modules and to check automatically the correctness and consistency of the total specification. Mr Förster can prove the correctness of his approach and demonstrates impressively the complexity by clearly defined extension relations and formally verifiable embedding in the pi-calculus formalism. A detailed example shows the practical relevance of this research.
I am glad that Mr Förster publishes his important research in this scientific series. So I hope you will enjoy reading it and benefit from it.
Komponentenerweiterung, Komponentenmodellierung, Spezifikation von Schichten, verteilte eingebettete Systeme
component extension, computer engineering, computer science, distributed embedded systems, embedded systems, modelling of components, pi-calculus, specification of layers
004
Eingebettetes System, Informatik, Pi-Kalkül, Technische Informatik
2007-05-14
Universitätsbibliothek Chemnitz
4519974-7
prv
Universitätsbibliothek Chemnitz, Chemnitz
Wissenschaftliche Schriftenreihe EINGEBETTETE, SELBSTORGANISIERENDE SYSTEME
urn:nbn:de:bsz:ch1-qucosa-111676
03
qucosa:19874
coe
uni-verlag@bibliothek.tu-chemnitz.de
doctoral_thesis
UBC-18-48