Safety-Critical Software Integration and Reuse in Avionics

Abstract:
Developing high-integrity software is a complex process that involves meeting strict standards across various industries. For instance, in the avionics sector, the DO-178C Design Assurance Level A (DAL-A) sets the highest level of rigor, requiring comprehensive evidence that the software will perform its intended safety functions. Modern avionics systems are made up of hardware and software from different vendors, all integrated by prime contractors. By achieving modularity in these systems, we can reduce interface complexity, manage version control, address supply chain vulnerabilities, and significantly lower recertification costs. To support a high degree of integration and software reuse in avionics systems, certain architectural elements are necessary. These include a certified Real-Time Operating System (RTOS), open standards consortia like FACE® and MOSA, multicore partitioning strategies, deterministic networking, and hypervisor-based virtualization. The role of a certified RTOS, for example, is crucial in ensuring the reliable and efficient operation of safety-critical software components. Open standards consortia, on the other hand, facilitate the development of interoperable systems, while multicore partitioning strategies enable the efficient use of system resources. The use of deterministic networking and hypervisor-based virtualization also plays a key role in enabling the integration of multiple systems and reducing the complexity of system design. By leveraging these technologies, we can create a 'certify once, deploy anywhere' paradigm, which reduces development timelines, lowers lifecycle costs, and positions safety-critical software components for reuse across heterogeneous platforms. This approach not only improves the efficiency of system development but also enhances the reliability and safety of the resulting systems. In essence, the development of high-integrity software for avionics systems requires a comprehensive approach that considers the complex interactions between hardware and software components. By adopting modular architectures and leveraging open standards, certified RTOS, and advanced networking and virtualization technologies, we can create systems that are not only safe and reliable but also efficient and cost-effective. This, in turn, can help reduce the risks associated with system development and deployment, while also improving the overall performance and safety of the resulting systems.

Did you attend Forum 82? Click the preview below to access the full paper.