Design of a reliable processing system for satellite data by Francesco Lazzarotto