Impact of statechart implementation techniques on the effectiveness of fault detection mechanisms

Conference Proceedings of the EUROMICRO

Volumn 30, Issue , 2004, Pages 136-143

  Pinter G ^a   Majzik, I ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; FAILURE ANALYSIS; MICROPROCESSOR CHIPS; SPECIFICATIONS; MICROWAVE CIRCUITS;

COMMERCIAL-OFF-THE-SHELF SOFTWARE COMPONENTS (COTS); MEMORY PROTECTION; SOFTWARE FAULT DETECTION; STATECHART IMPELEMENTATION; BEHAVIORAL SPECIFICATION; EXECUTABLES; FAULT-DETECTION MECHANISMS; IMPLEMENTATION TECHNIQUES; KEY FEATURE; STATE CHARTS;

COMPUTER AIDED SOFTWARE ENGINEERING; FAULT DETECTION;

EID: 11844266559     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/eurmic.2004.1333365     Document Type: Conference Paper

References (17)

1. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fahre, J.-C. Laprie, E. Martins, and D. Powell. Fault Injection for Dependability Validation - A Methodology and Some Applications. In IEEE Transactions on Software Engineering, volume 16 (2), pages 166-182, February 1990.
2. th International Symposium on Fault-Tolerant Computing (FTCS-19), (Chicago, IL, USA), pages 384-355. IEEE CS Press, 1989.
3. J. Arlat, K. Kanoun, H. Madeira, J. V. Busquets, T. Jarboui, A. Johansson, and R. Lindstrom. State of the Art, Deliverable in DBench IST-2000-25425. August 2001.
4. J. V. Carreira, D. Costa, and J. G. Silva. Fault Injection Spotchecks Computer System Dependability. In IEEE Spektrum, volume 36, pages 50-55, August 1999.
5. D. Latella, I. Majzik, and M. Massink. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. In Formal Aspects of Computing, volume 11, pages 637-664. Springer Verlag, 1999.
6. D. Latella, I. Majzik, and M. Massink. Towards a Formal Operational Semantics of UML Statechart Diagrams. In Proc. FMOODS'99, the Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, pages 331-347, Florence, Italy, February 1999.
7. D. J. Lu. Watchdog Processors and Structural Integrity Checking. In IEEE Transactions on Computers, volume C-31, pages 681-685.
8. H. Madeira, D. Costa, and M. Vieira. On the Emulation of Software Faults by Software Fault Injection. In Proc. Int. Conference on Dependable Systems and Networks (DSN-2000), pages 417-426, New York, 2000. IEEE CS Press.
9. st European Dependable Computing Conference (EDCC-1) in Lecture Notes in Computer Science, 852, pages 199-216. Springer Verlag, 1994.
10. A. Mahmood and E. J. McCluskey. Concurrent Error Detection Using Watchdog Processors - A Survey. In IEEE Transactions on Computers, volume 37 (2), pages 160-174, 1998.
11. I. Majzik, W. Hohl, A. Pataricza, and V. Sieh. Multiprocessor Checking Using Watchdog Processors. In International Journal of Computer Systems - Science & Engineering, volume 11 (5), pages 125-132, 1996.
12. M. Namjoo. Techniques for Concurrent Testing of VLSI Processor Operation. In Proc. International Test Conference, pages 461-468, 1892.
13. th Symposium on Microprocessing and Microprogramming, Barcelona, 1993.
14. C. Pintér and I. Majzik. Automatic code generation based on formally analyzed UML statecharts. In G. Tamai and E. Schnieder, editors, Formal Methods for Railway Operation and Control Systems (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16), pages 45-52. L' Harmattan, Budapest, 2003.
15. G. Pintér and I. Majzik. High-level Supervision of Program Execution Based on Formal Specification. In Proc. DSN-2004 Workshop on Architecting Dependable Systems, Florence, Italy, June 2004. In press.
16. M. Samek. Practical Statecharts in C/C++. CMP Books, Kansas, USA, 2002.
17. J. M. Voas and G. McGraw. Software Fault Injection. Wiley Computer Publishing, New York, 1998.