User: Guest  Login
Document type:
Technical Report 
Author(s):
Markus Pister 
Title:
Beschreibung der Modellierung eingebetteter Systeme und deren Umwelt als Grundlage fuer die Fehlermodellierung 
Abstract:
Dieser technische Bericht beschreibt die Modellierung eingebetteter Systeme und derer Umgebung als Grundlage für die Fehlermodellierung. Eingebettete Systeme sind Rechnersysteme, die in eine physikalische Umwelt eingebunden sind und dort Prozesse regeln. Dabei haben sie Schnittstellen zu anderen Rechnersystemen, zum Menschen, zur Elektrik und zur Mechanik. Entsprechend müssen bei einer Spezifikation dieser Systeme Modellierungstechniken verwendet werden, welche kontinuierliche Modelle der Physik...    »
 
Keywords:
formale Semantik; Spezifikation; eingebettete Systeme; Fehler; FOCUS 
Year:
2007 
Year / month:
2007-09-01 00:00:00 
Pages:
35