User: Guest  Login
Title:

Model-Level Debugging of Embedded Real-Time Systems

Document type:
Konferenzbeitrag
Author(s):
Haberl, Wolfgang; Herrmannsdörfer, Markus; Birke, Jan; Baumgarten, Uwe
Pages contribution:
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 Decimal Classification:
000 Informatik, Wissen, Systeme
Book / Congress title:
Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on
Date of congress:
June 29 2010-July 1 2010
Year:
2010
Month:
Jun
Fulltext / DOI:
doi:10.1109/CIT.2010.323
 BibTeX