What Operating Systems Are Generally Used in Aircraft?

Reprinted from Linux Fan

What operating systems are generally used on airplanes? This is the answer many people have been wanting to know.
This section is based on an answer from V friends reprinted from Baidu Zhidao:
Aerospace software is not mysterious; from a computer architecture perspective, it is not much different from ordinary computer systems. It consists of processors, buses, I/O devices, storage devices, network devices, communication devices, operating systems, and application software. It merely uses a different set of components to meet high standards of reliability, robustness, and real-time performance.

What Operating Systems Are Generally Used in Aircraft?

What Operating Systems Are Generally Used in Aircraft?

1. The operating system used by Boeing 787 and AH-64 is VxWorks
What Operating Systems Are Generally Used in Aircraft? What Operating Systems Are Generally Used in Aircraft?
Source: Official website of VxWorks
VxWorks® is the world’s first and only real-time operating system (RTOS) that supports deploying applications via containers.
The latest version of VxWorks includes support for OCI containers. Now, you can develop and deploy intelligent edge software better and faster using traditional IT-like technologies without compromising determinism and performance. Learn why independent researchers VDC have named VxWorks the leading RTOS for edge computing again.
VxWorks® has been validated in the most challenging safety-critical applications, enabling technology vendors to more easily and cost-effectively meet the stringent safety certification requirements of EN 50128, IEC 61508, ISO 26262, DO-178C, and ED-12C.
VxWorks 653 is a safe, reliable, and robust real-time operating system (RTOS) that provides an open virtualization platform with strong time and space partitioning capabilities on the latest ARM®, Intel®, and PowerPC multicore processor platforms. The technology of VxWorks 653 has been proven in over 100 civil and military aircraft across more than 600 safety programs from 360 customers, driving the aerospace and defense sectors toward software-defined systems and bringing innovative technologies to solve real business problems.
VxWorks Cert Edition provides a certifiable RTOS system for regulated industries that wish to develop and certify safe, reliable, and robust solutions while reducing risk, cost, and certification work.
2. The operating system used by B-2, F-16, F-22, F-35, and Airbus A380 is Integrity-178B
What Operating Systems Are Generally Used in Aircraft?
This is the official website of INTEGRITY-178 tuMP
Similar to Boeing 787, Airbus A380, and Airbus A350, the internal devices are interconnected using a variant of Ethernet called AFDX. At the application software layer, there is no difference from ordinary Ethernet programs.
INTEGRITY-178 tuMP real-time operating system (RTOS) is the world’s leading multicore RTOS for safety and security-critical applications.
INTEGRITY-178 and INTEGRITY-178 tuMP are part of systems that have been certified at the highest levels of airborne safety (DO-178B/C DAL A) and security (SKKP/EAL 6+), suitable for over 80 airborne systems.
INTEGRITY-178 tuMP is the first certified operating system to meet the latest Future Airborne Capability Environment (FACE™) Technical Standard 3.0 and has been certified for safety foundations and safety profiles. INTEGRITY-178 tuMP is the first and only RTOS to achieve multicore certification under DO-178C and CAST-32A.
3. In the past, these devices were often programmed using the ADA language, but now to reduce costs, the F-35 project has switched to using C++.
What Operating Systems Are Generally Used in Aircraft?
This is the C++ programming specification for the F-35 project
The microprocessor of the F-35 is based on the PowerPC instruction set, and to ensure reliability, the compiler used is also quite different from ordinary compilers. Compilers can also have bugs, so to ensure that the source code and the compiled target code are completely consistent, avoiding issues caused by compiler bugs, the CompCert compiler is often used in the software development of the JSF project. This compiler can only compile C99 but is extremely reliable.
Summary:
  1. The operating system used by Boeing 787 and AH-64 is VxWorks
  2. The operating system used by B-2, F-16, F-22, F-35, and Airbus A380 is Integrity-178B
  3. In the past, these devices were often programmed using ADA language, but now to reduce costs, the F-35 project has switched to using C++.

Related posts

  1. ZhiXin Company’s Embedded Operating System – Hub 4.0 Achieves 100% Autonomy and Control
  2. Common Functions in VxWorks Programming
  3. Key Technologies and Development Trends of Industrial Real-Time Operating Systems
  4. Exploring Collective Decision-Making in Bees Using Miniature Robots
  5. Build an Arduino Robotic Arm with Touchscreen Control
  6. The Advantages of OLED Screens Over LCD
  7. Disassembling a Mini Oscilloscope: Is It Worth It?
  8. Monitoring Pyroptosis in B16 Cells Using Holographic 3D Imaging
  9. Achieving High Reliability and Low Latency Communication in Embedded Systems with AVB-TSN
  10. In-Depth Analysis of RTOS Scheduler
  11. Summary Q&A of μC/OS Real-Time RTOS Online Lecture II
  12. Overview of Mainstream IoT Operating Systems
  13. From Technology to Platform: ARM’s Ambitions in IoT Era
  14. What Are the Main Embedded Operating Systems (RTOS)?
  15. Differences Between Circular Queue and Message Queue in RTOS
  16. Understanding the Principles of Microcontroller Display
  17. Building Safe and Reliable Software with Rust on ARM
  18. Research on the Progress of IoT Operating Systems
  19. Does Arm Architecture Cause Overheating in Android Phones?

Leave a Comment