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.
- W Keister et al No. 1 electronic switching system Bell System Tech Journal Vol 43 No 5 parts 1 and 2 Sept 1964Google Scholar
- R H Wilcox W C Mann editors Redundancy techniques for computing systems Spartan Books 1962Google Scholar
- W H Pierce Failure-tolerant computer design Academic Press 1965Google Scholar
- R E Barlow F Proschan Mathematical theory of reliability John Wiley and Sons Inc 1965Google Scholar
- 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 Scholar
- C V Ramamoorthy A structural theory of machine diagnosis Proc SJCC Vol 30 April 1967 743--756 Google ScholarDigital Library
- R E Staehler No. 1 ESS service experiences---Hardware IEE Conf on Switching Techniques for Telecommunication Networks April 1969 463--466Google Scholar
- A D Friedman Fault detection in redundant circuits IEEE Trans on Electronic Computers Vol 16 No 1 Feb 1967 99--100Google ScholarCross Ref
- 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 ScholarCross Ref
- J P Roth Diagnosis of automata failures: A calculuc and a method IBM Journal of Research and Development Vol 10 1966 278--291Google Scholar
- 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 Scholar
- W Workman Failure modes of integrated circuits and their relationship to reliability Microelectronics and Reliability Vol 7 1968 257--264Google Scholar
- 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 Scholar
- R D Eldred Test routines based on symbolic logic statements Journal of ACM Vol 6 No 1 1969 33--36 Google ScholarDigital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- E G Manning H Y Chang Functional techniques for efficient digital fault simulation Digest of IEEE Internat Conv March 1968 194Google Scholar
- S Seshu D N Freeman The diagnosis of asynchronous sequential switching systems IRE Trans on EC Vol 11 No 4 Aug 1962 459--465Google Scholar
- S Seshu On an improved diagnosis program IEEE Trans on EC Vol 14 No 1 1965 76--79Google Scholar
- S Seshu The logic organizer and diagnosis programs Rpt R-226 Coordinated Science Lab Univ of Ill 1964 (AD605627).Google Scholar
- R A Johnson An information theory approach to diagnosis Proc 6th Nat Symposium on Reliability and Quality Control 1960 102--109Google Scholar
- H Y Chang An algorithm for selecting an optium set of diagnostic tests IEEE Trans on EC Vol 14 No 5 1965 706--711Google Scholar
- H Y Chang A distinguishability criterion for selecting efficient diagnostic tests Proc SJCC Vol 32 1968 529--534 Google ScholarDigital Library
- F J Hackl R W Shirk An integrated approach to automated computer maintenance Conf Record on Switching Theory and Logical Design 1965 289--302Google Scholar
- 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 ScholarCross Ref
- Design principles for processor maintainability in real-time systems
Recommendations
Traffic shaping in real-time distributed systems: a low-complexity approach
In real-time systems, one generally identifies two types of timing requirements, hard and soft constraints. In this study, it is assumed that the Hard Real-Time traffic (HRT) is periodic with deadlines that must be guaranteed, while the Soft Real-Time ...
Roll-forward error recovery in embedded real-time systems
ICPADS '96: Proceedings of the 1996 International Conference on Parallel and Distributed SystemsRoll-forward checkpointing schemes are developed in order to avoid rollback in the presence of independent faults and to increase the possibility that a task completes within a tight deadline. However, despite of the adoption of roll-forward recovery, ...
Comments