L'une des exigences clés pour le développement d’applications de conduite autonome et de systèmes x-by-wire (*) dans l’automobile, est le “timing” correct des systèmes opérationnels lorsqu’ils tombent en panne. Pour aborder de front ce sujet complexe, les allemands Vector et AbsInt, tous deux éditeurs d’outils logiciels et d’environnements de développement et de test de code pour l’automobile, ont décidé de collaborer afin de permettre aux développeurs de calculateurs d'analyser plus facilement le temps d'exécution dans le pire cas (WCET, Worst-Case Execution Time). Et ce sur les projets fondés sur la bibliothèque de blocs logiciels de base Microsar de Vector, conforme à la spécification Autosar.

L’idée sous-jacente est de pouvoir prouver le comportement temporel des systèmes de conduite autonome afin qu'ils répondent aux normes et exigences de sécurité utilisées dans le monde automobile.

L’expertise des deux sociétés dans le domaine des systèmes embarqués à haut niveau de sécurité fonctionnelle les a conduites à adapter les plates-formes Microsar certifiées de Vector aux outils d'analyse temporelle d'AbsInt. Ainsi, les développeurs pourront concevoir des systèmes prévisibles qui répondent à des exigences opérationnelles fortes en cas de panne, notamment par la maîtrise du comportement de synchronisation de plusieurs tâches.

Il s’agit d’une caractéristique fondamentale pour la sécurité fonctionnelle, car les systèmes autonomes installés dans le véhicules exécutent des scénarios spécifiés pour lesquels il est essentiel d’avoir une connaissance précise de la limite supérieure du temps d’exécution d’une fonction (le WECT). En unissant leurs savoir-faire respectifs, Vector et AbsInt estiment faciliter cette analyse temporelle des systèmes, cruciale pour la sécurité fonctionnelle, car en cas de panne les systèmes embarqués doivent continuer à fonctionner même en présence de défauts majeurs.

Pour rappel, les outils d'analyse temporelle d'AbsInt fournissent des méthodes précises et certifiées pour déterminer le temps d'exécution le plus défavorable en affichant notamment des graphiques de flux de contrôle interprocédural avec les résultats d'analyse WCET (voir image ci-dessous).

Quant aux plates-formes Microsar de Vector, elles procurent une solution pour développer des systèmes opérationnels en cas de panne en s’appuyant sur la norme Autosar avec ses extensions pour la réalisation d'architectures logicielles adaptatives et évolutives.

Concrètement, la suite d'outils TA de Vector et les outils d'analyse d'AbsInt se complètent pour fournir une chaîne d'outils de timing complète qui permet de déterminer le comportement du timing tout au long du cycle de vie d’un projet.

(*) X-by-Wire est un terme générique désignant le remplacement de systèmes mécaniques ou hydrauliques, comme le freinage ou la direction, par des systèmes électroniques.

Vous pouvez aussi suivre nos actualités sur la vitrine LinkedIN de L'Embarqué consacrée au marché automobile : Embedded-Automotive