A EMSISTI teve a oportunidade de conhecer o jornalista Duda Falcão em sua visita à São José dos Campos. Em sua breve passagem pelo LABSIM – Laboratório de Simulação da Divisão de Mecânica Espacial e Controle do Instituto Nacional de Pesquisas Espaciais, apresentamos juntamente com os gerentes do Programa NanosatC-BR, Desenvolvimeto de Cubesats os modelos de engenharia dos nanossatélites das missões NanosatC-BR1 e NanosatC-BR2.

Consulte o relato de visita do Blog Brazilian Space, clique aqui
 

A Fundação de Ciência, Aplicações e Tecnologia Espaciais – FUNCATE, em seu anual de Atividade 2012, seção Engenharia e Tecnologia descreve a continuidade do 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 2012.

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 aMelhoria da Qualidade de Requisitos Baseada em Modelos de Estados, Dissertação de Mestrado, Instituto Nacional de Pesquisas Espaciais- INPE, fevereiro de 2011.

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.