Applications critiques embarquées : chercheurs et industriels s’associent autour du projet Hi-Lite

Le développement d'applications critiques dans le domaine de l'électronique embarquée devient tellement complexe que les méthodes de test traditionnelles ne permettent plus d’atteindre les niveaux de confiance imposés par les organismes de certification. Tel est le point de vue de Cyrille Comar, directeur général d’AdaCore, qui ajoute : « nous sommes arrivés à un “palier”. Les laboratoires ont mis au point des méthodes mathématiques plus poussées appelées “méthodes formelles”, mais ces dernières ont encore du mal à s’imposer. Il s’agit de technologies très puissantes, mais qui ont besoin d’être industrialisées.»
Le projet Hi-Lite a donc été créé dans le but de rendre ces méthodes formelles plus accessibles. Ce dernier, soutenu par le gouvernement français, le conseil général de l’Essonne et le pôle de compétitivité Systematic, a été créé à l’initiative d’AdaCore qui en est le coordinateur principal. Il regroupe des instituts de recherche (le CEA-List et l’INRIA-ProVal) et des industriels (Altran Praxis, Astrium Space Transportation et Thalès Communications).
L’objectif, au terme des trois ans prévus pour le projet, est d’aboutir à la définition d’un langage qui facilite l’emploi des méthodes formelles pour les langages C et Ada. Les applications seront testées plus rapidement, et avec un degré de confiance plus important. A l’avenir, les différents participants à Hi-Lite espèrent voir ce langage (et les logiciels associés) utilisés dans le cadre des procédures de certification.
(5 mai 2010)
Dernière modification le mercredi, 05 mai 2010 02:00
Connectez-vous pour commenter

logo_80ans


Non classé
Memograph M RSG45

L'enregistreur graphique évolué est un système flexible et performant pour l'organisation des valeurs [...]

Pour communiquer sur vos produits,
Jean-Guillaume CANUET
Directeur de Publicité
jgcanuet@newscoregie.fr - 01 75 60 28 54
  • Imprimante industrielle rapide Imprimante industrielle rapide
    
Printronix Auto ID a lancé la T4000, une imprimante industrielle pour étiquettes. Compacte et rapide, elle permet d'imprimer jusqu’à 5 000 étiquettes par jour.

    Lire la suite >
  • Capteurs de pression haute résolution Capteurs de pression haute résolution
    La série DLC introduite par All Sensors est une famille de capteurs de pression numériques. Ils sont disponibles avec une étendue de mesure de ±248,84 à ±14 930,4 Pa (faible pression) et de ±34,47 à ±1 034,2 kPa (pression élevée).
    Lire la suite >
  • Enregistreur de pression Atex Enregistreur de pression Atex
    Constitué d’un capteur de process et d’un afficheur IP67, le nouvel enregistreur de pression SST-DM01-500HD de SST Controls rend plus facile la mesure dans les environnements où il y a un risque de présence de gaz explosifs, même dans des zones Atex Zone 0.
    Lire la suite >
ASME
American Society of Mechanical Engineers, association américaine très puissante qui est à l’origine de nombreuses normes (les fameux “codes ASME”), notamment dans le domaine des vannes et des tuyaux.