Konferenzbeitrag
Modellierung adaptiver eingebetteter Systeme
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2005
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Ein elementares Problem bei der Entwicklung adaptiver Systeme besteht darin, dass das Adaptionsverhalten eines Systems durch sehr komplexe Zusammenhänge bestimmt ist. Eine zur Beherrschung dieser Zusammenhänge notwendige formale Modellierung des Adaptionsverhaltens ist allerdings nicht verfügbar. Deshalb wurden in einer Kooperation zwischen der TU Kaiserslautern und der Robert Bosch GmbH Techniken zur Modellierung adaptiver eingebetteter Systeme entwickelt. Als Fallbeispiel diente dazu das elektronische Stabilitätsprogramm ESP. Die entwickelten Modellierungstechniken haben sich in Fallstudien bewiesen und werden in Zukunft in der ESP-Entwicklung, an der mehrere Hundert Softwareentwickler beteiligt sind, eingesetzt werden. Die Entwicklung adaptiver eingebetteter Systeme gewinnt zurzeit zunehmend an Bedeutung. In diesem Beitrag möchten wir daher die bereits vorhandenen grundlegenden Erkenntnisse unserer Untersuchungen darlegen. Dazu werden wir insbesondere allgemeine Modellierungsprinzipien vorstellen, die sich im Rahmen des Projektes als sinnvoll erwiesen haben.