Laboratoire d'Ingénierie de la Sûreté de Fonctionnement

Le Laboratoire d'Ingénierie de la Sûreté de fonctionnement (LIS) a été créé en juin 1992 pour une durée de quatre ans par Matra Marconi Space France (actuellement Astrium) et Technicatome, deux sociétés industrielles leaders dans leurs domaines respectifs, et le LAAS-CNRS, avec le soutien du Conseil Régional de Midi-Pyrénées. En raison des succès des travaux menés par le LIS, les partenaires ont vivement souhaité la poursuite du laboratoire au-delà de sa durée initiale de quatre ans. Le LIS a donc été reconduit pour une nouvelle période de quatre années en juin 1996, date à laquelle trois nouveaux partenaires, Aerospatiale Aéronautique (devenu ensuite Aerospatiale Matra Airbus et actuellement EADS Airbus), Électricité de France et Thomson-CSF (actuellement THALES), ont rejoint les membres fondateurs. Localisé au LAAS, le LIS a constitué une forme exemplaire de Laboratoire Coopératif, se caractérisant par la mise en commun de compétences - personnels détachés par les partenaires industriels, chercheurs du groupe Tolérance aux Fautes et Sûreté de fonctionnement informatique du LAAS et doctorants - et de ressources, pour résoudre des problèmes de recherche considérés par l’ensemble des partenaires comme des problèmes clés de la sûreté de fonctionnement. Cette structure et les modalités de fonctionnement, par lesquelles des ingénieurs ont été immergés quotidiennement et sur une longue période au sein d’un laboratoire de recherche académique restent novatrices et originales en matière de coopération recherche-entreprises. Depuis son origine, le LIS a accueilli 17 détachés industriels. Les activités menées par le LIS ont conjugué recherche ˆ long terme et soucis applicatifs des partenaires industriels. Ces activités peuvent être illustrées par la rosace ci-contre. Le cercle intérieur est relatif aux recherches effectuées au sein du LIS, qui sont des recherches amont, tant théoriques qu'expérimentales, donnant lieu notamment ˆ des travaux de doctorat ; le cercle extérieur est relatif d'une part à des activités de nature plus applicative, et d'autre part à des activités fédératrices et dÕinteraction menées en collaboration avec tout ou partie des partenaires.

THEOS : une interface tolŽrante aux erreurs des opŽrateurs

Les activités de recherche se sont concrétisées par la préparation de 12 thèses de doctorat, co-encadrées par des chercheurs et des détachés industriels. À titre d’exemples de résultats de recherche obtenus lors des travaux de doctorat, on peut mentionner la définition de barrières logicielles pour le confinement d’erreurs, la vérification expérimentale de la relation entre fautes, erreurs et défail-lances dans le logiciel, la mise en évidence d’organisations spontanées chez les opérateurs de systèmes informatiques critiques. Les recherches menées au sein du LIS ont donné lieu à la publication de 70 articles et communications dans des revues et colloques nationaux et interna-tionaux. Le partenariat privilégié procuré par le LIS a offert de plus un débouché naturel pour les doctorants et stagiaires impliqués dans les travaux du laboratoire.

Le LIS a par ailleurs mis l’accent sur le développement d’activités fédératrices. Deux ouvrages ont ainsi été produits : le Guide de la Sûreté de Fonctionnement (Cépaduès-Editions, 1995-96), et Composants logiciels et sûreté de fonctionnement - intégration de COTS (Hermes Sciences Publications, 2000). Le premier ouvrage décrit et met en perspective les méthodes et des techniques d’ingénierie de la sûreté de fonctionnement couvrant successivement les systèmes informatiques et les interactions homme-système. Le Guide a fait l’objet d’une présentation publique le 11 mai 1995, à laquelle ont assisté plus de 130 personnes. Le second ouvrage concrétise la réflexion qui a été menée en commun sur la problématique posée par l’intégration de composants préalablement existants, d’origine commerciale ou non (Component-Off-the-Shelf ou COTS en abrégé). Une journée de présentation des résultats de cette action " Conception et qualification de systèmes critiques intégrant des COTS ", réunissant plus de 100 personnes, a eu lieu le 22 juin 2000. Il faut enfin mentionner la tenue d’une école d’été. Cette école intitulée " Sûreté de fonctionnement des systèmes informatiques " s’est déroulée du 5 au 9 juillet 1999 à Gages, près de Rodez, dans l’Aveyron. Elle a réuni 69 participants, pour la plupart rattachés aux partenaires, auxquels se sont joints quelques intervenants et observateurs extérieurs invités.

Au titre des activités applicatives, il faut mentionner les contributions des chercheurs à des réponses des partenaires industriels à des appels d’offres nationaux ou internationaux et la participation — éventuellement sous la forme de consultance — de chercheurs à des projets menés par les partenaires industriels, transfert de logiciels auprès des partenaires, etc. Deux actions majeures impliquant plusieurs partenaires du LIS sont à noter : le projet GUARDS (Generic Upgradable Architecture for Real-time Dependable Systems) dans le cadre du programme ESPRIT et le projet CARLIT (CARactérisation des Logiciels InTermédiaires) labellisé par le Réseau National des Technologies Logicielles (RNTL). La définition et la mise en œuvre de ces deux projets ont largement bénéficié de l’existence du LIS. Le projet GUARDS a été initié dans le cadre de la première phase du LIS et mené dans le cadre de la seconde phase. Le projet CARLIT est le fruit de la synergie établie entre les partenaires au cours de la seconde phase du LIS, en particulier dans le cadre de l’action menée sur l’intégration des " COTS ".

Les activités d’interaction ont concerné deux grandes catégories d’activités : les séminaires annuels et les ateliers thématiques. La tenue d’un séminaire annuel a constitué un moyen d’interaction privilégié entre les partenaires, notamment pour informer les personnels des partenaires industriels ne participant pas directement au laboratoire sur les avancées des travaux menés par le LIS. Les personnalités du Comité Directeur extérieures au LIS étaient conviées à assister à ces séminaires. Les ateliers sont des réunions de travail informelles destinées soit à aborder des sujets jugés importants par les partenaires, mais qui ne sont pas directement couverts par les axes de recherche affichés, soit à apporter un éclairage privilégié sur un axe de recherche particulier. En tout huit séminaires annuels et neuf ateliers thématiques ont été organisés par le LIS (cf. tableau ci-après). Les trois derniers ateliers s’inscrivent dans la série des réunions de travail mise en place dans le cadre de la réflexion menée sur le thème des " COTS ".

La suite de ces huit ans de collaboration fructueuse : la mise en Ïuvre du Réseau d'Ingénierie de la Sûreté de fonctionnement (RIS). Cette nouvelle formule est destinée à favoriser le prolongement de la coopération établie entre les partenaires du LIS, et son extension à une participation industrielle et académique élargie.

Publications et Rapports   Mémoires de thèse

 Groupes de Recherche du LAAS-CNRS

Last modification: