A Fundação de Ciência, Aplicações e Tecnologia Espaciais – FUNCATE, em seu anual de Atividade 2011, seção Engenharia e Tecnologia descreve o projeto em parceria com a FIAT para avaliação da metodologia COFI (Conformante and Fault Insection) para verificação de software embarcado automotivo.
A EMSISTI colaborou com o projeto em funções específicas do software embarcado. Acesse o relatório abaixo e confira.
Fonte: FUNCATE, Relatório de Atividades 2011.
Mais referências:
- An Experience on Techonology Transfer of CoFI Methodology to Automotive Domain, Latin-American Symposium on Dependable Computing 2013.
- COFI: Uma Abordagem Combinando Teste de Conformidade e Injeção de Falhas para Validação de Software em Aplicações Espaciais, Tese de Doutorado, Instituto Nacional de Pesquisas espaciais – INPE, Julho de 2005.
- CoFI_ref: Uma Abordagem para a Melhoria da Qualidade de Requisitos Baseada em Modelos de Estados, Dissertação de Mestrado, Instituto Nacional de Pesquisas Espaciais- INPE, fevereiro de 2011.
