No abstract

Context. The protoMIRAX hard X-ray imaging telescope is a balloon-borne experiment developed as a pathfinder for the MIRAX satellite mission. The experiment consists essentially in a coded-aperture hard X-ray (30-200 keV) imager with a square array (13 × 13) of 2 mm-thick planar CZT detectors with a total area of 169 cm 2 . The total, fully-coded field-of-view is 21 • × 21 • and the angular resolution is 1 • 43 . Aims. The main objective of protoMIRAX is to carry out imaging spectroscopy of selected bright sources to demonstrate the performance of a prototype of the MIRAX hard X-ray imager. In this paper we describe the protoMIRAX instrument and all the subsystems of its balloon gondola, and we show simulated results of the instrument performance. Methods. Detailed background and imaging simulations were performed for protoMIRAX balloon flights. The 3σ sensitivity for the 30-200 keV range is ∼1.9 × 10 −5 photons cm −2 s −1 for an integration time of 8 h at an atmospheric depth of 2.7 g cm −2 and an average zenith angle of 30 • . We developed an attitude-control system for the balloon gondola and new data handling and ground systems that also include prototypes for the MIRAX satellite.Results. We present the results of Monte Carlo simulations of the camera response at balloon altitudes, showing the expected background level and the detailed sensitivity of protoMIRAX. We also present the results of imaging simulations of the Crab region. Conclusions. The results show that protoMIRAX is capable of making spectral and imaging observations of bright hard X-ray source fields. Furthermore, the balloon observations will carry out very important tests and demonstrations of MIRAX hardware and software in a near space environment.

Software for space applications requires significant testing. This paper presents an evaluation of the CoFI testing methodology as applied to actual space software, where deterministic fault cases derived from state-based models were executed using the software-implemented fault injection technique. Different models were used to represent the behavior of embedded software in a real satellite computer under the presence of both normal inputs and external faults in communication, processor, and memory. CoFI methodology was used for model construction, the Condado tool for test derivation, and the QSEE-TAS tool for test execution. In total, 8,620% of 471 fault cases detected errors in the software; this is a very large number, and more so considering that the software had already been tested by the company which developed it before being subject the CoFI methodology.

No abstract