Actions industrielles

$\cal LIS$ Laboratoire d'Ingénierie de la Sûreté de Fonctionnement

Le $\cal LIS$ a été fondé en Juillet 1992 sous la forme d'un laboratoire commun entre le LAAS, Matra Marconi Space et Technicatome, avec le soutien de la Région Midi-Pyrénées. Implanté au LAAS, le $\cal LIS$ est constitué de chercheurs du groupe Tolérance aux Fautes et Sûreté de Fonctionnement Informatique, et d'ingénieurs détachés par les partenaires industriels.

L'objectif global du $\cal LIS$ peut se résumer par:``Spécifier, concevoir, réaliser et exploiter des systèmes où la faute est naturelle, prévue et tolérable ''.

Le $\cal LIS$ se consacre à des recherches amont, tant théoriques qu'expérimentales, dont les résultats sont valorisés par les partenaires industriels. Dans sa première phase (1992-1996), le $\cal LIS$ menait ses travaux selon trois axes principaux:

Systèmes sûrs de fonctionnement: prise en compte simultanée de trois attributs de la sûreté de fonctionnement: disponibilité, sécurité - innocuité et sécurité - confidentialité,
Logiciels sûrs de fonctionnement: conception et validation de logiciels pour applications critiques,
Interfaces homme-système sûres de fonctionnemen: tolérance aux fautes dues aux interactions humaines.

Les trois axes de recherche du $\cal LIS$ sont complétés par la rédaction et le maintien à jour d'un guide de la sûreté de fonctionnement. L'ouvrage résultant a été publié en 1995 chez Cépaduès-Editions et une deuxième édition (augmentée) a paru en 1996 [2].

Le succès des travaux menés par le $\cal LIS$ a conduit les premiers partenaires à souhaiter vivement la poursuite du laboratoire au-delà de sa durée initialement prévue de quatre ans. Par ailleurs, le $\cal LIS$ a été l'objet depuis sa création de demandes de la part d'autres partenaires potentiels désirant se joindre au laboratoire. Ceci a conduit à élargir la composition du $\cal LIS$ en accueillant trois nouveaux partenaires: Thomson-CSF, l'Aérospatiale et EDF, sous forme d'un ``laboratoire coopératif''.

La considération conjointe des résultats obtenus depuis la création du $\cal LIS$ et des nouveaux défis à prendre en compte conduit à structurer les activités du $\cal LIS$ renouvelé selon les trois axes suivants:

Réutilisation pour la sûreté de fonctionnement: vérification et évaluation pour des contextes d'utilisation différents ; approches orientées-objet.
Protection dans les systèmes sûrs de fonctionnement: schémas d'autorisation ; coexistence de logiciels de criticités différentes ; tolérance aux erreurs d'interaction.
Conception de systèmes sûrs de fonctionnement en vue de leur validation: répartition des tâches entre le système et ses opérateurs ; modélisation fonctionnelle et comportementale en présence de fautes ; modèle de développement de systèmes à sûreté de fonctionnement explicite.

La participation de Saturne au $\cal LIS$ concerne principalement la protection dans les systèmes sûrs de fonctionnement.

Autres actions industrielles

Aerospatiale : PROLE - Protection des Logiciels Embarqués : définition de clauses qualité et de mécanismes de protection pour prévenir l'introduction de virus ou d'actes malveillants dans un logiciel embarqué (Yves Deswarte).

Aérospatiale : Pré-étude de faisabilité sur l'utilisation de micronoyaux du commerce pour l'avionique nouvelle. Utilisation du micronoyau Chorus ClassiX r3 pour la réalisation de noyaux de systèmes embarqués au standard ARINC 653 (Jean-Charles Fabre).

UAP : Co-financement de la thèse de Rodolphe Ortalo.

Caisse Régionale de Crédit Agricole Mutuel de Quercy-Rouergue : Appliquation de la technique d'évaluation de la sécurité à l'une de ses agences.

CTI France Télécom : Système réflexif tolérant les fautes sur COOL-ORB, de la conception à la validation. Responsable : Jean-Charles Fabre. Durée : 3 ans (déc. 1997 - déc. 2000).

Précédent : Résultats nouveaux Remonter : PROJET SATURNE, Système réparti tolérant Suivant : Actions régionales, nationales et internationales