“Microelectronics and software solutions for space, defence and aeronautics systems„
“Specialists in aerospace on-board data networks„
“25 years of experience in highly specialized, mission-critical industrial projects„
ISVV, Qualification Platform and Test Suite for the XtratuM hypervisor


TELETEL has just completed the Independent Software Verification & Validation (ISVV) activities for the XtratuM hypervisor, which is a Time and Space partitioning kernel for on-board software applications (SW criticality Cat. B). In addition, TELETEL designed and developed a generic validation platform and the relevant test suite for the qualification of XtratuM.

The ISVV and qualification activities were successfully performed in compliance with ECSS-E-ST-40C and ECSS-Q-ST-80C standards, using both TSIM for LEON3 (mono-core) and the GR712RC development board.

The Qualification Platform and Test Suite are built in a generic manner, able to support the independent validation of flight SW applications running on different Operating Systems hosted by XtratuM.

Building on a solid knowledge on the XtratuM hypervisor technology, TELETEL is offering development, verification and validation services in related flight software projects.