Adopting a DevOps strategy to develop safety-critical embedded software in avionic systems

Add to my library

H8061 V1 Article

Adopting a DevOps strategy to develop safety-critical embedded software in avionic systems

Authors : Vincent LOUIS, Claude BARON

Publication date: March 10, 2024 | Lire en français

Add to my library Add to my library

Logo Techniques de l'Ingenieur You do not have access to this resource.
Request your free trial access! Free trial

Already subscribed?

Overview

ABSTRACT

This article focuses on improving the quality and reliability of safety-critical software development in avionics, and aims at a better and more agile integration of certification requirements in this process. It proposes a methodological framework, demonstrates its compliance with the requirements of certification standards and suggests a support tooling based on open source and off-the-shelf solutions to implement the proposals.

Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.

Read the article

AUTHORS

 INTRODUCTION

Safety is the aviation industry's main concern. A high level of reliability of the aircraft and all its systems, parts and equipment must be demonstrated through a process called certification. This process is essential for safety in a critical system, where failure can result in injury or loss of life. It defines regulatory requirements, described in standards, imposing constraints on aircraft development. By complying with these requirements, manufacturers are committed to ensuring the safety of passengers, on-board personnel, ground staff and infrastructure.

Society's need to ensure the safety of goods and people means that a certain number of steps must be taken to obtain a type certificate, issued by a certification authority. For the manufacturer, the certification process involves demonstrating to this authority compliance with all regulatory requirements.

Only the correct application of an engineering process can guarantee that the system meets safety objectives. The actions required to demonstrate compliance complicate the engineering process, and require considerable effort, if the associated issues are not taken into account from the outset of the project. This process could be carried out in a more agile way.

[H 8 060] demonstrates that it is possible to integrate certification into the engineering process in an agile way (called continuous certification), by proposing an efficient and structured methodological approach, which enables certification requirements to be met natively. The approach aims to improve, accelerate and rationalize the development of avionics software subject to certification: it promotes better integration of certification requirements, by speeding up software development, without compromising compliance with safety requirements. It is based on the principles of continuous development which, combined with agile project management, enable certification actions to be iterated and automated transparently, with limited impact on overall development costs.

This article extends [H 8 060] by proposing a DevOps approach to support the...

You do not have access to this resource.
Logo Techniques de l'Ingenieur

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed?


KEYWORDS

process   |     |   agility   |   Embedded software   |   software engineering   |   software safety   |   computer-aided software engineering   |   Agile software development   |   continuous production   |   DevOps   |   Methods and tools   |   Continuous certification   |   Test-driven development   |   Continuous integration   |   Test automation

Ongoing reading
Adopting a DevOps strategy to develop safety-critical embedded software in avionic systems

Article included in this offer

"Software technologies and System architectures"

( 230 articles )

Complete knowledge base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

View offer details

Dans les ressources documentaires

UML pour le temps réel : le langage et les méthodes

UML est utilisé industriellement pour le développement de logiciels. Son introduction plus récente dans l...

Validation des algorithmes en UML et OCL

Cet article traite de propriétés formelles des langages de programmation dont le but est de vérifier, voi...

Méthodes formelles pour la vérification des systèmes embarqués

Les systèmes embarqués sont soumis à de nombreuses contraintes et certains sont en interaction étroite av...

Tous les livres blancs
Article L’ombre des pirates sur les élections ?
6 January 2017
L’ombre des pirates sur les élections ?

Avant de céder son fauteuil à M. Trump, M. Obama a publié les déclarations fracassantes selon lesquelles des pirates russes auraient réussi à influencer les vot...

Article Google Street View s'invite sur un chameau
13 October 2014
Google Street View s'invite sur un chameau

Google délaisse pour un temps la bonne vieille Google Street Car, et s'aventure à dos de chameau pour arpenter les dunes émiraties du Rub al-Khali, autour de l'...

Toutes les actualités
Contact us