Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/11506676_3 ◽

2005 ◽

pp. 36-52 ◽

Author(s):

Sandeep S. Kulkarni ◽

Borzoo Bonakdarpour ◽

Ali Ebnenasir

Keyword(s):

Fault Tolerant ◽

Automatic Synthesis ◽

Mechanical Verification

Download Full-text

Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-55092-5_12 ◽

1992 ◽

pp. 217-236 ◽

Author(s):

Natarajan Shankar

Keyword(s):

Fault Tolerant ◽

Clock Synchronization ◽

Mechanical Verification ◽

Byzantine Fault

Download Full-text

Automatic synthesis and fault-tolerant experiments on an evolvable hardware platform

2000 IEEE Aerospace Conference. Proceedings (Cat. No.00TH8484) ◽

10.1109/aero.2000.878522 ◽

2002 ◽

Author(s):

A. Stocia ◽

D. Keymeulen ◽

V. Duong ◽

C. Salazar-Lazaro

Keyword(s):

Fault Tolerant ◽

Evolvable Hardware ◽

Hardware Platform ◽

Automatic Synthesis

Download Full-text

A case-study in component-based mechanical verification of fault-tolerant programs

Proceedings 19th IEEE International Conference on Distributed Computing Systems ◽

10.1109/slfstb.1999.777484 ◽

2003 ◽

Author(s):

S.S. Kulkarni ◽

J. Rushby ◽

N. Shankar

Keyword(s):

Fault Tolerant ◽

Mechanical Verification

Download Full-text

Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System

IEEE Transactions on Computers ◽

10.1109/tc.1982.1676059 ◽

1982 ◽

Vol C-31 (7) ◽

pp. 616-630 ◽

Author(s):

Melliar-Smith ◽

Schwartz

Keyword(s):

Control System ◽

Flight Control ◽

Formal Specification ◽

Fault Tolerant ◽

Flight Control System ◽

Mechanical Verification

Download Full-text

Fault tolerant isolation between devices powered by separate power sources

Journal of Power Sources ◽

10.1016/s0378-7753(97)84068-2 ◽

1998 ◽

Vol 70 (1) ◽

pp. 151

Author(s):

F Khosrowpour

Keyword(s):

Fault Tolerant ◽

Download Full-text

Fault-tolerant transputer-based controller configurations for gas-turbine engines

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1990.0031 ◽

1990 ◽

Vol 137 (4) ◽

pp. 253 ◽

Author(s):

H.A. Thompson ◽

P.J. Fleming

Keyword(s):

Gas Turbine ◽

Fault Tolerant ◽

Turbine Engines ◽

Gas Turbine Engines

Download Full-text

Redundancy design for a fault tolerant systolic array

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1990.0027 ◽

1990 ◽

Vol 137 (3) ◽

pp. 218 ◽

Author(s):

J.-J. Wang ◽

C.-W. Jen

Keyword(s):

Systolic Array ◽

Fault Tolerant ◽

Redundancy Design

Download Full-text

Fault-tolerant loops for distributed measurement systems

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1989.0066 ◽

1989 ◽

Vol 136 (6) ◽

pp. 485

Author(s):

C. Gater ◽

R.D.L. Mackie ◽

J.R. Jordan

Keyword(s):

Fault Tolerant ◽

Measurement Systems ◽

Distributed Measurement Systems ◽

Distributed Measurement

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Download Full-text

Editorial: special issue on fault tolerant computing

Software & Microsystems ◽

10.1049/sm.1985.0014 ◽

1985 ◽

Vol 4 (3) ◽

pp. 49

Keyword(s):

Fault Tolerant ◽

Special Issue ◽

Editorial Special Issue

Download Full-text