Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling: issues and a proposed notation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
A Discipline of Programming
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
A recovery mechanism for modular software
ICSE '79 Proceedings of the 4th international conference on Software engineering
Software reliability: The role of programmed exception handling
Proceedings of an ACM conference on Language design for reliable software
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Fault Tolerance of a General Purpose Computer Implemented by Very Large Scale Integration
IEEE Transactions on Computers
A Recovery Cache for the PDP-11
IEEE Transactions on Computers
An Introduction to the Construction and Verification of Alphard Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
An Object-Oriented Exception Handling System for an Object-Oriented Language
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Exception Handling and Resolution for Transactional Object Groups
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
An efficient and reliable object-oriented exception handling mechanism
ACM SIGPLAN Notices
Supporting exception handling for futures in Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Exceptional situations and program reliability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exception handling refactorings: Directed by goals and driven by bug fixing
Journal of Systems and Software
As-if-serial exception handling semantics for Java futures
Science of Computer Programming
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
A cross-layered diagnostician in OSGI platform for home network
EUC'07 Proceedings of the 2007 conference on Emerging direction in embedded and ubiquitous computing
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Fail-safety techniques and their extensions to concurrent systems
Computer Languages
Automatic recovery from runtime failures
Proceedings of the 2013 International Conference on Software Engineering
A framework for self-healing software systems
Proceedings of the 2013 International Conference on Software Engineering
Exception handlers for healing component-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
| Hi-index | 14.98 |
Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is constructed. The cause-effect relationship between software design faults and failure occurrences is explored and a class of faults for which default exception handling can provide effective fault tolerance is characterized. It is also shown that there exists a second class of design faults which cannot be tolerated by using default exception handling. The role that software verification methods can play in avoiding the production of such faults is discussed.