Formal Approaches to Ensuring the Safety of Space Software

Ewen Denney

The size, complexity, and safety criticality of software in space missions is increasing exponentially. The consequence of these trends has been an increase in the likelihood of catastrophic failure due to a software bug. I will describe ongoing work in the Robust Software Engineering Group at the NASA Ames Research Center on the application of formal methods to ensure ultra-reliable space software. We have developed customized tools that exploit both classical verification and code generation techniques that are applicable at different stages of the software lifecycle. After giving a survey of the range of tools we have developed, I will concentrate on recent work on reliable code generation.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: