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


Capteurs et transmetteurs
Débitmètres Proline 300/500

Nouvelle génération de mesure de débitProline 300/500 vous offre une grande valeur ajoutée tout au [...]

Pour communiquer sur vos produits,
Jean-Guillaume CANUET
Directeur de Publicité
jgcanuet@newscoregie.fr - 01 75 60 28 54
  • Imprimante couleur pour étiquettes
 Imprimante couleur pour étiquettes

    Avec l’arrivée de la nouvelle série CPX4, TSC propose une solution d’impression numérique d’étiquettes répondant aux besoins d'impression couleur à la demande.

    Lire la suite >
  • pHmètre portable pHmètre portable
    Associé à une solution tampon, le testeur CA 10001 de Chauvin Arnoux est un pHmètre portable IP65 convenant à des secteurs très variés (industrie des boissons, traitement des eaux, éducation, etc.). Deux appuis sur la touche Cal permettent de réaliser l’étalonnage puis la mesure.
    Lire la suite >
  • PC embarqué pour transports
 PC embarqué pour transports

    Le tBOX300-510-FL d'Axiomtek est un PC embarqué durci, conçu pour les véhicules et les secteurs marin et ferroviaire.

    Lire la suite >
Susceptance
La tension U aux bornes d’un équipement électrique et le courant I qui le traverse sont liés par la relation I = Y.U, où Y est l’admittance. I s’exprime en ampères, U en volts et Y en siemens (S) ou mho (ohm, à l’envers).
L’admittance peut aussi s’écrire (par analogie avec l’expression de l’impédance) : Y = G + jB, où G est la conductance et B la susceptance.