Formal methods for the validation of fault tolerance in autonomous spacecraft

Proceedings - Annual International Conference on Fault-Tolerant Computing

Volumn , Issue , 1996, Pages 353-357

  Ayache, S ^a   Conquet, E ^a   Humbert, Ph ^a   Rodriguez, C ^a   Sifakis, J ^a   Gerlich, R ^a  

^a AIRBUS DEFENCE AND SPACE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SYSTEM RECOVERY; FAILURE ANALYSIS; FORMAL LANGUAGES; FORMAL LOGIC; MANAGEMENT INFORMATION SYSTEMS; MATHEMATICAL MODELS; SPACECRAFT EQUIPMENT;

DATA MANAGEMENT SYSTEM DESIGN VALIDATION (DDV); SPECIFICATION AND DESIGN LANGUAGE (SDL);

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0029703957     PISSN: 07313071     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)