Runtime verification of statechart implementations
Architecting Dependable Systems III
A systematic review of code generation proposals from state machine specifications
Information and Software Technology
Hi-index | 0.00 |
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.