Skip to search formSkip to main contentSkip to account menu
Data Diversity: An Approach to Software Fault Tolerance
TLDR
The regions of the input space that cause failure for certain experimental programs are discussed, and data reexpression, the way in which alternate input data sets can be obtained, is examined.
View via Publisher
An experimental evaluation of the assumption of independence in multiversion programming
TLDR
N-version programming has been proposed as a method of incorporating fault tolerance into software and it is revealed that the programs were individually extremely reliable but that the number of tests in which more than one program failed was substantially more than expected.
View on IEEE
Safety critical systems: challenges and directions
  • J. Knight
  • Computer Science
    Proceedings of the 24th International Conference…
  • 19 May 2002
TLDR
From a software perspective, developing safety-critical systems in the numbers required and with adequate dependability is going to require significant advances in areas such as specification, architecture, verification and the software process.
View on ACM
An improved inspection technique
Software reviews are not a new idea. They have been around almost as long as software has. One ofthe most natural ways to check if something is correct is to look at it. Babbage and von Neumann…
View on ACM
A New Approach to creating Clear Safety Arguments
We introduce assured safety arguments, a new structure for arguing safety in which the safety argument is accompanied by a confidence argument that documents the confidence in the structure and bases…
View via Publisher
Software Tamper Resistance: Obstructing Static Analysis of Programs
TLDR
A theoretical result is presented which shows that a precise analysis of the transformed program, in the general case, is NP-hard and the applicability of the techniques is demonstrated with empirical results.
Effectiveness of Moving Target Defenses
TLDR
This chapter argues that the actual benefits of the moving target approach are in fact often much less significant than one would expect, and presents a model for thinking about dynamic diversity defenses, analyze the security properties of a few example defenses and attacks, and identifies scenarios where moving target defenses are and are not effective.
View via Publisher
Towards a rigorous definition of information system survivability
TLDR
This paper presents the basis for a rigorous definition of survivability, a precise notion of what forms of degraded service are acceptable to users, under what circumstances each form is most useful, and the fraction of time such degraded service levels are acceptable.
View on IEEE
A security architecture for survivability mechanisms
TLDR
A novel framework to facilitate software security against malicious execution environments is presented and it is shown that analyzing the transformed programs statically is an NP-hard problem.
View via Publisher
A Taxonomy of Fallacies in System Safety Arguments
TLDR
A taxonomy of common fallacies in safety arguments is presented that is intended to assist safety professionals in avoiding and detecting fallacious reasoning in the arguments they develop and review and could support the analysis of system failures and promote the development of more robust safety case patterns.
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License