Projet : LANDE - lande

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00040000000000000000" id= "SECTION00040000000000000000"></a> <a name="LANDE_domaine_" id="LANDE_domaine_"></a><br /> Domaines d'applications</h1><a name="LANDE_domaine_module-8" id="LANDE_domaine_module-8"></a> <p><a name="RAapplications" id="RAapplications"></a></p> <p><strong>Mots clés :</strong> <i>sécurité, sûreté, confidentialité, intégrité, logiciel critique, carte à puce, commerce électronique, génération de jeux de test, outil de débogage, architecture sécurisée .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Les deux cibles privilégiées du projet Lande sont:</i> <ol> <li><i>Les applications qui exigent un degré de confiance très important justifiant l'emploi de méthodes formelles. L'accent est mis en particulier sur la sécurité des informations (confidentialité, intégrité).</i></li> <li><i>Les logiciels complexes ou qui nécessitent des modifications fréquentes : il s'agit du domaine d'excellence des langages de programmation logique.</i></li> </ol> </div> <p>De par sa nature même, le projet Lande est orienté « technologie » plutÔt que « domaine d'application ». La plupart des domaines cités ici sont donc des illustrations de travaux passés ou en cours, plutÔt que des centres d'intérêt propres du projet. Un exception peut être faite toutefois pour ce qui concerne la sécurité des systèmes d'information (au sens de confidentialité et d'intégrité notamment). Il s'agit d'un domaine d'application où l'exigence de méthodes formelles se fait fortement sentir et qui comporte des implications industrielles majeures, en particulier pour le développement du commerce électronique. Le projet Lande a investi depuis plusieurs années dans ce domaine qui prend une importance croissante dans l'ensemble de ses activités.</p> <p>De manière générale, on peut identifier deux cibles privilégiées pour les outils formels et les langages de haut niveau qui sont étudiés dans le projet :</p> <ul> <li>La première concerne les applications complexes ou exigeant un degré de confiance très important justifiant l'emploi de méthodes formelles. Il peut s'agir de logiciels critiques pour la confidentialité ou l'intégrité des informations, la sécurité des personnes. Sur ce thème, nous travaillons (dans le cadre de Dyade et du projet européen secsafe) à l'analyse et la vérification de transformateurs de bytecodes Java Card, avec comme domaine d'application la sécurité des cartes à puce (cf modules <a href= "resul_module-11_Toc.html#securite">6.2.3</a>, <a href= "contr_module-15_ct.html#action-vip">7.3</a> et <a href= "contr_module-secsafe_ct.html#secsafe">7.4</a>). <p>Les langages d'architectures de logiciels constituent une démarche plus récente pour le développement de logiciels complexes. Sur ce thème, nous sommes impliqués dans une action industrielle (l'action <small>CASTOR</small> cf <a href= "contr_module-16_Toc.html#action-castor">7.5</a>) qui porte sur la conception d'architectures sécurisées. Elle s'effectue en collaboration avec Matra <small>SI</small>, <small>AQL</small>, <small>TNI</small> et le projet E<small>P-ATR</small> de l'Irisa.</p> <p>On peut citer également dans cette catégorie nos travaux sur la génération automatique de jeux de test qui se poursuivent en collaboration avec l'éditeur d'outils de tests Attol Testware et des industriels utilisateurs comme Siemens et Spacebell (cf module <a href= "contr_module-14_Toc.html#two">7.2</a>).</p> </li> <li>La seconde cible de nos travaux concerne les logiciels qui nécessitent des modifications fréquentes : on peut citer par exemple les systèmes qui mettent en oeuvre des ensembles de règles (de facturation, de réservation, etc.) devant suivre les évolutions du marché ou de la législation. Il s'agit du domaine d'excellence des langages de programmation logique. La mise en oeuvre du langage <span class="MATH"><img width="9" height="12" align= "bottom" border="0" src="img1.png" alt= "$ \lambda$" /></span>Prolog réalisée dans le projet a notamment été utilisée pour la programmation d'un module de recherche de composants logiciels, pour la reconnaissance de partitions musicales (cf module <a href= "logic_Toc.html#RAlogiciels">5</a>).</li> </ul> </body>