VERDI Résumé

"Verdi": Vérification de systèmes embarqués hétérogènes

Site permanent du projet hébérgé à l'Institut Fraunhofer de Dresde

Les voitures d'aujourd'hui sont loin d'être des moyens de transport simples. Elles ont à leur bord des systèmes électroniques extrêmement complexes et hétérogènes qui assurent des fonctions de sécurité et de confort. Ces sytèmes sont constitués de parties électroniques qui communiquent avec des composants physiques de différentes natures (mécanique, fluidique) et des applications logicielles.

Le fait que les outils de développement et de vérification disponibles ne sont pas capables de traiter l’hétérogénéité des interfaces entre le monde analogique et le monde numérique est un problème pour les concepteurs. C'est pourquoi une stratégie de vérification globale n'existe pas encore.

L'objectif de VERDI est de garantir la fiabilité de la fonctionnalité des systèmes électroniques embarqués tout en diminuant les coûts de conception. Le principe de VERDI est d’introduire des fonctions de vérification dans le langage de modélisation des systèmes mixtes analogiques numériques SystemC / SystemC AMS. Les mêmes scénarios de test pourront être exécutés sur des modèles (avant fabrication du système électronique) et sur le véhicule (une fois le système électronique disponible) et fournir les mêmes diagnostics, ce qui est aujourd'hui impossible.

VERDI s’adresse au monde de l’automobile. Il s’agit de vérifier des systèmes de contrôle/commande : celui du freinage du véhicule et celui de propulsion de voitures hybrides.

Grâce à VERDI la qualité des systèmes réalisés augmentera et les délais de commercialisation diminueront.

VERDI a débuté en septembre 2011 et finira en août 2014. Il est soutenu par la Commission Européenne au sein du 7ème PCRD Programme de recherche et de Développement avec 3,15 millions d'euros (Contrat 287 562).

Dans ce projet, le laboratoire LIP6 de l’UPMC contribuera à introduire des fonctions de vérification dans le langage de modélisation des systèmes mixte analogiques numériques SystemC / SystemC AMS.

Project duration

01.9.2011 - 31.08.2014

Project coordinator

Karsten Einwich

email: Karsten.Einwich@eas.iis.fraunhofer.de

Fraunhofer IIS/EAS
Zeunerstrasse 38
01069 Dresden
Germany

Media Contacts

Fraunhofer IIS, Division EAS:

Sandra Kundel, PR

Phone +49 351 4640-809

Email: pr@eas.iis.fraunhofer.de

www.eas.iis.fraunhofer.de