The certification covers the Safety Base profile, as well as the Security profile. Green Hills claims that INTEGRITY-178 tuMP RTOS is the first software component of any type to be certified conformant to edition 3.0.
Version 3.0 of the FACE Technical Standard addresses the use of multicore processors in safety-critical applications. The technical standard now requires any Operating System Segment (OSS) that claims support for multicore partitions to meet ARINC-653 Part 1 Supplement 4, including the requirement for multicore operation as defined in Section 2: “Multiple processes within a partition scheduled to execute concurrently on different processor cores.” In ARINC-653, each application is called a partition and has its own memory space.
INTEGRITY-178 tuMP supports all combinations of AMP, SMP, and BMP in a time-partitioned manner on a multicore processor. Certification authorities have included objectives for interference identification, mitigation, and verification in the CAST-32A position paper. INTEGRITY-178 tuMP includes both a fully capable multicore scheduler and support for bandwidth allocation and management of shared processor resource access. The supported bandwidth management technique emulates a high-rate hardware-based approach to ensure continuous allocation enforcement. These capabilities greatly lower integration and certification risk, while also enabling the management of significant software retest costs that would occur when a software application changes or is added. Without operating system features and support for bandwidth management of the shared multicore resources, such software changes would require analysis and retest of all other potential concurrent applications.