Intelligent Artifacts Demonstrates Safety-Critical Artificial Intelligence Machine Learning and Reasoning on DDC-I’s Deos RTOS Embedded Platform

Intelligent Artifacts Booth #E2

DDC-I Booth #F1


Manhattan, NY and Phoenix, AZ – November 2, 2022. Intelligent Artifacts, a leading provider of machine intelligence solutions for mission and safety-critical systems, and DDC-I, a leading supplier of software and professional services for mission- and safety-critical applications, today announced the integration of the Intelligent Artifacts GAIuS™ framework, a reusable, certifiable safety-critical Artificial Intelligence/Machine Learning and Reasoning (AI/ML/R) solution for embedded avionics systems, running on DDC-I’s Deos™ DO-178C real-time operating system. The companies will demonstrate the integration at Aerospace Tech Week Americas in Atlanta, GA November 8-9.

The GAIuS demo, utilizing a robot constructed by Intelligent Artifacts, will run on the Deos RTOS in a virtual environment using a certifiable GAIuS agent to make predictions. Intelligent Artifacts will demonstrate the engine’s capabilities for sensor fusion, including visual streams, for object detection and recognition. All demonstrated functionality will be supplemented with full visibility into auto-generated world models used by the IA Reasoning Engine, path planning and navigation to gain more information, and the Explainable, Computable, Interpretable, Traceable, and Editable (ExCITE) features that make the AI/ML/R solution regulation-ready for aviation.

“Our explainable, traceable, and problem and data-agnostic technology solves many of the challenges around AI/ML for safety-critical airborne applications, giving avionics developers the unique opportunity to incorporate AI into their platforms,” says Nick Cianciolo, IA’s CEO. “Completion of our Cert-kit, which we will demonstrate on a verified DDC-I Deos embedded platform at Aerospace Tech Week, will unlock dual-use possibilities for civil and military aircraft in application areas like machine vision, sensor fusion, and autonomy.”

Intelligent Artifacts is on track to be the first certifiable reusable software component that enables AI/ML/R for avionics systems. Their Cert-kit enables plug-and-play AI/ML/R capabilities for aerospace platforms, featuring semantic reasoning, dynamic decisioning, and a host of other advanced capabilities that move the industry towards the goal of human-level machine intelligence. Additionally, Intelligent Artifacts offers DO-330 qualifiable tools for newly proposed learning assurance. The enhanced technology stays true to the company’s ExCITE philosophy, with a goal of keeping systems EXplainable, Computable and deterministic, Interpretable, Traceable, and Editable. The technology does not use neural nets; It is completely analytical.

“We are excited to be collaborating with Intelligent Artifacts to demonstrate their world class machine learning avionics technology on our Deos safety-critical RTOS platform,” said Greg Rose, vice president of marketing and product management at DDC-I. “Deos systems equipped with GAIuS technology provide a modular, scalable, reusable, FACE-Conformant, DO-178C COTS platform that is ideal for quickly developing, certifying, and deploying safety-critical avionics applications that utilize state of the art AI, machine learning and reasoning technology.”

DDC-I’s Deos is a safety-critical time and space partitioned real-time operating system (RTOS). Verified to the guidance of DO-178C/ED-12C Design Assurance Level A (DAL A) for avionics applications, Deos supports ARINC 653 APEX, Rate Monotonic Scheduling (RMS), and first RTOS to receive the Future Airborne Capability Environment™ (FACE) Conformance Certificate for the FACE Technical Standard, Edition 3.1.  The certification covers the Safety Extended and Safety Base Profiles for the Operating System Segment (OSS).

SafeMC technology extends Deos’ advanced capabilities to multiple cores, enabling developers of safety-critical systems to achieve best in class multi-core performance without compromising safety-critical task response and guaranteed execution time. SafeMC employs a bound multiprocessing (BMP) extension of the symmetric multiprocessing architecture (SMP), safe scheduling, and cache partitioning to minimize cross-core contention and interference patterns that affect the performance, safety criticality and certifiability of multi-core systems. These features enable avionics systems developers to address issues that could impact the safety, performance and integrity of a software airborne system executing on Multi-Core Processors (MCP), as specified by the Certification Authorities Software Team (CAST) in its Position Paper CAST-32A for Multi-core Processors.

About Intelligent Artifacts

Intelligent Artifacts is a leader in machine intelligence, providing the complete intelligence layer for Defense and Aerospace customers in need of modular, flexible, and scalable AI solutions. Their fully explainable AI/ML and Reasoning (AI/ML/R) framework is trustworthy and transparent for safety-critical applications as a pathway to human-level intelligence. To learn more visit Interested in partnering with IA to complete their Cert-kit? Reach out to

About DDC-I, Inc.

DDC-I, Inc. is a global supplier of real-time operating systems, software development tools, custom software development services, and legacy software system modernization solutions, with a primary focus on mission- and safety-critical applications. DDC-I’s customer base is an impressive “who’s who” in the commercial, military, aerospace, and safety-critical industries. DDC-I offers safety-critical real-time operating systems, compilers, integrated development environments and run-time systems for C, C++, and Ada application development. For more information regarding DDC-I products, contact DDC-I at 4545 E. Shea Blvd, Phoenix, AZ 85028; phone (602) 275-7172; fax (602) 252-6054; e-mail or visit

Intelligent Artifacts Demonstrates Safety-Critical Artificial Intelligence Machine Learning and Reasoning on DDC-I’s Deos RTOS Embedded Platform
Tagged on: