Benutzer: Gast  Login
Titel:

Beschreibung der Modellierung eingebetteter Systeme und deren Umwelt als Grundlage fuer die Fehlermodellierung

Dokumenttyp:
Technical Report
Autor(en):
Markus Pister
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...     »
Stichworte:
formale Semantik; Spezifikation; eingebettete Systeme; Fehler; FOCUS
Jahr:
2007
Jahr / Monat:
2007-09-01 00:00:00
Seiten/Umfang:
35
 BibTeX