Méthode d’évaluation des exigences de fiabilité pour des modules logiciel embarqués à partir de spécifications

Abstract

RésuméAvec l'émergence des nouvelles fonctionnalités innovantes dans le domaine d'automobile, plus précisément les véhicules autonomes, le logiciel joue un rôle très important. Pour des raisons de sécurité et de performance, la fiabilité logiciel est devenue d'une importance cruciale, l'article présenté porte sur l'étude de cette fiabilité dans le contexte du véhicule autonome, mis au point par l'Institut Français pour la transition énergétique VEDECOM. L'architecture logicielle se compose de plusieurs modules ou « briques » qui fournissent des services et des tâches spécifiques, dans cet article, une approche de mesure, de la taille fonctionnelle(nombres de mouvements de données ISO 19761), est proposée afin de classifier les briques logiciels en termes de besoin de fiabilité, en utilisant, comme entrée, l'architecture logicielle modélisée sur Simulink. Le deuxième objectif des travaux est l'étude des attributs statiques de qualité logicielle en vue de construire des indices de fiabilité.Ce travail constitue une première étape pour la construction d'une méthode d'évaluation de fiabilité pour le logiciel temps réel embarqué. SummaryWith the emergence of technology, new innovative functionalities are developed and implemented in automobiles. In these functionalities, software plays an ever important role. For safety and performance reasons, Software reliability has become of critical importance, especially to the autonomous car, or the driverless car. The research project reported in this paper studies software reliability in the context of the driverless car developed by the French institute for the energy transition VEDECOM. The Software architecture is composed of different modules or 'bricks' that provide specific tasks and services. In this paper, an approach is proposed in order to classify the software bricks in terms of reliability needs using, as input, the software architecture modelled in Simulink. The work proposed paves the way for the design of a method for real time embedded software reliability measurement.