Accelerating Safe Innovation in Aerospace and Defense with PikeOS and NXP i.MX 95

As aerospace and defense applications evolve toward smarter, more connected systems, engineers are under pressure to deliver rapid innovation while maintaining the highest standards of safety, security, and certification. Achieving this balance is no small feat—especially when developing mixed-criticality systems that integrate both mission-critical and general-purpose software on a single hardware platform.

A Collaboration built for Safety and Speed

In their joint webinar, Toradex and SYSGO unveiled how their collaboration brings together Toradex’s NXP i.MX 95-based system-on-modules (SoMs) and SYSGO’s PikeOS real-time operating system to address these challenges head-on. The result: A streamlined pathway for developers building avionics and defense systems that demand both rapid iteration and certifiable safety.

Mixed-Criticality made practical

At the heart of the solution is PikeOS, a certified RTOS and Type-1 hypervisor with a separation kernel that allows multiple partitions to run safely in isolation. Developers can run safety-critical applications alongside Linux-based environments, enabling quick prototyping and seamless migration to certified systems—all without hardware changes.

With PikeOS achieving certifications up to DO-178C DAL A and Common Criteria EAL 5+, developers gain a foundation built for compliance. Combined with the i.MX 95’s heterogeneous architecture this approach ensures determinism, safety, and flexibility across mission and control domains.

Hardware designed for demanding Environments

Toradex’s i.MX 95 modules are engineered for aerospace and defense use cases, featuring extended temperature ranges, long-term support, and built-in security enclaves for secure boot and cryptography. Whether in flight computers, mission systems, or tactical communications, these modules reduce SWaP (size, weight, and power) while maintaining the robustness required for certification and deployment.

From Prototype to certified Deployment

By supporting both Linux-based development and PikeOS-certified runtime, Toradex and SYSGO enable a “develop fast, certify smart” workflow. Developer teams can prototype with Linux, validate performance, and then lock down critical functions for certification—all on the same hardware.

Conclusion

This collaboration marks a significant step toward more agile yet secure avionics and defense development. As certification demands grow more complex, solutions like Toradex and SYSGO’s integrated ecosystem empower engineers to innovate confidently—without sacrificing safety, security, or compliance.