Software fault tolerance in telecommunications systems
ACM SIGOPS Operating Systems Review
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Using Agent Replication to Enhance Reliability and Availability of Multi-agent Systems
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Middleware Support for Voting and Data Fusion
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Statecharts Supervision Models for Soft Real-Time Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Executable assertions and timed traces for on-line software error detection
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Automatic Generation of Fault-Tolerant CORBA-Services
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Time-bounded cooperative recovery with the distributed real-time conversation scheme
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
IOLTW '00 Proceedings of the 6th IEEE International On-Line Testing Workshop (IOLTW)
A Replication Technique Based on a Functional and Attribute Grammar Computation Model
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Design of reliable software via general combination of N-version programming and acceptance testing
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
An Approach to Measuring and Assessing Dependability for Critical Software Systems
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Cost of Software Design Diversity: An Empirical Evaluation
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
On-Line Error Monitoring for Several Data Structures
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Checkpointing and Its Applications
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Supporting Rapid Prototyping through Frequent and Reliable Deployment of Evolving Components
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Faults in Grids: Why are they so bad and What can be done about it?
GRID '03 Proceedings of the 4th International Workshop on Grid Computing
A New Hybrid Fault Detection Technique for Systems-on-a-Chip
IEEE Transactions on Computers
Worm-IT - A wormhole-based intrusion-tolerant group communication system
Journal of Systems and Software
Rx: Treating bugs as allergies—a safe method to survive software failures
ACM Transactions on Computer Systems (TOCS)
An optimized hybrid approach to provide fault detection and correction in SoCs
Proceedings of the 20th annual conference on Integrated circuits and systems design
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
Proceedings of the 2008 ACM symposium on Applied computing
N-variant IC design: methodology and applications
Proceedings of the 45th annual Design Automation Conference
Diversity and fault avoidance for dependable replication systems
Information Processing Letters
Managing redundancy in CAN-based networks supporting N-Version Programming
Computer Standards & Interfaces
CloudAV: N-version antivirus in the network cloud
SS'08 Proceedings of the 17th conference on Security symposium
Journal of Systems and Software
Tolerating latency in replicated state machines through client speculation
NSDI'09 Proceedings of the 6th USENIX symposium on Networked systems design and implementation
Search-based failure discovery using testability transformations to generate pseudo-oracles
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Decentralised meta-scheduling strategy in Grid environments
International Journal of Grid and Utility Computing
N-version programming with imperfect debugging
Computers and Electrical Engineering
Crash-proof systemic computing: a demonstration of native fault-tolerance and self-maintenance
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Transactions and groups as generic building blocks for software fault tolerance
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Improving dependability of component-based systems via multi-versioning connectors
Architecting dependable systems
A fault-tolerant software architecture for component-based systems
Architecting dependable systems
MetaSelf: an architecture and a development method for dependable self-* systems
Proceedings of the 2010 ACM Symposium on Applied Computing
User-perceived software service availability modeling with reliability growth
ISAS'08 Proceedings of the 5th international conference on Service availability
ACM Transactions on Computer Systems (TOCS)
A fault-tolerance architecture for Kepler-based distributed scientific workflows
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
Automatic workarounds for web applications
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Structural analysis of explicit fault-tolerant programs
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
A fault tolerance approach to computer viruses
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
The role of accountability in dependable distributed systems
HotDep'05 Proceedings of the First conference on Hot topics in system dependability
Application communities: using monoculture for dependability
HotDep'05 Proceedings of the First conference on Hot topics in system dependability
Software assumptions failure tolerance: role, strategies, and visions
Architecting dependable systems VII
Towards context-aware adaptive fault tolerance in SOA applications
Proceedings of the 5th ACM international conference on Distributed event-based system
A middleware approach to achieving fault tolerance of Kahn process networks on networks on chips
International Journal of Reconfigurable Computing - Special issue on selected papers from the international workshop on reconfigurable communication-centric systems on chips (ReCoSoC' 2010)
Detecting and surviving data races using complementary schedules
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Proceedings of the 4th international conference on Security of information and networks
Exception handling in the choices operating system
Advanced Topics in Exception Handling Techniques
The use of mathematics in software quality assurance
Frontiers of Computer Science in China
Architecting web services applications for improving availability
Architecting Dependable Systems III
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Higher dependability and security for mobile applications
SPC'06 Proceedings of the Third international conference on Security in Pervasive Computing
Dependable and Historic Computing
Achieving dependability in service-oriented systems
Dependable and Historic Computing
Development of Electronic Architectures for Safety-Related Functions
Software—Practice & Experience
Computer Languages
Research: Supporting fault-tolerant and open distributed processing using RPC
Computer Communications
DEX: Digital evidence provenance supporting reproducibility and comparison
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Reliability analysis of a simple replicated and-fork/and-join graph
Operations Research Letters
Microprocessors & Microsystems
A first step towards algorithm plagiarism detection
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Software diversity: security, entropy and game theory
HotSec'12 Proceedings of the 7th USENIX conference on Hot Topics in Security
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Babel: a secure computer is a polyglot
Proceedings of the 2012 ACM Workshop on Cloud computing security workshop
Analytical architecture-based performability evaluation of real-time software systems
Journal of Systems and Software
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
Journal of Electronic Testing: Theory and Applications
A Resource-Aware Dynamic Load-Balancing Parallelization Algorithm in a Farmer-Worker Environment
International Journal of Adaptive, Resilient and Autonomic Systems
A work-stealing scheduling framework supporting fault tolerance
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
A survey of checker architectures
ACM Computing Surveys (CSUR)
Journal of Network and Systems Management
Proceedings of the 2013 Research in Adaptive and Convergent Systems
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
Journal of Electronic Testing: Theory and Applications
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Building timing predictable embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
Toward predictable, efficient, system-level tolerance of transient faults
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
Hi-index | 0.01 |
Evolution of the N-version software approach to the tolerance of design faults is reviewed. Principal requirements for the implementation of N-version software are summarized and the DEDIX distributed supervisor and testbed for the execution of N-version software is described. Goals of current research are presented and some potential benefits of the N-version approach are identified.