The role of embedded software in the last space accidents highlights the importance of
verification and validation techniques for the development of space embedded software. In …

Available data demonstrates that defective requirements are a dominant cause of cost and
schedule problem on aerospace programs. This work presents results obtained from a …

The analysis of real-time properties is crucial in safety critical areas, and is particularly
difficult for distributed systems as complex interferences between tasks of different priorities …

Este relatório apresenta os resultados da aplicação da metodologia de teste CoFI
(Conformance Test and Fault Injection)[1] para validação de um sistema de controle de uma …

Available data demonstrates that defective requirements are a dominant cause of cost and
schedule problem on aerospace programs. This work presents results obtained from a …

During the development of software intensive systems, typically several models of this
system are designed. These various models represent the system structured by different …

This work presents a new methodology for requirement refinement. It have been developed
focusing on space systems case studies, including software analysis, satellite operations …

Este trabalho discute problemas relacionados à especificação de requisitos, compara
soluções apresentadas por diferentes pesquisas e apresenta uma metodologia baseada …

In this paper we present a new approach to refine software requirements which may be
applied to precisely define satellite operation requirements. The analysis and refinement is …