Projet : MOSCOVA - moscova

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00040000000000000000" id= "SECTION00040000000000000000"></a> <a name="MOSCOVA_domaine_" id="MOSCOVA_domaine_"></a><br /> Domaines d'applications</h1><a name="MOSCOVA_domaine_domaine" id="MOSCOVA_domaine_domaine"></a> <p><strong>Mots clés :</strong> <i>télécommunication, application répartie, sécurité, analyse statique de programmes, vérification .</i></p> <p>La programmation distribuée avec mobilité intervient dans la programmation du World Wide Web et des systèmes mobiles autonomes. Elle permet la personnalisation des interfaces et de la communication entre plusieurs clients. Les télécommunications sont un autre domaine d'application, avec les commutateurs actifs ou les services dits intelligents.</p> <p>L'analyse statique de programmes a des retombées dans la validation des logiciels critiques embarqués pour l'aéronautique, l'automobile ou l'espace. Elle a par exemple été utilisée pour vérifier certaines propriétés du logiciel de bord des vols Ariane 502 et 503, de l'ARD et de divers satellites. Un autre domaine d'application est l'optimisation du code généré par les compilateurs de langages de programmation de haut niveau, comme Ocaml ou Java.</p> </body>