INTEGRITY – Reliable Operating system INTEGRITY-178B – A DO-178B certified version of INTEGRITY. µ-velOSity – A lightweight microkernel.
INTEGRITY Reliable Operating system INTEGRITY-178B DO-178B-sertifikoitu versio INTEGRITY:stä. µ-velOSity Kevyt mikroydin.