Précédent : Actions industrielles Remonter : Actions industrielles Suivant : Actions nationales et internationales

Le LIS (Laboratoire d'Ingénierie de la Sûreté de Fonctionnement)

Le 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 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 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 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 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 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 [1].

Le succès des travaux menés par le 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 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 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 LIS et des nouveaux défis à prendre en compte conduit à structurer les activités du 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 LIS concerne principalement la protection dans les systèmes sûrs de fonctionnement.

Précédent : Actions industrielles Suivant : Actions nationales et internationales Remonter : Actions industrielles