ARCHITECTURAL PRINCIPLES FOR SAFETY-CRITICAL REAL-TIME APPLICATIONS

被引:122
作者
LALA, JH
HARPER, RE
机构
[1] Advanced Computer Architectures Group, The Charles Stark Draper Laboratory, Cambridge, MA 02139
基金
美国国家航空航天局;
关键词
D O I
10.1109/5.259424
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
This paper addresses the general area of computer architectures for safety-critical real-time applications. The maximum acceptable probability of failure for these applications ranges from about 10(-4) to 10(-10) per hour depending on whether it is a military or civil application. Typical examples include commercial and military aircraft-fly-by-wire, full authority engine control, satellite and launch vehicle control, ground transport vehicles, etc. Real-time response requirements for these applications are also very demanding, with correct central inputs required every 10 to 100 ms, depending on the application. These dual goals of ultrahigh reliability and real-time response necessitate computer systems that are quite different from other dependable systems in their architecture, design and development methodology, validation and verification, and operational philosophy. This paper highlights these differences by describing each of these aspects of safety-critical systems. Architectural principles and techniques to address these unique requirements are described.
引用
收藏
页码:25 / 40
页数:16
相关论文
共 33 条
[1]  
AVRESKY D, 1992, 22ND INT S FAULT TOL
[2]  
BELCHER G, 1992, OCT NATO ADV GROUP A
[3]   RELIABILITY MODELING FOR FAULT-TOLERANT COMPUTERS [J].
BOURICIUS, WG ;
CARTER, WC ;
JESSEP, DC ;
SCHNEIDER, PR ;
WADIA, AB .
IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (11) :1306-+
[4]  
DAVIS G, 1987, NASA100007 TECH MEM
[5]  
DIVITO BL, 1992, 3RD INT C DEP COMP C
[6]   THE BYZANTINE GENERALS STRIKE AGAIN [J].
DOLEV, D .
JOURNAL OF ALGORITHMS, 1982, 3 (01) :14-30
[7]  
DOLEV D, 1984, IBM RJ429246990 RES
[8]  
DRAPER CS, 1966, NATO105 ADV GROUP AE
[9]   A LOWER BOUND FOR THE TIME TO ASSURE INTERACTIVE CONSISTENCY [J].
FISCHER, MJ ;
LYNCH, NA .
INFORMATION PROCESSING LETTERS, 1982, 14 (04) :183-186
[10]  
HANAWAY JF, 1989, NASA SP504