skip to main content
10.1145/1500412.1500454acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

Software reliability in real-time systems

Published: 04 May 1981 Publication History

Abstract

This paper investigates techniques to enhance the continuity of operations of the enroute air traffic control system. First the issues of software reliability and fault tolerance in realtime systems are discussed. Next, a list of problems associated with nonstop operations of flight dataprocessing (FDP) subsystem of the enroute air traffic control system are assumed, based on limited knowledge of the system; and possible solutions are suggested and analyzed. Implementation issues of recovery block scheme such as architecture, design of alternates and acceptance tests, and cost vs. reliability are studied. Four architectures of recovery block scheme are analyzed, and results of a simulation study using flight data processing subsystem as a test case are discussed.

References

[1]
Bhargava, B., H. Chuang, C. Hua, L. Lilien, and T. Altman. "Software and Processing Structures with Performance Requirements of Enroute Air Traffic Control System." Interim report to the Department of Transportation, Department of Computer Science, University of Pittsburgh, December 1979.
[2]
Bhargava, Bharat, and Cecil Hua. "Cost Analysis of Recovery Block Scheme and Selection Criterion for Alternates." Technical Report, April 1980.
[3]
Bhargava, Bharat, and Leszek Lilien. "On Optimal Placement of Integrity Assertions in a Transaction Processing System." Technical Report, January 1980.
[4]
Bhargava, Bharat. "An Optimistic Concurrency Control Algorithm and Its Performance Evaluation Against Locking Approach." Paper presented at International Computer Symposium, Taipei, December 1980.
[5]
Gray, J., P. McJones, M. Blasgen, et al., "The Recovery Manager of a Data Management System." IBM Technical Report RJ 2623.
[6]
Gray, J. N., "Notes on Database Operating Systems." In Operating Systems: An Advanced Course. Berlin: Springer Verlag, Heidelberg 1978.
[7]
Lee, P. A., et al. "A Recovery Cache for the PDP-11." IEEE Transactions on Computers, 1980, pp. 546--549.
[8]
Ramamoorthy, C. V., et al., "A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants." Paper presented at 4th International Conference on Software Engineering, September 17--19, 1979.
[9]
Randell, B. "System Structure for Software Fault Tolerance." IEEE Transactions, Software Engineering, SE-1,2 (1975), pp. 220--232.
[10]
Randell, B., P. A. Lee, and P. C. Treveaven. "Reliability Issues in Computing System Design." Computing Surveys (1978), pp. 123--166.
[11]
Verhofstad, J. S. M. "Recovery Techniques for Database Systems." ACM Computing Surveys (1978), pp. 167--196.
[12]
"Design Specifications---Application Subsystem." U.S. Dept. of Transportation, NASP-5105, Vol. 2.
[13]
"Subsystem Design Data: Flight Data Processing." U.S. Dept. of Transportation, NAS Enroute State A (Model A3d2.8), NASP-5154-11, April 1979.
[14]
Zellweger, Andres. "Productivity and Safety of the Control Process." Proceedings of the Consultative Planning Conference, U.S. Department of Transportation, March 1978.

Cited By

View all
  • (2018)Reliability Modeling and Analysis for Deadline-Constrained Grid Service2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)10.1109/WAINA.2018.00066(75-81)Online publication date: May-2018
  • (1992)A New Approach to the Modeling of Recovery Block StructuresIEEE Transactions on Software Engineering10.1109/32.12175718:2(159-167)Online publication date: 1-Feb-1992
  • (1990)On the modelling and testing of recovery block structures[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium10.1109/FTCS.1990.89389(356-363)Online publication date: 1990
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AFIPS '81: Proceedings of the May 4-7, 1981, national computer conference
May 1981
736 pages
ISBN:9781450379212
DOI:10.1145/1500412
Permission to make digital or hard copies of all or part 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 components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • AFIPS: American Federation of Information Processing Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 May 1981

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)72
  • Downloads (Last 6 weeks)10
Reflects downloads up to 13 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2018)Reliability Modeling and Analysis for Deadline-Constrained Grid Service2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA)10.1109/WAINA.2018.00066(75-81)Online publication date: May-2018
  • (1992)A New Approach to the Modeling of Recovery Block StructuresIEEE Transactions on Software Engineering10.1109/32.12175718:2(159-167)Online publication date: 1-Feb-1992
  • (1990)On the modelling and testing of recovery block structures[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium10.1109/FTCS.1990.89389(356-363)Online publication date: 1990
  • (1988)Software Complexity and its Impact on Software ReliabilityIEEE Transactions on Software Engineering10.1109/32.905214:11(1645-1655)Online publication date: 1-Nov-1988
  • (1984)A Scheme for Batch Verification of Integrity Assertions in a Database SystemIEEE Transactions on Software Engineering10.1109/TSE.1984.501029510:6(664-680)Online publication date: 1-Nov-1984
  • (1984)Reliability and failure analyses of computing systemsComputers & Electrical Engineering10.1016/0045-7906(84)90008-911:2-3(151-157)Online publication date: Jan-1984
  • (1983)THE IMPACT OF SOFTWARE FAULT TOLERANT TECHNIQUES ON SOFTWARE COMPLEXITY IN REAL TIME SYSTEMSSafety of Computer Control Systems 1983 (Safecomp '83)10.1016/B978-0-08-030563-9.50014-7(67-73)Online publication date: 1983
  • (1981)Cost analysis of recovery block scheme and its implementation issuesInternational Journal of Computer & Information Sciences10.1007/BF0099613510:6(359-382)Online publication date: Dec-1981
  • (1981)On optimal scheduling of integrity assertions in a transaction processing systemInternational Journal of Computer & Information Sciences10.1007/BF0099315010:5(315-330)Online publication date: Oct-1981

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media