In light of the recent shift towards multi-core processor designs, dynamic power-
management techniques that were designed for single-core microprocessors must be …

Critical systems, such as space systems, are developed under strict requirements
envisaging high integrity in accordance to specific standards. For such software systems, an …

Techniques to classify defects have been used for decades, providing relevant information
on how to improve systems. Such techniques heavily rely on human experience and have …

Failures in critical embedded systems can lead to severe human, mission or economic
consequences. Besides the strict requirements of these systems there are still a high …

The main goal of this article is the verification of the system testing models for safety critical
systems. The proposal is focused on selection of appropriate metric for verification of these …

This chapter represents the definition of a defects assessment process and the results of the
application of this process to a space systems defects dataset. It presents an analysis on …

Abstract Space systems are developed using conservative technologies and processes and
respecting requirements and restrictions imposed by specific standards, domain policies …

The identification of the factors that condition a software programmer's productivity remains a
key challenge for both scholars and practitioners. While a number of studies have focused …