|
|||
JAVA temps-réel pour les systèmes critiques enfouis ou embarquésPrésentationLa communauté temps réel qui souhaite utiliser le langage Java pour ses qualités intrinsèques (orientation objet, sécurité etc..) ne peut le faire aujourd'hui sans payer le prix du manque de performance du code interprété ou du non déterminisme de la machine virtuelle sous-jacente. L'objectif du projet Expresso est de réaliser l'atelier mettant en jeu les composants nécessaires à l'environnement de développement d'applications temps réel Java pour des systèmes critiques enfouis ou embarqués et susceptibles d'être certifiés au sens des standards tel que le DO178-B. Les composants retenus dans ce cadre sont la compilation et l'optimisation du Java Byte code vers le code binaire natif de la cible, une machine virtuelle Java décomposable de façon graduelle en un exécutif Java et des outils de vérification des propriétés temps réel et de l'ordonnancement des applications Java.Les membres partenaires de ce projet comprennent les industriels Thales Systèmes Aéroportés et EDF qui définissent les besoins et évaluent les résultats du produit, les sociétés de produits et services informatiques Aonix et Silicomp qui s'associent pour fabriquer la chaîne de compilation et l'exécutif Java et en feront la commercialisation, les laboratoires INRIA/IRISA et VERIMAG experts en techniques formelles qui complètent l'atelier logiciel avec les outils d'analyse temps réel. Le déploiement de la technologie Java aux systèmes programmés de sûreté est un pas en avant dans la mise à disposition pour ces domaines des techniques modernes de génie logiciel (programmation objet, exécutif temps-réel multi-tâche préemptif, COTS). |
|||
|
