Comparing the robustness of POSIX operating systems
- 20 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 15, 30-37
- https://doi.org/10.1109/ftcs.1999.781031
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A theoretical investigation of generalized voters for redundant systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Software reliability measurements in N-Version software execution environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A comparison of voting algorithms for n-version programmingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Analysis of faults detected in a large-scale multi-version software development experimentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Comparing operating systems using robustness benchmarksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated robustness testing of off-the-shelf software componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1998
- Analysis of faults in an N-version software experimentIEEE Transactions on Software Engineering, 1990
- Reliability of voting in fault-tolerant software systems for small output-spacesIEEE Transactions on Reliability, 1990
- A reply to the criticisms of the Knight & Leveson experimentACM SIGSOFT Software Engineering Notes, 1990
- In search of effective diversity: a six-language study of fault-tolerant flight control softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1988