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

• Processo: 10/08173-3
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de setembro de 2010
• Data de Término da vigência: 31 de agosto de 2011
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Miriam Celia Bergue Alves
• Beneficiário: Miriam Celia Bergue Alves
• Pesquisador Anfitrião: Doron Drusinsky
• Instituição Sede: Instituto de Aeronáutica e Espaço (IAE). Departamento de Ciência e Tecnologia Aeroespacial (DCTA). Ministério da Defesa (Brasil). São José dos Campos , SP, Brasil
• Instituição Anfitriã: Naval Postgraduate School (NPS), Estados Unidos
• Assunto(s): Engenharia de software Sistemas subcríticos Sistemas complexos Validação
• Palavra(s)-Chave do Pesquisador: Concolic tests | model checking | sistemas críticos | Statecharts assertions | validação | verificação | Engenharia de Software- Sistemas de tempo real

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)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

BERGUE ALVES, MIRIAM C.; DRUSINSKY, DORON; MICHAEL, JAMES BRET; SHING, MAN-TAK. End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE SYSTEMS JOURNAL, v. 7, n. 4, p. 632-641, DEC 2013. (10/08173-3)