Formally Verified RTOS for Aerospace to Debut
Redkill Technologies is sponsoring the Embedded Safety & Security Summit 2026, where it will debut its new Formally Verified Real-Time Operating System (RTOS). The RTOS is designed for defense, aerospace, and other safety-critical applications. Formal verification provides mathematical proof that a system's design meets its specifications, a key attribute for high-assurance software.
- Redkill Technologies, a startup pre-incubated at SINE, IIT Bombay, has demonstrated its formally verified RTOS on multiple architectures including ARMv8, SPARCv8, and both 32-bit and 64-bit RISC-V platforms. - The Embedded Safety & Security Summit 2026 is organized by LDRA, a TASKING company, and is expected to bring together over 700 embedded professionals and 20 international speakers across three cities in India. - Formal verification is recognized within the DO-178C avionics software standard as a potential replacement for certain traditional testing activities, an approach that has been successfully applied by companies like Airbus and Dassault-Aviation. - The new RTOS will compete in a market of established safety-critical operating systems such as Wind River's VxWorks, Green Hills Software's INTEGRITY, BlackBerry's QNX, and DDC-I's Deos. - The introduction of a certifiable RTOS aligns with a major industry trend where platforms are increasingly selected based on their ability to simplify compliance with functional safety standards like DO-178C for aerospace and ISO 26262 for automotive. - The global market for real-time operating systems was valued at USD 7 billion in 2023 and is projected to grow at a compound annual growth rate of 7.8% through 2032, driven by increasing automation and IoT in the aerospace and automotive sectors.
