VxWorks 653 – DO-178B Certified ARINC 653
Real-Time Operating System

VxWorks 653 is Wind River's robust operating system for controlling complex ARINC 653 Integrated Modular Avionics (IMA) systems. This product is coupled with the world's most complete DO-178B Level A certification evidence DVD, with more than 65,000 hyperlinked files to ensure robust testing and certification authority completeness in any safety-critical environment.

The VxWorks 653 real-time operating system (RTOS) is provided as part of Wind River VxWorks 653 Platform, which is tightly integrated with our industry-leading, Eclipse-based Wind River Workbench development suite. The development platform also includes DO-178B qualified development and verification tools that enable examination of processes and threads inside MMU-protected ARINC 653 partitions.

Key features and functionality for VxWorks 653 include the following:

  • ARINC 653 Part 1, Supplement 2 conformance: VxWorks 653 fully implements the latest ARINC 653 application executive (APEX) specification. It has a robust time and space partition scheduler.
  • Expanded support for application APIs: Applications can be written to VxWorks, ARINC, and POSIX APIs, along with other proprietary APIs as required, enabling a rapid integration of industry and legacy application code.
  • Powerful two-level time and space schedulers: VxWorks 653 implements a strict two-level scheduler for maximum separation, performance, and scalability. The module operating system (MOS) operates in kernel space and schedules MMU-protected partitions, or virtual execution environments, on a predefined time basis. Inside each partition the partition-level operating system (POS) schedules tasks on a priority-preemptive basis, using VxWorks, ARINC, POSIX, or other API. This robust scheduling and separation environment enables the deployment of different safety certification levels on a single instance of silicon and deterministic performance when increasing the number of virtual application partitions.
  • IBLL support: VxWorks 653 fully supports IBLL (independent build, independent link, independent load).
    • Independent build means that one does not need the entire source code of the system to build one piece of the system and that there is no longer the demand to create a "system" project that builds all software modules in the system.
    • Independent link means that one does not need the OS binaries to link an application.
    • Independent load enables the loading, updating, or flashing of binaries to be done separately.

This is a key capability of VxWorks 653 operating system and platform and a key requirement of any IMA environment that needs to support multiple application groups or third-party hosted function suppliers, delivering software builds asynchronously.

  • DO-178B level certification evidence: Wind River leads the aerospace industry by supplying the most complete RTCA DO-178B/EUROCAE ED-12B certification evidence for VxWorks 653 operating system. Our VxWorks 653 certification evidence DVD includes all required documentation and artifacts to support DO-178B Level A, B, C, and D certifications. Certification evidence is delivered as a complete package on DVD in a hyperlinked format for easy navigation and traceability, easing the time and expense required by certification authorities. This packaging of certification artifacts can also be used as a basis for IEC 61508, EN 50128, and FDA 510(k) device certifications, serving all industrial, transportation, and medical device class levels.
  • Wide language support: VxWorks 653 operating system supports C, C++, Ada, and Java run-time environments. Ada and C language bindings are fully conformant to ARINC 653 Part 1, Supplement 2. All supported languages leverage the wide development capabilities of our powerful Workbench development suite.
  • Extensive partner ecosystem: To ensure a complete range of integrated technologies, Wind River has established the Device Software Optimization (DSO) industry's widest-ranging partner ecosystem, joining forces with leading hardware and software providers to address such technologies as COTS boards, system modeling tools, control design tools, test tools, certification services, and platform simulation applications.


Get in touch or let us know how we're doing.