Modellierung adaptiver eingebetteter Systeme

Ein elementares Problem bei der Entwicklung adaptiver Systeme besteht darin, dass das Adaptionsverhalten eines Systems durch sehr komplexe Zusammenhange bestimmt ist. Eine zur Beherrschung dieser Zusammenhange notwendige formale Modellierung des Adaptionsverhaltens ist allerdings nicht verfugbar. 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 Stabilitatsprogramm 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 mochten 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.