Verificação e validação de sistemas de missão crítica

Resumo

A necessidade de especificações melhores e abordagens de verificação mais apropriadas para sistemas de software de missão crítica têm crescido exponencialmente nos últimos anos. Os sistemas desenvolvidos pela indústria e pelo governo crescem em tamanho e complexidade, exigindo que o desenvolvedor e o cliente tenham completa segurança de que o projeto do produto está correto e que ele atende padrões de desenvolvimento e verificação formais. Esta necessidade é intensificada quando se trata de sistemas espaciais. Este trabalho se propõe a aplicar uma abordagem inédita de Verificação e Validação (V&V) baseada em statecharts assertions e concolic testing em projetos reais da área espacial, em conjunto com a Naval Postgraduate School - NPS, NASA Independent Verification and Validation Facility (NASA IV&V) e NASA Ames Research Center. Ambas as técnicas mencionadas serão avaliadas e uma abordagem híbrida de V&V será desenvolvida, empregando o melhor de ambas as técnicas e eliminando, na medida do possível, as limitações de ambas. Os resultados deste trabalho têm aplicação direta nos projetos do programa de veículos lançadores desenvolvidos no Instituto de Aeronáutica e Espaço - IAE. (AU)