Evaluation of software reliability needs for embedded software modules using software specifications

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 de mesure de fiabilité pour le logiciel temps réel embarqué.With 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 work proposed paves the way for the design of a method for real time embedded software reliability measurement