Projet : LANDE - lande

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00075000000000000000" id= "SECTION00075000000000000000">Action Castor</a></h2>  <a name="LANDE_contrats_module-16" id= "LANDE_contrats_module-16"></a> <p><a name="action-castor" id="action-castor"></a><br /> <br /> <span class="textbf">Participants :</span> Pascal Fradet, Lakshminarayanan Renganarayanan.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>architectures de logiciel, vues, cohérence, sécurité, analyse, vérification .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>L'objectif du projet Castor est de fournir un environnement permettant de décrire l'architecture d'un système d'informations et d'étudier ses propriétés de sécurité. L'analyse d'une telle architecture permettra de fournir les conditions qui doivent être vérifiées par les composants pour assurer des contraintes de sécurité globales.</i> </div> <p>Le projet Castor, financé par le Celar, regroupe les sociétés Sycomore Aérospatiale Matra, <small>AQL</small> et <small>TNI</small> et les projets <small>EP-ATR</small> et Lande de l'Irisa. Son objectif est de fournir un environnement permettant de décrire l'organisation globale d'un système d'informations et d'étudier ses propriétés de sécurité. Il est donc nécessaire de formaliser l'architecture du logiciel à l'aide des vues nécessaires à l'expression des propriétés de sécurité considérées. L'analyse d'une telle architecture doit fournir les conditions qui doivent être vérifiées par les composants pour assurer des contraintes de sécurité globales. Elle doit également permettre d'identifier l'impact d'un changement de configuration sur la sécurité du système. Nous étudions dans ce cadre les problèmes liés aux descriptions multi-vues (relations, cohérence) et à l'agrégation de composants (c'est-à-dire aux vues hiérarchiques). Cette action se situe dans le prolongement des travaux en cours sur la vérification de cohérence d'architectures à vues multiples.</p> </body>