PARCOURS D’UN INFORMATICIEN HORS PAIR Directeur de recherche au CNRS, Joseph Sifakis est né en Crête en 1946. Après des études d’ingénieur électricien à l’École polytechnique d’Athènes, il vient en France afin de poursuivre des études de physique théorique. Mais il découvre l’informatique, une discipline alors en plein essor, et rejoint le laboratoire Imag de Grenoble. Il y soutient sa thèse de docteur-ingénieur en 1974, puis, en 1979, sa thèse de doctorat d’État qui porte sur le model checking. En Clarke et Allen Emerson, c’est une méthode de test qui ne travaille pas sur le système réel, mais sur un prototype virtuel, un modèle, de celui-ci. La méthode consiste donc d’une part à extraire un modèle mathématique décrivant le système réel, d’autre part à analyser ce modèle afin de déterminer s’il répond ou pas à un certain nombre d’exigences qui caractérisent son comportement correct. Sur le papier, le model checking est abstrait et très général. Néanmoins, cette méthode est aujourd’hui employée dans de très nombreuses applications. J.S. : De façon amusante, lorsque nous avons introduit le model checking, en 1982, nous avons eu des difficultés pour publier nos travaux. Théoriquement en effet, cette méthode se proposait de tester des systèmes dont le nombre d’états possibles est potentiellement infini. Or, en pratique, elle ne permettait de tester que 10 000 de ces états. Nous étions alors assez peu crédibles ! C’est à partir de 1989 que tout a changé. J’ai alors initié, ici à Grenoble, une conférence considérée aujourd’hui comme « la » conférence du domaine. Et nous avons réussi dès lors à intéresser une large communauté de chercheurs ainsi que des industriels comme Intel et AT&T (American Telephone & Telegraph) à nos travaux. Après vingt ans d’efforts, nous avons partiellement surmonté les principaux obstacles grâce à des progrès sur deux fronts. Le premier, les techniques d’analyse qui sont devenues de plus en plus performantes. Et le deuxième, le nombre d’états d’un système que l’on peut tester – entre 2 100 et 2 300 – du fait de l’augmentation de la puissance des ordinateurs. Aujourd’hui, le model checking est utilisé dans toutes les industries où il y a de l’informatique : microélectronique, logiciels, avionique, automobile, etc. D’ailleurs, toute votre carrière s’est faite à l’interface de la recherche fondamentale et de la recherche appliquée… 1993, il crée le Verimag, aujourd’hui rattaché au département des Sciences et Technologies de l’information et de l’ingénierie (ST2I) du CNRS, l’un des premiers laboratoires de recherche dans le domaine des systèmes embarqués critiques 1. Les travaux théoriques et technologiques effectués à Verimag sont notamment à l’origine de l’outil Scade, utilisé par Airbus pour la conception et la validation des systèmes critiques temps réel, et devenu une référence dans l’aéronautique. Soucieux d’allier recherche fondamentale et recherche appliquée, Joseph Sifakis, médaillé d’argent du CNRS en 2001, a établi des liens de longue durée entre Verimag et de nombreuses entreprises, dont ST Microelectronics et France Télécom. M.G. 1. Un système est dit « critique » lorsqu’une panne ou un dysfonctionnement de celui-ci peut avoir des conséquences dramatiques. J.S. : Très franchement, en ce qui me concerne, je ne fais pas de distinction. Dans les grandes universités américaines par exemple, on trouve les bons résultats théoriques là où l’on fait aussi les meilleures applications ! Ainsi, le débat sur ce qu’il faudrait préférer ou soutenir est à mon avis stérile. L’important est de faire de la bonne recherche, c’est-à-dire une recherche créative. Pour ce faire, le système doit être capable de retenir les meilleurs chercheurs. D’une manière générale, je pense qu’il faut une forte sélectivité couplée à des carrières attrayantes, y compris financièrement. Cette sélectivité doit aussi ouvrir la possibilité aux meilleurs de travailler pour longtemps. C’est parce que j’ai pu travailler sans être ballotté au gré des modes ou des financements que j’ai pu réaliser mes travaux. Et ceci, y compris dans leur dimension la plus concrète. Sur quoi travaillez-vous actuellement ? J.S. : Je m’intéresse essentiellement à la question de savoir comment construire au mieux un système informatique afin de pouvoir le vérifier le plus facilement possible. Ceci dans le cadre d’une approche dite de composants : dans toutes les disciplines, on construit un système complexe à partir de composants élémentaires, comme une maison à partir de briques. Ainsi je travaille sur ce que pourraient être ces briques en informatique, et sur les différents types de « colles » permettant d’agencer entre elles ces différentes briques. C’est la question d’une théorie générale en informatique dont je vous parlais au début. Celle qui serait à l’informatique ce que la mécanique est à la construction des ponts. Propos recueillis par Mathieu Grousson 1. Laboratoire CNRS/Institut national polytechnique de Grenoble/Université Grenoble-I. CONTACT ➔ Joseph Sifakis Laboratoire Verimag, Grenoble joseph.sifakis@imag.fr BRÈVES La science en vacances INSITU Le 16 janvier 2008, le CNRS a signé un partenariat avec le tour-opérateur Escursia pour développer le tourisme scientifique. Spécialisé dans les séjours d’apprentissage et de découverte de la nature, le voyagiste propose donc désormais des voyages impliquant des chercheurs du CNRS. La destination du premier séjour prévu dans ce partenariat ? Le site des Nouragues en Guyane française. Dans ce centre de recherches CNRS isolé en pleine réserve naturelle – il n’est accessible qu’après plusieurs heures de pirogue et de marche ou par hélicoptère –, les vacanciers pourront découvrir les écosystèmes de la forêt amazonienne. C’est la première fois que cette station scientifique, spécialisée dans les domaines de l’écologie et de l’environnement et réputée dans le monde entier, s’ouvre à des voyageurs venus partager durant quelques jours la passion et le quotidien des chercheurs. > www2.cnrs.fr/presse/communique/1268.htm Une nouvelle médiatrice pour le CNRS Le 1 er janvier 2008, Michèle Postel a été nommée médiatrice du CNRS, un poste vacant depuis mars 2007. La mission de cette directrice de recherche, qui a aussi une longue expérience en région, à la direction des ressources humaines et à la direction générale ? Aider à résoudre les différends et les difficultés survenant dans la vie interne de l’établissement et mettant en cause le fonctionnement des départements scientifiques, services centraux, délégations régionales et structures opérationnelles de recherche et de service. Chaque agent relevant du CNRS et en fonction au sein de l’établissement peut la saisir directement, sans passer par la voie hiérarchique. Sa mission pourra également la conduire à faire des propositions d’amélioration du fonctionnement des services. > Contact : michele.postel@dr20.cnrs.fr Le journal du CNRS n°218 mars 2008 33