Projet : PROTHEO - protheo

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00040000000000000000" id= "SECTION00040000000000000000"></a> <a name="PROTHEO_domaine_" id="PROTHEO_domaine_"></a><br /> Domaines d'applications</h1><a name= "PROTHEO_domaine_panorama" id="PROTHEO_domaine_panorama"></a> <p><strong>Mots clés :</strong> <i>modélisation, prototypage, vérification, logiciel de télécommunication, logiciel de planification .</i></p> <p>Les recherches menées dans PROTHEO s'appliquent à la modélisation, au prototypage et à la vérification de composants logiciels. Pour modéliser des systèmes complexes, nous utilisons des langages déclaratifs fondés sur des règles, des contraintes et des stratégies qui permettent de prototyper rapidement une application. Nous offrons des outils de preuve adaptés pour vérifier des propriétés de ces systèmes ou plus précisément de leur modélisation. Les domaines d'application visés sont la spécification et la vérification de logiciels de télécommunication (protocoles et services) dans le cadre d'un contrat avec le CNET et du projet RNRT Calife (voir module <a href= "contr_calife_Toc.html#calife">7.3</a>) et les logiciels de planification, comme <span class="textsf">ROUTEUR</span> (voir module <a href= "contr_gihp_Toc.html#gihp">7.1</a>). A plus long terme, nous voulons appliquer nos techniques à la modélisation de systèmes biologiques, de systèmes réactifs et de systèmes physiques hybrides, c'est-à-dire ayant des comportements discrets et continus.</p> </body>