This paper first gives an introduction to the broad features of the Darwin mission of ESA and then describes in some detail the data processing that is necessary to detect planets and spectrally characterize them. The proposed data processing method is validated by means of simulated data. in Astronomy with High Contrast Imaging III, EAS Publications Series, EDP Sciences, Les Ulis, France, 2006.

Model-checking enables the automated formal verification of software systems through the explicit enumeration of all the reachable states. While this technique has been successfully applied to industrial systems, it suffers from the state-space explosion problem due to the exponential growth in the number of states with respect to the number of interacting components. In this paper, we present ...

Software in critical civilian and military aerospace applications, including avionics and other systems in which quality and reliability are imperative, continues to become both more common and more complex. The embedded software development organizations that build these systems must meet stringent quality objectives that are mandated by their organizations or required by customers or governme...