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

21/05/2019 - 23/05/2019
Preventica Paris
22/05/2019 - 23/05/2019
PEFTEC 2019
23/05/2019 - 23/05/2019
A3P Métrologie
05/06/2019 - 06/06/2019
Atmos’Fair
05/06/2019 - 05/06/2019
Journée technique du CFM
12/06/2019 - 13/06/2019
Expo Biogaz
17/06/2019 - 23/06/2019
Salon international de l'aéronautique et de l'espace
18/06/2019 - 18/06/2019
Energy Class Factory

Mesure physique, analyse chimique
Experts en analyses physico-chimiques

Avec plus de 35 ans d'expérience en analyse physico-chimique et une présence dans le monde entier, [...]

Pour communiquer sur vos produits,
Jean-Guillaume CANUET
Directeur de Publicité
jgcanuet@newscoregie.fr - 01 75 60 28 54
Maintenance
La maintenance désigne l’ensemble des actions destinées à maintenir ou rétablir une entité dans un état dans lequel elle peut accomplir une fonction requise. Il existe plusieurs sortes de maintenance.
La “maintenance corrective” consiste à intervenir après l’apparition d’une défaillance.
La “maintenance systématique” est effectuée selon un échéancier établi selon le temps ou le nombre d’unités d’usage.
La “maintenance préventive” ou “maintenance conditionnelle” est subordonnée à un type d’événement déterminé (autodiagnostic, information d’un capteur, mesure d’une usure, etc.) révélateur de la dégradation d’un bien.
La “maintenance prédictive” est effectuée à partir d’une détection (alerte) de déviation fournie par des indicateurs.