Architecture and language support for fault-tolerance in complex real-time systems

Author

Ganesh, A.K. ; Marlowe, T.J. ; Stoyenko, A.D. ; Younis, M.F. ; Salinas, J.

Author_Institution

Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA

fYear

1996

fDate

21-25 Oct 1996

Firstpage

314

Lastpage

322

Abstract

The overhead of the general checkpointing approach is infeasible for distributed real-time systems where timing is critical. We present a new compiler based approach which classifies data, and minimizes the data needed for checkpointing using static data flow analysis and language support. Our approach provides static guarantees of timeliness while checkpointing, and explores timely recovery for real-time systems. We outline our approach and discuss the necessary architecture and language support needed to make this feasible

Keywords

data flow analysis; parallel architectures; parallel languages; program compilers; program diagnostics; real-time systems; software fault tolerance; system recovery; architecture support; checkpointing; compiler; complex real-time systems; data classification; distributed real-time systems; fault-tolerance; language support; static data flow analysis; static guarantees; systems recovery; timeliness; timing; Certification; Checkpointing; Computer architecture; Computer errors; Distributed computing; Fault tolerant systems; Laboratories; Military computing; Real time systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on

Conference_Location

Montreal, Que.

Print_ISBN

0-8186-7614-0

Type

conf

DOI

10.1109/ICECCS.1996.558431

Filename

558431