Benutzer: Gast  Login
Titel:

Model-Level Debugging of Embedded Real-Time Systems

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Haberl, Wolfgang; Herrmannsdörfer, Markus; Birke, Jan; Baumgarten, Uwe
Seitenangaben Beitrag:
1887-1894
Abstract:
Model-driven development has become the state-of-the-art approach for designing embedded real-time systems. Due to their high level of abstraction, models are easier to understand and verify, thus leading to less faulty systems. But even when combined with automatic code generation, there is still the risk of unintended behavior. This may, for example, arise from real sensor inputs which differ from the characteristics assumed in the model. Consequently, debugging techniques still play an import...     »
Dewey-Dezimalklassifikation:
000 Informatik, Wissen, Systeme
Kongress- / Buchtitel:
Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
Datum der Konferenz:
June 29 2010-July 1 2010
Jahr:
2010
Monat:
Jun
Volltext / DOI:
doi:10.1109/CIT.2010.323
 BibTeX