Article

Free access

System structure for software fault tolerance

Author:

B. RandellAuthors Info & Claims

Proceedings of the international conference on Reliable software

Pages 437 - 449

https://doi.org/10.1145/800027.808467

Published: 01 April 1975 Publication History

PDF eReader

Abstract

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.

References

[1]

T.A. Anderson. Provably Safe Programs. Tech. Report, Computing Laboratory, University of Newcastle upon Tyne (in preparation).

Google Scholar

[2]

C.T. Davies. Recovery Semantics for a DB/DC System. Proc. 1973 ACM National Conference. ACM, New York (1973) pp.136-141.

Digital Library

Google Scholar

[3]

E.W. Dijkstra. The Structure of the 'THE'-Multiprogramming System. Comm. ACM 11, 5 (1968) pp. 341-346.

Digital Library

Google Scholar

[4]

C. Hewitt. PLANNER: A language for proving theorems in robots. Proc. Int. Joint Conf. on Artificial Intelligence. Mitre Corp., Bedford, Mass. (1969) pp.295-301.

Google Scholar

[5]

J.J. Horning, H.C. Lauer, P.M. Melliar-Smith and B. Randell. A Program Structure for Error Detection and Recovery. Proc. Conf. on Operating Systems: Theoretical and Practical Aspects, 23-25th April 1974. IRIA (1974) pp.177-193.

Digital Library

Google Scholar

[6]

H.C. Lauer. Protection and Hierarchical Addressing Structures. Proc, International Workshop on Protection in Operating Systems. IRIA (1974) pp.137-148.

Google Scholar

[7]

H.C. Lauer and D. Wyeth. A Recursive Virtual Machine Architecture. Tech. Report 54, Computing Laboratory, University of Newcastle upon Tyne (Sept. 1973).

Google Scholar

[8]

S.E. Madnick and J.W. Alsop II. A Modular Approach to File System Design, 1969 S.J.C.C., Vol. 34, AFIPS Conference Proceedings, AFIPS, Montvale, N.J. (1969) pp.1-13.

Google Scholar

[9]

D.L. Parnas. Response to Detected Errors in Well-Structured Programs. Technical Report, Department of Computer Science, Carnegie-Mellon University (July 1972).

Google Scholar

[10]

W.H. Pierce. Failure-Tolerant Computer Design. Academic Press, New York (1965).

Google Scholar

[11]

B. Randell. Highly Reliable Computing Systems. Tech. Report 20, Computing Laboratory, University of Newcastle upon Tyne (July 1971).

Google Scholar

[12]

B. Randell. Research on Computing System Reliability at the University of Newcastle upon Tyne, 1972/73. Tech. Report 57, Computing Laboratory, University of Newcastle upon Tyne (Jan. 1974).

Google Scholar

Cited By

View all

Perner CSchmitt CCarle G(2020)Dynamic Network Reconfiguration in Safety-Critical Aeronautical Systems2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)10.1109/DASC50938.2020.9256497(1-8)Online publication date: 11-Oct-2020
https://doi.org/10.1109/DASC50938.2020.9256497
Yao XWang CZhang M(2019)EC-Shuffle: Dynamic Erasure Coding Optimization for Efficient and Reliable Shuffle in Spark2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID)10.1109/CCGRID.2019.00014(41-51)Online publication date: May-2019
https://doi.org/10.1109/CCGRID.2019.00014
Koo HChen YLu LKemerlis VPolychronakis M(2018)Compiler-Assisted Code Randomization2018 IEEE Symposium on Security and Privacy (SP)10.1109/SP.2018.00029(461-477)Online publication date: May-2018
https://doi.org/10.1109/SP.2018.00029
Show More Cited By

Index Terms

System structure for software fault tolerance
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Error handling and recovery
  2. Software organization and properties
    1. Extra-functional properties
      1. Software fault tolerance

Recommendations

System structure for software fault tolerance
International Conference on Reliable Software

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 ...
System structure for software fault tolerance

This 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 ...
Verification for fault tolerance of the IBM system z microprocessor
DAC '10: Proceedings of the 47th Design Automation Conference

IBM System z processors are known for their industry leading Reliability, Availability and Serviceability (RAS). The hardware is designed to support a high resilience against errors and the ability to recover from errors maintaining a valid ...

Comments

Information & Contributors

Information

Published In

Proceedings of the international conference on Reliable software

April 1975

567 pages

ISBN:9781450373852

DOI:10.1145/800027

ACM SIGPLAN Notices Volume 10, Issue 6
International Conference on Reliable Software
June 1975
563 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/390016
Editors:
Martin L. Shooman,
Raymond T. Yeh
Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1975

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

217
Total Citations
View Citations
2,885
Total Downloads

Downloads (Last 12 months)230
Downloads (Last 6 weeks)34

Reflects downloads up to 17 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Perner CSchmitt CCarle G(2020)Dynamic Network Reconfiguration in Safety-Critical Aeronautical Systems2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)10.1109/DASC50938.2020.9256497(1-8)Online publication date: 11-Oct-2020
https://doi.org/10.1109/DASC50938.2020.9256497
Yao XWang CZhang M(2019)EC-Shuffle: Dynamic Erasure Coding Optimization for Efficient and Reliable Shuffle in Spark2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID)10.1109/CCGRID.2019.00014(41-51)Online publication date: May-2019
https://doi.org/10.1109/CCGRID.2019.00014
Koo HChen YLu LKemerlis VPolychronakis M(2018)Compiler-Assisted Code Randomization2018 IEEE Symposium on Security and Privacy (SP)10.1109/SP.2018.00029(461-477)Online publication date: May-2018
https://doi.org/10.1109/SP.2018.00029
da Silva Costa CPelinson Alchieri E(2018)Diversity on State Machine Replication2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)10.1109/AINA.2018.00071(429-436)Online publication date: May-2018
https://doi.org/10.1109/AINA.2018.00071
Siavvas MGelenbe EKehagias DTzovaras D(2018)Static Analysis-Based Approaches for�Secure Software DevelopmentSecurity in Computer and Information Sciences10.1007/978-3-319-95189-8_13(142-157)Online publication date: 14-Jul-2018
https://doi.org/10.1007/978-3-319-95189-8_13
HEO SLEE SJANG BYOON H(2017)Designing and Implementing a Diversity Policy for Intrusion-Tolerant SystemsIEICE Transactions on Information and Systems10.1587/transinf.2015EDP7478E100.D:1(118-129)Online publication date: 2017
https://doi.org/10.1587/transinf.2015EDP7478
Gorbenko ARomanovsky ATarasyuk OBiloborodov O(2017)Experience Report: Study of Vulnerabilities of Enterprise Operating Systems2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2017.20(205-215)Online publication date: Oct-2017
https://doi.org/10.1109/ISSRE.2017.20
Hanazumi Sde Melo A(2017)A Formal Approach to implement java exceptions in cooperative systemsJournal of Systems and Software10.1016/j.jss.2016.07.033131:C(475-490)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2016.07.033
Lundquist GMohan VHamlen KGates CB�hme REgelman SMannan M(2016)Searching for software diversityProceedings of the 2016 New Security Paradigms Workshop10.1145/3011883.3011891(80-91)Online publication date: 26-Sep-2016
https://dl.acm.org/doi/10.1145/3011883.3011891
Cui XZnati TMelhem R(2016)Adaptive and Power-Aware Resilience for Extreme-Scale Computing2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld)10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0111(671-679)Online publication date: Jul-2016
https://doi.org/10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0111
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

System structure for software fault tolerance

System structure for software fault tolerance

Verification for fault tolerance of the IBM system z microprocessor