INTECS has consolidated experience in the development of On-Board Satellite Software, by participating to the realization of several programmes such as XMM, ROSETTA, ENVISAT and MARS EXPRESS. Moreover, INTECS brings into the Space Programmes its own know-how in Software Engineering, Operating Systems, Hard Real Time (HRT) design and analysis methodologies based on HRT-UML, ADA and HOOD.
Common characteristic of all those activities is the high level of criticality necessitating the adoption of techniques able to guarantee deterministic system behaviour (HRT, MIL-STD-1553B bus, etc).
These systems are developed according to the ECSS Space Programme Standards.
ROSETTA and MARS EXPRESS