On the design and implementation of a dependable space instrument | IEEE Conference Publication | IEEE Xplore