A Time & Space Partitioned DO-178 Level A Certifiable RTOS
DDC-I's Deos safety-critical RTOS is used to host DO-178B certifiable avionics software including functions such as air data computers, air data inertial reference units, cockpit video, displays and flight instrumentation, electronic flight bags, enhanced ground proximity warning, flight controls, flight management systems, maintenance systems, power distribution systems, radios, traffic collision avoidance systems and weather radar.
Deos™ is a proven, full featured DO-178 Level A certifiable real-time operating system (RTOS) which addresses the issues of high robustness and formal certifiability for avionics and safety critical applications. Built from the ground up with these goals in mind, Deos is the only certifiable time and space partitioned COTS RTOS that has been created using RTCA DO-178, Level A processes from the very first day of its product development. Deos offers several unique fundamental and patented architectural advantages over all other competing RTOS's. The result is the best performance, lowest risk, easiest to certify, and lowest cost time & space partitioned COTS RTOS for airborne avionics and safety critical applications on the market today.
Deos supports popular avionics standards and other certifiable features allowing users to customize their Deos environment by choosing from a variety of optional modules:
Hello World Training Video
Deos Processes and Threads
In addition to the typical RTOS services for memory management and synchronization, Deos has excellent support for hard-deadline deterministic periodic execution. Additionally, Deos provides highly efficient, deterministic inter-process/inter-processor, periodic & aperiodic communication mechanisms which enable the designer to isolate applications from changes in I/O format and bus hardware/source.
It is common for resource contention conflicts, in otherwise well tested software, to manifest during integration. These errors can be difficult to locate because interactions are complex and rarely understood by any one individual. The Deos Integration Tool makes obvious, during development and design, an application's resources needs, this prevents contention while providing early warning of physical resource depletion. An application's memory, I/O, interrupt and processing time needs are defined early in the life cycle and follow it throughout development, testing & verification; thus reducing the time and cost of integration.
The cost to re-certify previously approved software is a function of the amount of change. Changing just a single module and then re-compiling / re-linking the whole system results in an entirely new executable. Deos solves this problem by supporting run-time linkable libraries and executables (i.e., it is a DO-178B Level-A Link/Loader). Consequently a change to one module within an executable impacts only that executable. The executables for the rest of the system, and even the run-time linkable libraries used by the application remain unchanged. This isolation of change impact results in a reduced re-certification cost thereby making it easier to embrace change and incrementally improve your product offerings.
Of course, Deos comes with all the software development and debugging tools you've come to expect: IDE, Debugger, run-time system monitor/profiler, as well as integrated emulator support. Additionally, Deos provides integration and configuration tools which enable the designer to factor out what would otherwise be hard-coded constraints. This factoring ability not only speeds development, but also aids in verifying the correctness of the implementation, aided by Deos provided qualified verification tools.
DO-178B indicates that, when using modern compilers for Level-A software, structural coverage "...should be performed on the object code" (188.8.131.52.b). Deos provides a structural coverage tool capable of gathering structural coverage data on the executable object code in compliance with the Level-A requirement. This eliminates the need for an expensive source to object code traceability analysis.
Decompose your applications into executables and run-time linkable libraries in order to isolate change impact. Both startup and runtime shared library loading is supported enabling maximum flexibility, configurability, and Just-In-Time function binding. Also save valuable platform memory space and ensure all your applications are using the same latest and verified library.
The Deos 653p4 and Deos653p4-Solo products add support for the ARINC Specification 653 Part 4, scheduling model and APplication/EXecutive (APEX) interfaces to allow improved portability of avionics software from other sources that have been written to conform to that popular specification.
The Deos 653 Hybrid Architecture allows the best of both worlds with the portability of the popular avionics standards, and the value added features of Deos, such as slack scheduling, it's modular architecture, application space device drivers and more.