Published Articles >> Table of Contents >> Abstract

30th EUROMICRO Conference (EUROMICRO'04)   pp. 136-143
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms
G. Pinter, Budapest University of Technology and Economics
I. Majzik, Budapest University of Technology and Economics

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333365
Send link to a friend

Abstract
This paper presents the analysis of an experiment series aiming at the discovery of the impact of two inherently different statechart implementation methods on the behavior of the resulting executables in the presence of faults. The discussion identifies the key features of implementation techniques influencing the effectiveness of standard fault detection mechanisms (memory protection, assertions etc.) and an advanced statechart-level watchdog scheme used for detecting the deviations from the abstract implementation-independent behavioral specification.
Back to Top Additional Information
Citation:  G. Pinter, I. Majzik, "Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms," euromicro, pp. 136-143,  30th EUROMICRO Conference (EUROMICRO'04),  2004