Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Vienna

9783709191255, 9783709191231

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Fault Behavior Model for an Avionic Microprocessor: A Case Study

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_8 ◽

1991 ◽

pp. 177-195 ◽

Author(s):

Gwan S. Choi ◽

Ravi K. Iyer ◽

Resve Saleh ◽

Victor Carreno

Keyword(s):

Behavior Model ◽

Download Full-text

Integration Problems in Fault-Tolerant, Secure Computer Design

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_16 ◽

1991 ◽

pp. 347-364 ◽

Author(s):

Mark K. Joseph

Keyword(s):

Fault Tolerant ◽

Computer Design ◽

Integration Problems

Download Full-text

A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_12 ◽

1991 ◽

pp. 257-282 ◽

Author(s):

Behrooz Parhami

Keyword(s):

Data Driven ◽

Design Diversity ◽

Dependability Assurance ◽

Assurance Scheme

Download Full-text

Dependability of Digital Computers on Board Airplanes

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_6 ◽

1991 ◽

pp. 133-152 ◽

Author(s):

Pascal Traverse

Keyword(s):

Digital Computers

Download Full-text

Longlife Dependable Computers for Spacecrafts

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_7 ◽

1991 ◽

pp. 153-173

Author(s):

Tadashi Takano ◽

Takahiro Yamada ◽

Hatsuhiko Kato ◽

Toshiyuki Tanaka ◽

Hirokazu Ihara ◽

...

Download Full-text

Recovery Block Reliability Analysis with Failure Clustering

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_4 ◽

1991 ◽

pp. 75-103 ◽

Author(s):

Attila Csenki

Keyword(s):

Reliability Analysis ◽

Download Full-text

Error Masking: A Source of Failure Dependency in Multi-Version Programs

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_3 ◽

1991 ◽

pp. 53-73 ◽

Author(s):

P. G. Bishop ◽

F. D. Pullen

Keyword(s):

Download Full-text

Software Validation by Means of Statistical Testing: Retrospect and Future Direction

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_2 ◽

1991 ◽

pp. 23-50 ◽

Author(s):

Pascale Thévenod-Fosse

Keyword(s):

Statistical Testing ◽

Software Validation ◽

Future Direction

Download Full-text

Resynchronization Interfaces: Sources of Metastability Errors in Computing Systems

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_14 ◽

1991 ◽

pp. 301-320

Author(s):

D. Del Corso ◽

F. Maddaleno ◽

M. Minichino ◽

E. Pasero

Keyword(s):

Computing Systems

Download Full-text

Successive Operational Periods as Measures of Dependability

Dependable Computing for Critical Applications - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-9123-1_11 ◽

1991 ◽

pp. 239-254 ◽

Author(s):

Gerardo Rubino ◽

Bruno Sericola

Download Full-text