The structure of the “THE”-multiprogramming system
Communications of the ACM
A program structure for error detection and recovery
Operating Systems, Proceedings of an International Symposium
Recovery semantics for a DB/DC system
ACM '73 Proceedings of the ACM annual conference
Towards monolingual programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Exception Handling in Robotics
Computer
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
Fault-Tolerant Software for Real-Time Applications
ACM Computing Surveys (CSUR)
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
An overview of the SUMMER programming language
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrency control for resilient nested transactions
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
An Incremental Programming Environment
ICSE '81 Proceedings of the 5th international conference on Software engineering
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Response to undesired events in software systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
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
ACM SIGSOFT Software Engineering Notes
An approach to efficient, fault tolerant programming
ACM SIGPLAN Notices
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Application of a remote code generator
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 1 - Volume 02
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Stayin' alert:: moulding failure and exceptions to your needs
Proceedings of the 5th international conference on Generative programming and component engineering
Proteus: virtualization for diversified tamper-resistance
Proceedings of the ACM workshop on Digital rights management
Supporting exception handling for futures in Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Enhancing storage system availability on multi-core architectures with recovery-conscious scheduling
FAST'08 Proceedings of the 6th USENIX Conference on File and Storage Technologies
Determining QoS of WS-BPEL Compositions
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
As-if-serial exception handling semantics for Java futures
Science of Computer Programming
A systematic approach to system state restoration during storage controller micro-recovery
FAST '09 Proccedings of the 7th conference on File and storage technologies
Interconnect agnostic checkpoint/restart in open MPI
Proceedings of the 18th ACM international symposium on High performance distributed computing
Tamper-Tolerant Software: Modeling and Implementation
IWSEC '09 Proceedings of the 4th International Workshop on Security: Advances in Information and Computer Security
Science of Computer Programming
Run-time randomization to mitigate tampering
IWSEC'07 Proceedings of the Security 2nd international conference on Advances in information and computer security
A software integration approach for designing and assessing dependable embedded systems
Journal of Systems and Software
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Automatic workarounds for web applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Automating exception-safety classification
Science of Computer Programming
Reliability prediction for fault-tolerant software architectures
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
Analyzing fault aware collective performance in a process fault tolerant MPI
Parallel Computing
Exception handling in the choices operating system
Advanced Topics in Exception Handling Techniques
COTS diversity based intrusion detection and application to web servers
RAID'05 Proceedings of the 8th international conference on Recent Advances in Intrusion Detection
Future Generation Computer Systems
Containment domains: a scalable, efficient, and flexible resilience scheme for exascale systems
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
WSDM-enabled autonomic augmentation of classical multi-version software fault-tolerance mechanisms
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
A Resource-Aware Dynamic Load-Balancing Parallelization Algorithm in a Farmer-Worker Environment
International Journal of Adaptive, Resilient and Autonomic Systems
Memory array protection: check on read or check on write?
Proceedings of the Conference on Design, Automation and Test in Europe
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
Towards trustworthy medical devices and body area networks
Proceedings of the 50th Annual Design Automation Conference
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
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Containment domains: A scalable, efficient and flexible resilience scheme for exascale systems
Scientific Programming - Selected Papers from Super Computing 2012
| Hi-index | 0.00 |
The paper presents, and discusses the rationale behind, a method for structuring complex computing systems by the use of what we term “recovery blocks”, “conversations” and “fault-tolerant interfaces”. The aim is to facilitate the provision of dependable error detection and recovery facilities which can cope with errors caused by residual design inadequacies, particularly in the system software, rather than merely the occasional malfunctioning of hardware components.