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

Design principles for processor maintainability in real-time systems

Published:18 November 1969Publication History

ABSTRACT

With the arrival of large real-time, time-shared systems, the requirement of system reliability has become even more demanding. The result of even a momentary system misbehavior could be catastrophic, since any disruption of service is experienced by all the users on-line at that time. Thus for real-time systems such as telephone switching systems, airline reservation systems, on-line teaching machine, etc., where numerous users are served, and critical real-time systems such as command and control, a high degree of system dependability and maintainability must be realized.

References

  1. W Keister et al No. 1 electronic switching system Bell System Tech Journal Vol 43 No 5 parts 1 and 2 Sept 1964Google ScholarGoogle Scholar
  2. R H Wilcox W C Mann editors Redundancy techniques for computing systems Spartan Books 1962Google ScholarGoogle Scholar
  3. W H Pierce Failure-tolerant computer design Academic Press 1965Google ScholarGoogle Scholar
  4. R E Barlow F Proschan Mathematical theory of reliability John Wiley and Sons Inc 1965Google ScholarGoogle Scholar
  5. H Y Chang W Thomis Methods of interpreting diagnostic data for locating faults in digital machines Bell System Tech Journal Vol 46 No 2 Feb 1967 289--317Google ScholarGoogle Scholar
  6. C V Ramamoorthy A structural theory of machine diagnosis Proc SJCC Vol 30 April 1967 743--756 Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. R E Staehler No. 1 ESS service experiences---Hardware IEE Conf on Switching Techniques for Telecommunication Networks April 1969 463--466Google ScholarGoogle Scholar
  8. A D Friedman Fault detection in redundant circuits IEEE Trans on Electronic Computers Vol 16 No 1 Feb 1967 99--100Google ScholarGoogle ScholarCross RefCross Ref
  9. D B Armstrong On finding a nearly minimal set of fault detection tests for combinational logic nets IEEE Trans on Electronic Computers Vol 15 No 1 Feb 1966 66--73Google ScholarGoogle ScholarCross RefCross Ref
  10. J P Roth Diagnosis of automata failures: A calculuc and a method IBM Journal of Research and Development Vol 10 1966 278--291Google ScholarGoogle Scholar
  11. J P Roth W G Bouricius P R Schneider Programmed algorithms to compute tests to detect and distinguish between failures in logic circuits IEEE Trans on Electronic Computers Vol 16 No 5 1967 567--579Google ScholarGoogle Scholar
  12. W Workman Failure modes of integrated circuits and their relationship to reliability Microelectronics and Reliability Vol 7 1968 257--264Google ScholarGoogle Scholar
  13. J B Kruskal E Hart A geometric interpretation of diagnostic data from a digital machine Bell System Tech Journal Vol 45 Oct 1966 1299--1338 Based on a Study of the Morris, Ill Electronic Central OfficeGoogle ScholarGoogle Scholar
  14. R D Eldred Test routines based on symbolic logic statements Journal of ACM Vol 6 No 1 1969 33--36 Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. J F Poage Derivation of optimal tests to detect faults in combinational circuits Math Theory of Automata Polytechnic Press 1963 Brooklyn N Y 483--528Google ScholarGoogle Scholar
  16. E G Manning H Y Chang A comparison of fault simulation methods for digital systems Digest of the First Annual IEEE Computer Conf 1967 10--13Google ScholarGoogle Scholar
  17. E R Jones C H Mays Automatic test generation methods for large scale integrated logic IEEE Journal of Solid State Circuits Vol 2 Dec 1967 221Google ScholarGoogle Scholar
  18. E G Manning H Y Chang Functional techniques for efficient digital fault simulation Digest of IEEE Internat Conv March 1968 194Google ScholarGoogle Scholar
  19. S Seshu D N Freeman The diagnosis of asynchronous sequential switching systems IRE Trans on EC Vol 11 No 4 Aug 1962 459--465Google ScholarGoogle Scholar
  20. S Seshu On an improved diagnosis program IEEE Trans on EC Vol 14 No 1 1965 76--79Google ScholarGoogle Scholar
  21. S Seshu The logic organizer and diagnosis programs Rpt R-226 Coordinated Science Lab Univ of Ill 1964 (AD605627).Google ScholarGoogle Scholar
  22. R A Johnson An information theory approach to diagnosis Proc 6th Nat Symposium on Reliability and Quality Control 1960 102--109Google ScholarGoogle Scholar
  23. H Y Chang An algorithm for selecting an optium set of diagnostic tests IEEE Trans on EC Vol 14 No 5 1965 706--711Google ScholarGoogle Scholar
  24. H Y Chang A distinguishability criterion for selecting efficient diagnostic tests Proc SJCC Vol 32 1968 529--534 Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. F J Hackl R W Shirk An integrated approach to automated computer maintenance Conf Record on Switching Theory and Logical Design 1965 289--302Google ScholarGoogle Scholar
  26. H Y Chang Figures of merit for the diagnostics of a digital system IEEE Trans on Reliability Vol 17 No 3 Sept 1968 147--153Google ScholarGoogle ScholarCross RefCross Ref
  1. Design principles for processor maintainability in real-time systems

        Recommendations

        Comments

        Login options

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

        Sign in
        • Published in

          cover image ACM Other conferences
          AFIPS '69 (Fall): Proceedings of the November 18-20, 1969, fall joint computer conference
          November 1969
          834 pages
          ISBN:9781450379069
          DOI:10.1145/1478559

          Copyright © 1969 ACM

          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]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 18 November 1969

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • research-article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader