Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00021000000000000000" id= "SECTION00021000000000000000">Contexte des études</a></h2>  <a name="EPATR_presentation_module-2" id= "EPATR_presentation_module-2"></a> <p><strong>Mots clés :</strong> <i>système enfoui, système temps réel, système critique, certification, cycle en V, transformation de programme, conception conjointe, composants, vérification, méthode formelle .</i></p> <p>Les produits informatiques <em>enfouis,</em> le plus souvent avec des contraintes <em>temps réel</em> fortes, dans des systèmes industriels de grande envergure comme les centrales nucléaires, les systèmes de contrÔle aérien, les télécommunications, ou dans des systèmes de taille plus modeste (avions, automobiles...), mais aussi de petite taille comme les processeurs ou contrÔleurs divers utilisés dans des produits de grande diffusion, ont pour caractéristique commune de devoir fonctionner selon un mode de coopération permanente avec un environnement. Un système enfoui peut ainsi influencer sérieusement le comportement de cet environnement, non seulement par son activité mais aussi par son inactivité : ainsi le dysfonctionnement d'un système par exemple de commande de vol peut entraîner un accident d'avion ; celui d'un système de régulation thermique, la perte d'une entreprise avicole, par exemple. En fonction de la gravité des conséquences prévisibles d'un dysfonctionnement du composant informatique sur les plans économique, humain, ou social, le développement des applications considérées est l'objet de procédures plus ou moins lourdes, telles que <em>certification</em> pour les <em>systèmes critiques,</em> visant à la réduction des risques d'erreurs ou de défaillances du système.</p> <p>Traditionnellement le développement de ces applications s'appuie sur un <em>cycle en V</em> qui de l'amont vers l'aval, en partant d'un cahier des charges, passe par l'établissement de spécifications aussi complètes et consistantes que possible, sur lesquelles s'appuie la conception globale puis détaillée à partir de laquelle est produit le codage de l'application. Ce processus de conception s'appuye à des niveaux et à des degrés divers sur des techniques de <em>transformation de programmes</em>, sur des techniques de <em>conception conjointe</em>, sur l'utilisation de <em>composants</em> matériels ou logiciels. La confiance dans le produit réalisé repose sur le respect de procédures codifiées incluant un chemin de <em>vérification,</em> inverse du chemin de conception, allant du test unitaire au test système. Les <em>méthodes formelles,</em> s'appuyant sur des modèles mathématiques correctement définis, trouvent aujourd'hui une place grandissante dans ces méthodologies et sont d'ores et déjà admises, voire recommandées, comme complément dans les méthodes traditionnelles, y compris dans des documents normatifs.</p> </body>