ALEBAS : une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués

ALEBAS : a development and safety analysis methodology of embedded systems

• Auteur / Autrice : Jean Godot
• Direction : Chérif Larouci
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 27/03/2018
• Etablissement(s) : Université Paris-Saclay (ComUE)
• Ecole(s) doctorale(s) : École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....)
• Partenaire(s) de recherche : établissement opérateur d'inscription : Université Paris-Sud (1970-2019)
• Partenaire(s) de recherche : Laboratoire : ESTACA'Lab (Saint-Quentin-en-Yvelines, Yvelines)
• Partenaire(s) de recherche : Entreprise : FAAR Industry (Massy, Essonne)
• Jury : Président / Présidente : Samir Bouaziz
• Jury : Examinateurs / Examinatrices : Chérif Larouci, Samir Bouaziz, Mihaela Barreau, Jean-Yves Choley, Annie Bracquemond, Adil Alif, Sébastien Saudrais, Bertrand Barbedette
• Jury : Rapporteurs / Rapporteuses : Mihaela Barreau, Jean-Yves Choley

Mots clés

Mots clés contrôlés

Prototypage (informatique)

Transport

Sûreté -- Systèmes électroniques

Systèmes embarqués (informatique)

Méthodologie

Informatique

Mots clés libres

Méthodologie

Systèmes embarqués

Sûreté de fonctionnement

Industrie de la mobilité

Prototype

Logiciel

Methodology

Embedded systems

Safety

Mobility industry

Prototyping

Software

Résumé

De nos jours, l'augmentation de la complexité des systèmes embarqués impose la prise en charge, dès les premiers prototypes et au niveau logiciel, d'exigences habituellement traitées plus tardivement voire même seulement lors du passage en série, comme notamment les contraintes de sûreté de fonctionnement. Nous proposons une méthodologie de développement de logiciels embarqués pouvant répondre aux besoins et contraintes de développement de ces logiciels dans la phase de prototypage. La flexibilité de la méthodologie garantit une meilleure gestion des évolutions récurrentes caractérisant les logiciels dans cette phase de prototypage. Aussi, grâce à sa structure bien adaptée, l'aspect automatisé de son intégration et de sa mise en place, notre méthodologie garantit une réduction significative des coûts du passage en série et de la mise en place de normes telles que l'ISO 26262 ou la DO-178. Pour illustrer les résultats que nous obtenons grâce à notre méthodologie et la chaîne d'outils associée, nous l'appliquons dans le cadre d'un projet industriel d'innovation qui consiste à la robotisation d'un véhicule prototype. Le cas d'étude se concentre sur la fonction ''accélérateur'' de ce prototype.

Nowadays, the increasing complexity of embedded systems requires the management, from the first prototypes and software level, of requirements usually handled later even only when passing in production, such as including dependability constraints. We propose a development methodology for embedded software that can meet the needs and constraints of developing this software in the prototyping phase. The flexibility of the methodology ensures better management of recurring changes characterizing the software in the prototyping phase. Also, due to its well-adapted structure, and automated aspect of its integration and implementation, our methodology ensures a significant cost reduction of serialization and implementation of norms such as ISO 26262 or DO-178. To illustrate the results, we apply our methodology and the associated toolchain to an innovative industrial project which consists to robotize a prototype car. The case study focuses on the accelerator function of the prototype.