Time & Space Partitioned DO-178 Level A Certifiable RTOS

• Trusted & Field Proven
• Certified to Level A since 1998
• Flying on hundreds of aircraft systems world-wide
• Best in Class Performance & Technical Advantages
• Patented slack scheduling enables 100% processor utilization
• Compiler certification independence enables state-of-the-art compilers with optimization & in-lining ‘on’
• Fastest Context Switching Available of any time & space COTS RTOS
• Advanced Feature-set Ensures...Easy Start and Lower Risk/Cost to Certify
• Developed Using COTS hardware, and design reference boards
• Abstraction Layers significantly improve BSP creation & certification efforts
• Binary level certifiability reduces certification risk, time, and effort
• Binary coverage tool resolves source-to-object gaps left behind by MCDC
• Binary modularity provides a ‘plug-and-play’ for the system design & integration
• XML configuration tools & verification tools generate verifiable configuration profiles
• User guides direct the integration, use, testing, and verification of Deos binary modules
• I/O Infrastructure (IOI) provides data conversion & I/O handling (e.g., queued, blackboard, FIFO, etc.), reducing application code
• Networking – AFDX, UDP & TCP/IP
• Lowest Cost of Ownership
• Progressive, industry-leading, product license pricing models
• Deos BSP creation & certification costs/schedules are a fraction of any other certifiable time & space COTS RTOS.
• DDC-I’s open and competitive services model enables customers and third parties to create their own Deos BSP, drivers, & other Deos components.
• Portability - Binary certifiable objects promote plug & play reuse, with minimal certification effort.
• High-level OS facilities enable applications to migrate with minimal change (e.g., IOI resolves different I/O interfaces types).
• Ecosystem of third party hardware, software, and services

Brochure

• Deos Fact Sheet

NEW! Free On-Demand Training Videos

   Hello World Training Video

• Short (2:53 minutes)
• Long (8:41 minutes)

   Deos Overview

• Deos Overview Short (5:54 minutes)
• Deos Overview Long (31:43 minutes)

   Deos Processes and Threads

• Deos Processes and Threads Short (4:30 minutes)
• Deos Processes and Threads Long (17:31 minutes)

White Papers

• Deos Slack Scheduling
  Deos™ patented slack scheduling technology enables software designers to leverage all the power of today’s modern processors, without sacrificing the safety of space & time partitioning.
• Minimizing Change Impact in Mission Critical Software
  Deos™ provides tools and technologies to help a project reduce the post deployment change paranoia that so often grips mission critical software projects.

Adding Slack Scheduling to RMS

• By using slack, thread Medium might receive CPU time that would have been lost to Idle to complete its execution for period

• Gives you the ability to budget in order to meet your safety requirement, but enable slack in order to get the most out of your processor
• Allows a client & server to exchange data, perhaps multiple times, back-to-back, within the same period, in order to complete a transaction
• Enables the removal of lower criticality applications from the high criticality, fixed budget time line Software designers can now leverage all the power of today’s modern processors, without sacrificing the safety of space & time partitioning.

Reduced Software Development Cost

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.

Reduced Integration Cost

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.

Reduced Recertification Cost

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.

Reduced Software Construction Cost

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.