loading...
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms
Rennes, France August 31-September 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.133336530th EUROMICRO Conference (EUROMICRO'04)
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
G. Pint?, I. Majzik, "Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms," EUROMICRO Conference, pp. 136-143, 30th EUROMICRO Conference (EUROMICRO'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.2004.1333365,
author = {G. Pint? and I. Majzik},
title = {Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms},
journal ={EUROMICRO Conference},
volume = {0},
year = {2004},
issn = {1089-6503},
pages = {136-143},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333365},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms
SN - 1089-6503
SP136
EP143
A1 - G. Pint?,
A1 - I. Majzik,
PY - 2004
KW - null
VL - 0
JA - EUROMICRO Conference
ER -
 
G. Pint?, Budapest University of Technology and Economics
I. Majzik, Budapest University of Technology and Economics
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.
Citation:
G. Pint?, I. Majzik, "Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms," euromicro, pp.136-143, 30th EUROMICRO Conference (EUROMICRO'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.