Projet : PARA

previous up next contents
Précédent : La sémantique des langages de Remonter : Parallélisme Suivant : Logiciels


   
Domaines d'applications

 

 

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. Il a par exemple été utilisé 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.

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écoms sont un autre domaine d'application, avec les commutateurs actifs ou les services dits intelligents.