The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Reliable Computer Systems
Observations on program-wide Ada exception propagation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Designing robust Java programs with exceptions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Except for exception handling …
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
On exceptions as first-class objects in Ada 95
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
ACM SIGSOFT Software Engineering Notes
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Practical exception specifications
Advanced Topics in Exception Handling Techniques
| Hi-index | 0.00 |
This paper describes a new approach for implementing fault tolerant software in Ada. The approach uses automated analysis methods to determine appropriate low-complexity boundaries within the program. A subset of these boundaries defines fault-containment boundaries at which error semantics are specified. A disciplined method is proposed to implement these semantics using Ada's exception construct in such a way that an automated tool can verify the correct application of the method. The fault tolerance implementation method is compatible with object-oriented, data abstraction, and control abstraction program design methods.