News
Research, tooling, incidents, infrastructure shifts, and production lessons. Kept technical so the page stays useful.
AdaCore and Ferrous Systems have jointly published a qualification kit for Rust targeting DO-178C DAL A. The kit covers tool qualification for the rustc compiler and provides a formal safety manual, making Rust a viable option for the highest-criticality airborne software.
MISRA C:2025 introduces 12 new rules targeting modern C language features, retires 8 obsolete rules, and for the first time provides formal guidance on use of C11 and C17 features in safety-critical embedded development.
As electric aviation moves from demonstrators to certified aircraft, BMS architecture is emerging as a critical systems engineering challenge. This analysis covers fault detection, isolation, and recovery architecture for DO-311A compliant lithium battery systems.
The pre-certified FreeRTOS Safety Tier now holds IEC 61508 SIL 3 and ISO 26262 ASIL D certification, substantially reducing the qualification burden for embedded teams building safety-critical applications on real-time Linux alternatives.
Using Linux in safety-critical industrial control systems requires navigating the intersection of IEC 62443 (industrial cybersecurity) and IEC 61508 (functional safety). This technical guide addresses RTOS vs. Linux architectural decisions, partitioning strategies, and the certification path.