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.