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

17/11/2020 - 18/11/2020
BE 4.0 Industries du futur
17/11/2020 - 19/11/2020
Sepem Industries Colmar
07/12/2020 - 11/12/2020
Wire &Tube

Non classé
Mesure vibratoire de machines tournantes

Quelle que soit la machine : générateur, turbine, compresseur alternatif, diesel ou transmission, les [...]

Pour communiquer sur vos produits,
Nathalie HEURLIN
Chef de publicité
n.heurlin@mesures.com - 02.98.27.79.99
  • Analyseur de perméation de vapeur d’eau Analyseur de perméation de vapeur d’eau
    Ametek Mocon a introduit l’analyseur de perméation de vapeur d’eau à haut débit Aquatran 3/38 pour les laboratoires effectuant régulièrement des tests de contrôle qualité sur des films d’emballage, d’épaisseur jusqu’à 0,5 mm.
    Lire la suite >
  • Manomètre en Hastelloy Manomètre en Hastelloy
    Pour la mesure de la pression dans les process faisant intervenir des fluides très agressifs, Wika propose désormais le manomètre à tube manométrique PG28 qui est en Hastelloy C276.
    Lire la suite >
  • Générateur de bruit rackable Générateur de bruit rackable
    Le nouveau modèle RFX7000B de Noisecom (groupe Wireless Telecom Group) est un générateur de bruit programmable. Il s’appuie sur la technologie de l’UFX7000A, mais se présente sous la forme d’un rack 19 pouces 1U.
    Lire la suite >
FMECA
Failure Modes, Effects and Criticality Analysis, analyse des modes de défaillances, de leurs effets et de leur criticité. Méthode de prévention quantitative d’analyse de la fiabilité d’un système par la définition, en termes de gravité et d’occurrence, des effets de chaque mode de défaillance et leur criticité sur d’autres éléments et/ou fonctions du système.
L’équivalent français de FMECA est AMDEC.