DOSSIER d’AVANCEMENT à la classe exceptionnelle du …1 DOSSIER d’AVANCEMENT à la classe exceptionnelle du CORPS des PROFESSEURS des UNIVERSITÉS présenté par Charles ANDRÉ

1

DOSSIER d’AVANCEMENT

à la classe exceptionnelle

du CORPS des PROFESSEURS

des UNIVERSITÉS

présenté par

Charles ANDRÉ

3

CONTENU DU DOSSIER

CONTENU DU DOSSIER....................................................................................................... 3

PRÉSENTATION .................................................................................................................... 7

CURRICULUM VITÆ........................................................................................................... 9 ÉTAT CIVIL ..................................................................................................................................... 9 ADRESSES........................................................................................................................................ 9

PERSONNELLE................................................................................................................................................. 9 PROFESSIONNELLES ........................................................................................................................................ 9 COURRIER ÉLECTRONIQUE.............................................................................................................................. 9 SITE INTERNET................................................................................................................................................ 9

DISTINCTION HONORIFIQUE ................................................................................................... 9 SERVICES....................................................................................................................................... 10 TITRES............................................................................................................................................ 10

LISTE DES PUBLICATIONS.............................................................................................. 11 PUBLICATIONS DANS LES REVUES SPÉCIALISÉES AVEC COMITÉ DE LECTURE 11 OUVRAGES DE SYNTHÈSE ....................................................................................................... 12 COLLOQUES AVEC ACTES....................................................................................................... 12 COLLOQUES SANS ACTE OU AVEC ACTES À DIFFUSION RESTREINTE................... 17 THÈSES SOUTENUES.................................................................................................................. 18 RAPPORTS DE FIN DE CONTRATS......................................................................................... 18 NOTES INTERNES........................................................................................................................ 19 AUTRES MANIFESTATIONS SANS ACTES............................................................................ 20

RÉSUMÉ DES ACTIVITÉS................................................................................................. 21 ENSEIGNEMENTS........................................................................................................................ 21 RECHERCHE................................................................................................................................. 21 ADMINISTRATION ...................................................................................................................... 21

ENSEIGNEMENTS............................................................................................................... 23 MOTS CLÉS ................................................................................................................................... 23 TYPES D’ENSEIGNEMENTS...................................................................................................... 23 IDÉES DIRECTRICES.................................................................................................................. 24

NOUVELLES PERSPECTIVES .......................................................................................................................... 25 SUPPORTS D’ENSEIGNEMENT................................................................................................ 26 DIRECTIONS PÉDAGOGIQUES................................................................................................ 26 INITIATIVES NATIONALES ...................................................................................................... 27

RECHERCHE ........................................................................................................................ 29 MOTS CLÉS ................................................................................................................................... 29 LABORATOIRE............................................................................................................................. 29

4

RÉSULTATS MARQUANTS........................................................................................................ 29 DOMAINE DE RECHERCHE...................................................................................................... 29 DIGRESSION SUR L’APPROCHE SYNCHRONE................................................................... 30 L’ÉQUIPE SPORTS....................................................................................................................... 30

HISTORIQUE ................................................................................................................................................. 31 COMPOSITION............................................................................................................................................... 31 POLITIQUE DE RECHERCHE ........................................................................................................................... 31

LIENS AVEC D’AUTRES ÉQUIPES .......................................................................................... 32 PARTICIPATION AUX PROJETS NATIONAUX ................................................................................................... 32 LABORATOIRES ............................................................................................................................................ 32

LES TRANSFERTS........................................................................................................................ 33 DIFFUSION DES RÉSULTATS .......................................................................................................................... 33 TRANSFERTS INDUSTRIELS ........................................................................................................................... 33 RÉFLEXION SUR LE DÉVELOPPEMENT DE LOGICIELS..................................................................................... 34

LES CRÉDITS ................................................................................................................................ 34 ENCADREMENTS......................................................................................................................... 35

THÈSES......................................................................................................................................................... 35 LUC FANCELLI ............................................................................................................................................. 35 MARIE-AGNÈS PERALDI............................................................................................................................... 35 DANIEL GAFFÉ ............................................................................................................................................. 35 HÉDI BOUFAÏED ........................................................................................................................................... 35 LIONEL BLANC............................................................................................................................................. 35 RAPPORTS .................................................................................................................................................... 36 CONFÉRENCES.............................................................................................................................................. 36

PERSPECTIVES : PROJET COMMUN AOSTE....................................................................... 36 ADMINISTRATION ............................................................................................................. 39

MOTS CLÉS ................................................................................................................................... 39 GESTION D’ENSEIGNEMENTS ................................................................................................ 39

SECOND CYCLE EEA.................................................................................................................................... 39 DEA TTI...................................................................................................................................................... 39

GESTION DE RECHERCHE ....................................................................................................... 39 DIRECTION DE DÉPARTEMENT............................................................................................. 40 CONSEILS ...................................................................................................................................... 40 DIRECTION DE L’ÉCOLE DOCTORALE STIC..................................................................... 41

CONCLUSIONS ET PERSPECTIVES............................................................................... 43

LISTE DES PERSONNES CITÉES..................................................................................... 45 PERSONNES ASSUMANT DES FONCTIONS ADMINISTRATIVES................................... 45 PERSONNES AYANT DES RESPONSABILITÉS DE RECHERCHE HORS UNIVERSITÉ DE NICE.......................................................................................................................................... 45

ANNEXE A : OUTILS ET LOGICIELS POUR LES ENSEIGNEMENTS DE GÉNIE INFORMATIQUE ................................................................................................................. 47

GÉNÉRALITÉS SUR LA PLATE-FORME................................................................................ 47 OBJECTIFS .................................................................................................................................................... 47 CONTENU ..................................................................................................................................................... 47

LOGICIELS .................................................................................................................................... 47 UTILITAIRES................................................................................................................................................. 47

5

MODÈLES ÉTATS - TRANSITIONS................................................................................................................... 47 PROGRAMMATION DE CONTRÔLEURS ........................................................................................................... 48 ARCHITECTURE DES ORDINATEURS .............................................................................................................. 48

ANNEXE B : ACCÈS AUX DOCUMENTS........................................................................ 49

6

7

PRÉSENTATION J’ai 39 années1 de service dans la fonction publique. Professeur agrégé de Sciences Physiques à 23 ans, je suis venu à l’enseignement supérieur 2 ans plus tard, attiré par les perspectives « enseignement - recherche ». J’ai été assistant agrégé pendant 5 ans, puis maître-assistant pendant 8 ans dans un IUT, département de Génie Electrique. Je suis professeur des Universités depuis 19 ans, dont 13 ans en première classe. Je souhaite, au travers de ce dossier d’avancement au choix, montrer ma ligne de conduite et mon engagement en tant qu’enseignant chercheur durant ces 32 années passées au service de l’Université. Je vais m’efforcer d’illustrer qualitativement et quantitativement comment, en tant que professeur, j’ai pu contribuer aux activités d’enseignement, de recherche et d’administration. De plus, un dossier d’avancement n’est pas un dossier de recrutement. Il me semble plus important ici de livrer des réflexions personnelles sur les enseignements et la recherche que sur leurs contenus techniques (bien que je sois très attaché à ces aspects). Support électronique : Ce rapport est également disponible sous forme électronique. Les liens présents dans le document facilitent l’accès aux références. Pour obtenir les versions électroniques, aller directement à http://www.i3s.unice.fr/~andre/activites, il s’agit d’un répertoire caché.

1 Les chiffres concernant les services sont calculés au 1° octobre 2003.

9

CURRICULUM VITÆ

ÉTAT CIVIL

ANDRÉ Charles José Francis né le 10-07-1946 à Antibes (06600) marié le 27-07-1967 1 enfant

ADRESSES

personnelle Les Provençales, villa 19 1222 Corniche d’Agrimont 06700 Saint Laurent du Var

professionnelles Université de Nice – Sophia Antipolis http://www.unice.fr

Enseignement

Département EEA Faculté des Sciences Parc Valrose 06108 NICE Cédex 2 (℡ 04 92 07 63 01 (département EEA)) http://www.unice.fr

Recherche

Laboratoire I3S Université de Nice – CNRS BP 121 06903 Sophia Antipolis Cédex (℡ 04 92 94 27 40) http://www.i3s.unice.fr

courrier électronique [email protected]

site internet http://www.i3s.unice.fr/~andre

DISTINCTION HONORIFIQUE

Chevalier de l'ordre des Palmes Académiques (juillet 1983)

10

SERVICES

Année Fonction Établissement 1964 Élève-Maître École Normale

d’Instituteurs (Montpellier) 1965 Élève-Professeur IPES

(Marseille) 1969 Professeur Agrégé L.E.T des Eucalyptus

(Nice) 1971 Assistant Agrégé I.U.T Départ. GE

(Nice) 1976 Maître-Assistant

2° classe I.U.T Départ. GE

(Nice) 1978 Maître-Assistant

1° classe I.U.T Départ. GE

(Nice) 1984 Professeur

2° classe Faculté des Sciences

(Nice) 1990 Professeur

1° classe Faculté des Sciences

(Nice)

TITRES

Année Diplôme Mention

1965 Équivalence Propédeutique

1967 Licence Physique II

1968 DES Optique TB

1969 Agrégation de Physique 10°

1973 DEA Electronique TB

1975 Thèse de 3° cycle TH

1981 Thèse d’État TH

11

LISTE DES PUBLICATIONS Les publications sont rangées suivant les catégories préconisées pour les rapports CNRS et dans l’ordre chronologique inversé (les plus récentes d’abord). Certaines publications sont distinguées par des codes entre crochets. Il s’agit de références utilisées dans le texte.

PUBLICATIONS DANS LES REVUES SPÉCIALISÉES AVEC COMITÉ DE LECTURE

[A.02] C ANDRÉ, R DE SIMONE: "Synchronous programming: Properties in a Reaction" JESA, 36(7):891-903, (2002).

[A.99] M BAYART, É LEMAIRE, M.A PERALDI, C ANDRÉ: "External and

SyncCharts Description of an Automobile Cruise Control System" Control Engineering Practice, vol 7, October 99, pp 1259-1267, (1999).

[A.97] C ANDRÉ, F. BOULANGER, M.A PÉRALDI, J.P RIGAULT, G VIDAL-

NAQUET: "Objects and Synchronous Programming" RAIRO-APII-JESA, vol 31, n°3, pp 417-432, (1997).

[A.96] C ANDRÉ, M.A PÉRALDI: "Predictability of a RTX2000-based Implementation"

Real Time Systems, vol 10, n°3, pp 223-244, (1996).

[A.94] C ANDRÉ, D. GAFFÉ: "Evénements et Conditions en GRAFCET" , APII, n°28 (4), pp 331-352, (1994).

[A.93] C ANDRÉ, M.A PÉRALDI: "GRAFCET and Synchronous Languages". in

Advances in GRAFCET, Special Issue APII, n°27, pp 95-105, (1993).

C ANDRÉ: "Delays in Synchronized Elementary Net Systems" , Advances in Petri Nets 91 G. Rozenberg Ed., Lecture Notes in Computer Sciences n° 524, Springer-Verlag (1991), pp 1-28.

C ANDRÉ, L FANCELLI: "Etude d'une réalisation mixte (Asynchrone / Synchrone) d'un

système temps réel", APII, n°25, pp 109-140, (1991).

C ANDRÉ: "Synchronized Elementary Net Systems" , Advances in Petri Nets 89, G Rozenberg Ed., Lecture Notes in Computer Sciences n° 424 , Springer-Verlag, pp 51-76, (1990).

C ANDRÉ: "Comportement d'un Réseau de Petri étiqueté". Publié dans "Parallélisme,

Communication et Synchronisation", Editions du CNRS, 1985, pp177-201.

C ANDRÉ: "The behaviour of a Petri Net on a subset of transitions". RAIRO Jaune, Vol 17, n 1, 1983, pp5-21.

12

M AUGUIN, F BOÉRI, C ANDRÉ: "Systematic method of realization of interpreted Petri nets". Digital Processes, n 6, Vol 1, 1980.

C ANDRÉ, P ARMAND, F BOÉRI: "Synchronic relations and application in parallel

computation". Digital processes, 5, 1979, pp99-113.

M AUGUIN, F BOÉRI, C ANDRÉ: "An algorithm for designing multiple boolean functions: application to PLAs". Digital Processes, Vol 4, n°3-4, 1978

J MARIN, C ANDRÉ, F BOÉRI: "Conception de systèmes séquentiels totalement

autotestables à partir des réseaux de Petri". RAIRO Automatique, Vol 10 n 11, Nov 76, pp5-22

C ANDRÉ, F BOÉRI, J MARIN: "Synthèse et réalisation des systèmes logiques à

évolutions simultanées". RAIRO Automatique, Vol 10, n°5, Mai 76, pp67-86.

C ANDRÉ: "Les amplificateurs opérationnels: exemples d'application". Bulletin de l'Union des Physiciens, n° 556, pp1025-1041

OUVRAGES DE SYNTHÈSE G-W BRAMS (nom collectif dont C ANDRÉ): "Réseaux de Petri: Théorie et Pratique"

(2 tomes). MASSON , 1983. (Traduit en italien et espagnol).

COLLOQUES AVEC ACTES D. GAFFÉ, C. ANDRÉ. «Modeling and Verification of a Mechatronic System by

SyncCharts.» 11th IFAC Symposium on Information Control in Manufacturing, Salvador (BR), April 2004.

[C.03.1] C. ANDRÉ. « Modélisation de systèmes réactifs par une approche synchrone :

Synccharts. » In Z. Mammeri, editor, Ecole d’été Temps Réel, Toulouse (F), Septembre 2003. IRIT. http://www.irit.fr/ETR2003

[C.03.2] C ANDRÉ: "Computing SyncCharts Reactions", Synchronous Languages

and Applications (SLAP03), July, 2003, Porto (P), Elsevier http://www.elsevier.nl/locate/entcs/volume88.html

[C.02.3] C ANDRÉ, J-P RIGAULT: "Variations on the Semantics of Graphical Models for

Reactive Systems", System Man and Cybernetics (SMC’02), October, 2002, Hammamet (TN), in Proceedings (CD-ROM), IEEE Press, ISBN: 2-9512309-4-x, Index TA2L2.

[C.02.2] C ANDRÉ, M-A PERALDI-FRATI, J-P RIGAULT: "Integrating the Synchronous

Paradigm into UML: Application to Control-Dominated Systems", UML 2002, October, 2002, Dresden (D), in Proceedings, Springer-Verlag, pp 438-444.

[C.02.1] M-A PERALDI-FRATI, C ANDRÉ, J-P RIGAULT: "UML et le paradigme

synchrone : Application à la conception de contrôleurs embarqués", RTS 2002, 26-28 mars, 2002, Paris (F). Edition Teknea, pp 71-89.

13

[C.01.2] C ANDRÉ, F BOULANGER, A GIRAULT: "Software Implementation of Synchronous Programs", International Conference on Application of Concurrency to System Design (ICACSD 2001), June 25-29, 2001, Newcastle upon Tyne (UK), in Proceedings of the Second International Conference on Application of Concurrency to System Design. IEEE Computer Society, pp 133-142.

C ANDRÉ, R DE SIMONE: "Programmation synchrone : propriétés dans l’instant",

Modélisation des systèmes réactifs (MSR’2001), 17-19 octobre, 2001, Toulouse (F), publié par Hermès Science Publications, pp 547-561.

[C.01.1] C ANDRÉ, M-A PERALDI-FRATI, J-P RIGAULT : "Scenario and Property

Checking of Real-Time Systems using a Synchronous Approach", 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), May 2-4, 2001, Magdeburg (D), pp 438-444.

[C.01.0] C ANDRÉ: "A Synchronous Approach to Reactive System Design", 12th EAEEIE

International Conference on Innovations in Education for Electrical and Information Engineering, May 14-16, 2001, Nancy (F).

[C.00.2] C ANDRÉ, M-A PERALDI-FRATI, D GAFFÉ : "Plate-forme pour l’étude et la

conception de systèmes automatisés", Technologies de l’Information et de la Communication dans les Enseignements d’ingénieurs et dans l’industrie (TICE’2000), 18-20 Octobre, 2000, Troyes (F), pp 121-126.

[C.00.1] C ANDRÉ, M-A PERALDI-FRATI : "Behavioral Specification of a Circuit using

SyncCharts: A Case Study" , Euromicro’2000 - Digital System Design 2000 (DSD’2000), September 5-7, 2000, Maastricht (NL), pp 91-98.

C ANDRÉ, H BOUFAIED : "Execution Machine for Synchronous Languages" , IDPT-2000

(Integrated Design and Process Technology), Dallas (TX), June 4-8, 2000.

C ANDRÉ, T TANZI : « Modélisation synchrone appliquée à la sûreté de fonctionnement » , 12° Colloque National de Sûreté de fonctionnement (Lambda-Mu 12), Montpellier (F), 28-30 Mars, 2000, pp 69-77.

H BOUFAÏED, A CAVANIÉ, B DION, S DISSOUBRAY, L ARDITI, G CLAVÉ, C

ANDRÉ : « An experiment in using Esterel Studio for modeling the control of mobile communication architectures » , 2nd Edition Sophia Antipolis Forum on MicroElectronics (SAME’99), Sophia Antipolis (F), October 22, 1999, pp 85-89.

[C.99.1] C ANDRÉ, T TANZI : « Rapid Prototyping of a TeleGeomatic Application » ,

TeleGeo’99, Lyon, May 6-7, 1999, pp 184-186

L. BLANC, M.A. PERALDI-FRATI, C ANDRÉ : " R-PORTS : Une plate-forme d’aide à la conception d’applications réparties", MSR’99 (Modélisation des Systèmes Réactifs), Cachan, 24-25 Mars, 1999. Hermès, pp 395-404

C ANDRÉ, H BOUFAIED : "Vérification de comportement de machine d’exécution" , MSR’99

(Modélisation des Systèmes Réactifs), Cachan, 24-25 Mars, 1999. Hermès, pp 121-130

[C.98.3] C ANDRÉ, A RESSOUCHE, J-M TANZI : " Combining Special Purpose and General Purpose Languages in Real-Time Programming" , PLRTIA Programming Languages for Real-Time Applications), Madrid (SP), December 1, 1998.

14

[C.98.2] M BAYART, E LEMAIRE, M.A PERALDI, C ANDRÉ : "External and SyncCharts Description of an Automobile Cruise Control" , ICV’98, IFAC Workshop, March 98, Seville (SP).

C ANDRÉ, D. GAFFÉ, M ROBERT : "Verifying Temporal Properties in GRAFCET" ,

CESA’98 IMACS-IEEE Multiconference, Hammamet, Tunisie, April 1-4, 1998., vol 3, pp 38-43.

[C.98.1] C ANDRÉ, H BOUFAIED, S DISSOUBRAY : "SyncCharts/Esterel: un modèle

synchrone pour systèmes réactives complexes", RTS’98 (Real-Time and Embedded Systems), Paris, 14-16 -janvier 1998, publié dans RTS’98, pp 175-194, Teknea. Prix de la meilleure présentation scientifique.

[C.97.3] C ANDRÉ, M BOURDELLES, S DISSOUBRAY : "SyncCharts/Esterel: un

environnement graphique pour la spécification et la programmation d’applications réactives complexes", Génie Logiciel 97, Paris, Décembre 1997, publié dans Actes GL97, n° 46.

[C.97.2] C ANDRÉ, M.A PERALDI, J.P RIGAULT : "Introducing the Synchronous Approach

into a Real-Time Course" , Real-Time Education Workshop 97, RTAS’97, Montréal (C), june 1997., published in Real Time Systems Education II, Mossé, Zalewski Ed., IEEE, pp 104-109.

[C.97.1] C ANDRÉ : "SyncCharts : un formalisme pour systèmes réactives complexes" ,

ELISA’97, Journées d’étude sur les logiciels pour le traitement de l’image, du signal et l’automatique, Nancy, 25-26 mars 1997.

C ANDRÉ, F BOULANGER, M.A PERALDI, J.P RIGAULT, G VIDAL-NAQUET : "Objets

et Programmation Synchrone", Modélisation des Systèmes Réactifs, AFCET, pp 55-62, Brest(F), mars, 1996.

[C.96.3] C ANDRÉ, J.C GENTINA, L KERMAD : "Approche Synchrone des Modes de Marche

et d’Exploitation", Modélisation des Systèmes Réactifs, AFCET, pp 259-265, Brest(F), mars, 1996.

C ANDRÉ, D. GAFFÉ : "GRAFCET et Environnements Synchrones", Modélisation des Systèmes

Réactifs, AFCET, pp 71-77, Brest(F), mars, 1996.

[C.96.2] C ANDRÉ (invited paper) : "Representation and Analysis of Reactive Behaviors: A Synchronous Approach", CESA’96, IEEE-SMC, Computational Engineering in Systems Applications, pp 19-29, Lille (F), July, 1996.

C ANDRÉ, D. GAFFÉ : "Proving Properties of GRAFCET with Synchronous Tools" , CESA’96,

IEEE-SMC, Computational Engineering in Systems Applications, pp 777-782, Lille (F), July, 1996.

[C.96.1] C ANDRÉ, H. BOUFAIED, D GAFFÉ, J.P MARMORAT : "Environnement pour la

programmation synchrone des systèmes réactifs", Real Time and Embedded Systems, pp 27-41, Paris(F), Janvier, 1996.

M.A PERALDI, C ANDRÉ, H. BOUFAIED : "Distributed Synchronous Processes for Control

Systems" , 12th Workshop DCCS’94, pp 41-46, Toledo (SP), September, 1994.

15

C ANDRÉ, D. GAFFÉ : "Coopération GRAFCET/ESTEREL" , Colloque AGI’94, pp 212-224,

Poitiers, Juin, 1994.

C ANDRÉ, M.A PERALDI : "Simulation of Temporal Behaviour based on a synchronous language" , MASCOTS’94, pp 147-151, Durham N.C (USA), January, 1994.

[C.93.2] C ANDRÉ, S. ELKHATTABI, J.C GENTINA, M.A PÉRALDI: "ESTEREL

programming in FMS", Int. Conf. on System, Man and Cybernetics, pp 252-257, Le Touquet (France), October, IEEE Press, 1993.

C ANDRÉ, M.A PÉRALDI: "Effective implementation of ESTEREL programs" , 5th Euromicro

Workshop on Real-Time Systems, pp 262-267, Oulu (Finland), June,, IEEE Press, 1993.

[C.93.1] C ANDRÉ, M.A PÉRALDI (invited paper) : "Synchronous programming: Introduction and application to industrial process control" , 7th Annual European Computer Conf., pp 461-470, Evry (France), May, IEEE Press, 1993.

C ANDRÉ, M.A PÉRALDI: "Using the synchronous language ESTEREL in simulation Hard

Real-Time System Implementation on a Microcontroller ”, IMAC/IFAC MIM’S2, pp 83-88, Brussels (Belgium), April, IFAC 1993.

C ANDRÉ, M.A PÉRALDI: "Programmation d’Applications Synchrones sur Micro-

contrôleurs", Conf. Solutions Informatiques Temps-Réel, Paris (France), Janvier, 1993.

C ANDRÉ, M.A PÉRALDI: "Hard Real-Time System Implementation on a

Microcontroller", IFAC WRTP92 Real Time Systems Workshop, Bruges (Belgium), June 23-26, 1992.

C ANDRÉ, M.A PÉRALDI: "Synchronous programming of a Real Time Controller".

Euromicro'92 Real Time Systems Workshop, Athens, June 3-5, 1992.

C ANDRÉ, M.A PÉRALDI: "Grafcet et Langages Synchrones", Grafcet'92 Conf, Mars 25-26, Paris, 1992.

C ANDRÉ, M.A PÉRALDI: "From ESTEREL to FORTH", SIGFORTH'92 Forth

Language Workshop, March 5-7, Kansas City (MO) USA, 1992.

C ANDRÉ, J.P MARMORAT, J.P PARIS: "Execution Machines for 'ESTEREL'", European Control Conference, Grenoble, July 2-5, 1991, proceedings vol 2, HERMES Ed., pp 1672-1677.

C ANDRÉ, L FANCELLI: "A mixed (Asynchronous / Synchronous) implementation of a

real-time system", Euromicro 90, Amsterdam 27-30 August 1990.

C ANDRÉ: "Delays in Synchronized Elementary Net Systems", 11th Int. Conf On Application and Theory of Petri Nets, PARIS, June 1990.

16

C ANDRÉ: "Synchronized condition/event systems", 9th European Workshop on Applications and Theory of Petri Nets. VENICE (Italy), June 22-24, pp126-144, (1988).

C ANDRÉ: "A Semantics of timed Petri Nets in terms of low level Petri Nets". 7th

European Workshop on Petri Nets, OXFORD, July 1986.

C ANDRÉ: "Partial observation on a Petri net." Colloque sur les réseaux d'automates. LUMINY, Sept 83. (Publié chez Academic Press, April 84).

C ANDRÉ: "Structural transformations giving B-equivalent P/T-nets". 3rd European

Workshop on Petri nets,VARENNA ,Italy, Sep 1982, (Published in IFB 52 ,pp241-250, Springer Verlag).

C ANDRÉ: "The behaviour of a place/transition net on a subset of transitions: definitions,

properties and applications". BCS-FACS 1982 Nets Workshop, READING (England), 29 March -19 April 82. (Published in FACS FACTS, Vol 4, n 2, July 82).

C ANDRÉ: "Use of the Behaviour Equivalence in Place/Transition Net Analysis". 2nd

European Workshop on Petri Nets, BAD-HONNEF, 28-30 Sept 81, (published in Informatik-Fachberichte, 52, Springer-Verlag, 1982).

C ANDRÉ: "Behaviour of a place/transition net on a subset of transitions". 1st European

Workshop on Petri Nets, STRASBOURG, 23-26 Sept 80, (published in Informatik-Fachberichte, 52, Springer-Verlag, 1982).

C ANDRÉ: "Utilisation de la notion de comportement d'un réseau de Petri en

modélisation et validation de systèmes communicants". Journées de travail du groupe PARDI de l'AFCET, PARIS, juin 1981.

C ANDRÉ, M DIAZ, C GIRAULT, J SIFAKIS: "Survey of french research and

application based on Petri nets". Advanced course on General net theory of processes and systems, HAMBURG, 8-19 Oct.1979.

C ANDRÉ, F BOÉRI: "The behaviour equivalence and its applications in Petri nets

analysis". Journées AFCET, groupe PARDI, PARIS, 25-27 Sept 1979.

M AUGUIN, F BOÉRI, C ANDRÉ: "New design using PLAs and Petri Nets". MECO'78, Measurement and Control International Symposium, ATHENES, 26-29 Juin 1978.

C ANDRÉ, F BOÉRI, J MARIN: "Décomposition et pondération des réseaux de Petri;

Application à de nouvelles réalisations". Colloque AFCET, PARIS, Dec 1976.

C ANDRÉ: "Synthèse et réalisation de systèmes logiques décrits par réseau de Petri , à l'aide de mémoires mortes". Journées de travail du groupe AFCET 'systèmes logiques', PARIS, 27 Juin 1975.

F BOÉRI, C ALDORF, C ANDRÉ, J MARIN: "Réalisation cellulaire d'automatismes

industriels avec détection de pannes en ligne". Journées d'étude du groupe AFCET 'systèmes logiques', MONTPELLIER, 8 Mars 1974.

17

COLLOQUES SANS ACTE OU AVEC ACTES À DIFFUSION RESTREINTE

[C.03] R DE SIMONE, C ANDRÉ. “Towards a Synchronous Reactive UML subprofile?” Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS), « UML » 2003, San Francisco (CA), October 2003.

C ANDRÉ: "SyncCharts: Deep Secrets", Seminar on Synchronous Languages, November, La

Londe (F), 2002.

[c.01.2] C ANDRÉ : "SyncCharts : A Case Study in Digital Circuit Design" , Formal Design of Safety Critical Embedded Systems (FemSys 2001), Research tools exhibition, March 21-23, 2001, Munich (D).

C ANDRÉ, M-A PERALDI-FRATI, J-P RIGAULT : "UML et Langages Synchrones",

Journée SEE-SIC (Systèmes Informatiques de Confiance), cercle « Objectif Zéro Défaut », septembre 2001, ENST, Paris (F).

M-A PERALDI-FRATI, C ANDRÉ, J-P RIGAULT : "Modeling a Speed regulator

System with « synchronous » UML : a Case Study", SIVOES Workshop, ECOOP 2001, June 2001.

[c.01.1] C ANDRÉ : "Paradigmes objets et synchrones dans les systèmes temps réel",

Journée SEE-SIC (Systèmes Informatiques de Confiance), cercle « Objectif Zéro Défaut », 18 janvier 2001, ENST, Paris (F).

[c.00.1] C ANDRÉ, M-A PERALDI-FRATI, J-P RIGAULT : "Checking UML Dynamic

Diagrams: A Synchronous Approach" , 3rd International Conference on the Unified Modeling Language, <<UML>>2000, Formal Design Techniques for Real-Time UML Workshop, York (UK).

C ANDRÉ: "0-fall through time FIFO", Seminar on Synchronous Languages, November 29 –

December 3, Hyères (F), 1999.

C ANDRÉ: "Execution machines", Seminar on Synchronous Languages, 7-11 December, Gandia (SP), 1998.

C ANDRÉ: "SyncCharts: Compilation", Seminar on Synchronous Languages, 9-12

December, Roscoff (F), 1997.

C ANDRÉ: "SyncCharts: A Visual Representation of Reactive behaviors", Seminar on Synchronous Languages, December 9 - 12, Dagstuhl (G), 1996.

C ANDRÉ, H BOUFAIED, D GAFFÉ: "A Synchronous Multiformalism Platform", Seminar on

Synchronous Languages, Nov 27-Dec 1, Luminy (F), 1995.

C ANDRÉ: "Sequential Function Charts and Esterel", Seminar on Synchronous Languages, december, Dagstuhl (G), 1994.

C ANDRÉ, D. GAFFÉ, M.A PÉRALDI: "Apports récents de la programmation synchrone en

surveillance", Journéees Surveillance, Sûreté, Supervision, GR Automatique, Paris, 8 Décembre, 1994, pp 126-144.

18

C ANDRÉ: "Langages synchrones et réseaux de Petri: application aux SED", Journées Annuelles du GR Automatique, 29-30 Septembre, Batz/Mer, 1993.

C ANDRÉ, M.A PÉRALDI: "Un exemple de machine d’exécution pour programmes ESTEREL",

GR Automatique, Pôle C2A, 24 Juin 1993, Paris.

C ANDRÉ, S. ELKHATTABI, J.C GENTINA, M.A PERALDI: "Utilisation d’ESTEREL dans les systèmes d’ateliers flexibles" , Journée GT2 du GR Automatique, Pôle SED, 14 Mai, Paris, 1993.

C ANDRÉ: "Traduction GRAFCET en langage synchrone impératif", GR Automatique,

Pôle C2A, 19 Novembre 1992 Paris. C ANDRÉ: "Les Approches Synchrones et les Systèmes Automatisés de Production", Journées

Annuelles du GR Automatique, 24-25 Septembre, Paris, 1992. C ANDRÉ, M.A PÉRALDI: "Relations GRAFCET/Langages synchrones", Journée GT2 du GR

Automatique, Pôle SED, 14 Mars, Paris, 1992. C ANDRÉ, L FANCELLI: "Systèmes Temps-réels: Synchronisme et asynchronisme",

Colloque C-cube, RENNES, 2-3 juillet 1990.

C ANDRÉ, L FANCELLI: "Mise en œuvre mixte asynchrone/synchrone", journées de travail du GT2 du GR Automatique, pôle "Systèmes à événements discrets", PARIS, 22 Mars 1990.

C. ANDRÉ: "Réseaux de Petri autonomes", journées de travail du GT1 du GR

Automatique, pôle "Systèmes à événements discrets", PARIS, 21 Mars 1990.

C ANDRÉ: "Synchronisme et asynchronisme". Journées du pôle Sémantique C-cube, GRENOBLE, Mars 1985.

C ANDRÉ: "Modélisation et analyse des systèmes à évolutions simultanées par Réseaux

de Petri". Groupe AFCET systèmes logiques, RUEIL, Dec 1984.

C ANDRÉ: "Exemple d'utilisation du logiciel de traitement des réseaux de Petri". Journées C-CUBE, Sémantique et Vérification, Grenoble, 29 fev - 1 mars 1984.

THÈSES SOUTENUES C ANDRÉ: "Systèmes à évolutions parallèles: modélisation par réseaux de Petri à

capacité et analyse par abstraction". Thèse d'Etat, NICE, Février 1981.

C ANDRÉ: "Sur une méthode de conception assistée par ordinateur des systèmes logiques à évolutions simultanées". Thèse de 3 ème Cycle, NICE, Juin 1975.

RAPPORTS DE FIN DE CONTRATS [R.03] C ANDRÉ: "Semantics of S.S.M", Esterel-Technologies/I3S, rapport final, April,

2003. http://www.esterel-technologies.com section Downloads/Scientific Papers

19

[R.93] C ANDRÉ, H. BOUFAIED, J.P MARMORAT, J.P RIGAULT, J.M TANZI:

"Réalisation de machines d’exécution pour les langages parallèles synchrones", Marché CNET 94 1B 111, rapport final, Décembre 1997.

C ANDRÉ, R. BERNHARD, J.P MARMORAT, M.A PÉRALDI, J.P RIGAULT, J.M

TANZI: "Etude d'une machine d'exécution pour le langage synchrone ESTEREL" , contrat CNET 91 5B058, CERICS/CMA/I3S, Rapport final, Technical Report RR 93-02, I3S, Sophia Antipolis, Mai, 1993.

C ANDRÉ, C. AUSFELDER, D. DELFIEU, S. ELKHATTABI, D. GAFFE, J.C GENTINA,

L. KERMAD, J.P MAIK, R. MOISAND, M.A PERALDI, A.E.K SAHRAOUI: "Approches asynchrones / synchrones des systèmes de production" , Contrat DRED, soutien des programmes SPI, I3S/LAAS/LAIL, Rapport final, Technical Report RR 93-01, I3S, Sophia Antipolis, Septembre, 1993.

C ANDRÉ; F BOÉRI; M.E TAFFAZOLI: Contrat SUR n°142: "Réseaux de Petri".

Rapport final. RR 86-9, LASSY, NICE, Juillet 1986.

C ANDRÉ; F BOÉRI; M.E TAFFAZOLI: Contrat SUR n°142: "Réseaux de Petri". Deuxième rapport intermédiaire, RR 85-3, LASSY, NICE, Déc 1985.

C ANDRÉ; F BOÉRI; M.E TAFFAZOLI: Contrat SUR n°142: "Réseaux de Petri".

Premier rapport intermédiaire, RR 85-2, LASSY, NICE, Juil 1985.

C ANDRÉ: "Rapport final ATP Parallélisme, Communication, Synchronisation". Rapport de recherche RR 83-4, LASSY, juil 1983.

C ANDRÉ: Rapport intermédiaire d'ATP: Parallélisme, Communication, Synchronisation.

RR 82-9, LASSY, NICE, Juillet 1982.

F BOÉRI, C ALDORF, C ANDRÉ, M AUGUIN, M.E TAFAZZOLI: "Méthode de description et de réalisation de systèmes de commande parallèles". Rapport scientifique final des travaux effectués dans le cadre de l' A.T.P Automatique et Robotique Décision 3276, NICE, février 1980.

C ANDRÉ: "Méthode algorithmique de synthèse abstraite des machines séquentielles".

Rapport de stage de DEA, NICE, Juin 1973.

NOTES INTERNES Dans cette rubrique je n’ai mentionné que les notes récentes qui n’ont pas fait l’objet de publication par ailleurs. Il s’agit souvent de documents techniques qui complètent des articles.

20

C ANDRÉ : "Synchronous Interface Behavior : Syntax and Semantics”, Technical Report RR 00-11, I3S, Sophia Antipolis, December 2000.

C ANDRÉ : "SyncCharts: un formalisme graphique pour systèmes réactifs complexes”, Technical Report RR 97-06, I3S, Sophia Antipolis, Mars 1997, 8 pages .

C ANDRÉ : "Main Panels of the SyncCharts Environment (version 1.5)”, Technical Report RR 96-57, I3S, Sophia Antipolis, Décembre 1996, 14 pages.

C ANDRÉ : "Example of SyncCharts (version 0.50) ”, Technical Report RR 96-38, I3S, Sophia Antipolis, Juillet 1996, 19 pages.

C ANDRÉ : "Representation and Analysis of Reactive Behaviors: A Synchronous Approach”, Technical Report RR 96-13, I3S, Sophia Antipolis, Mai 1996, 11 pages.

C ANDRÉ : "SyncCharts: A Visual Representation of Reactive Behaviors", Technical Report RR 96-56, I3S, Sophia Antipolis, Avril 1996, 47 pages (Revised version of RR 95-52).

C ANDRÉ : "Modelling a Cassette Controller with SyncCharts", Technical Report RR 96-13, I3S, Sophia Antipolis, Février 1996, 10 pages.

AUTRES MANIFESTATIONS SANS ACTES C ANDRÉ: "Le paradigme synchrone", Séminaire au LCR, Thomson-CSF, Orsay (F) , 5 mars 1998.

C ANDRÉ: "SyncCharts: a graphical Synchronous Model", Séminaire à Mc Master University, Hamilton

(Ont) , June 5, 1997 and University of Toronto, Toronto (Ont.), June 6, 1997.

C ANDRÉ: "A Synchronous Approach to Real-Time Systems", Séminaire à l’EPFL, Lausanne (CH),

December, 1996

C ANDRÉ: "Modeling Reactive Behaviors: SyncCharts", Séminaire à l’EPFL, Lausanne (CH), june, 1996

C ANDRÉ: "Conception de Machines d'exécution pour Langages Synchrones", Séminaire au LAAS,

Toulouse, Février 94

C ANDRÉ: "Reactive Systems", Séminaire à Toronto University, Toronto (Ont.), Jan 94.

C ANDRÉ: "Grafcet et langages Synchrones", Séminaire au LAM, Reims, Mars 93.

C ANDRÉ: "Synchronous approach to Real Time programming", Séminaire au Massachussetts University,

Amherst, March 92.

C ANDRÉ: "Systèmes de Réseaux élémentaires synchronisés" , Séminaire au LAAS, TOULOUSE, 11

juillet 1990.

C ANDRÉ: "Réseaux de Petri avec contraintes temporelles", séminaire INRIA-CNRS, "Systèmes parallèles

et Distribués", SOPHIA-ANTIPOLIS, 22 Janvier 1990.

C ANDRÉ: "Introduction aux langages synchrones", Journée des groupes AFCET "Systèmes logiques" et

"GRAFCET", PARIS, 19 Octobre 1989.

C ANDRÉ, L FANCELLI: "Exécutifs Temps-réels". Séminaire au CER IBM, La Gaude, 17 Juin 1988.

C ANDRÉ: "Systèmes Evénement/Condition Synchronisés". Séminaire INRIA, Sophia-Antipolis, 3 Février

1988.

C ANDRÉ: "Une sémantique pour les Réseaux de Petri temporels". Séminaire INRIA, Sophia-Antipolis,

Février 1986.

C ANDRÉ: "Comportement d'un réseau de Petri" Séminaire à l'école des Mines, Sophia-Antipolis, 31 Mars

1983.

C ANDRÉ: "Abstraction d'un réseau de Petri. Ecole de printemps d'informatique théorique: réseaux de Petri

et parallèlisme", COLLEVILLE, 27-31 Mai 1980.

C ANDRÉ: "Synthèse et réalisation de systèmes logiques à évolutions simultanées". Séminaire à l'Institut de

Programmation, PARIS, 29 Janvier 1976

21

RÉSUMÉ DES ACTIVITÉS Il ne s’agit ici que de donner une information synthétique. La plupart des points sont détaillés ultérieurement.

ENSEIGNEMENTS • Poste : Faculté des Sciences de Nice – Sophia Antipolis. • Spécialité : Informatique Industrielle. • Cycle : Second cycle Faculté des Sciences et École d’Ingénieurs, Troisième cycle. • Nature des enseignements : cours, TD et TP à parts quasi égales. • Réflexion pédagogique : complémentarité technologie/concepts. Retombées de la recherche. • Supports d’enseignements : Documents, maquettes, logiciels. • Diffusion des expériences pédagogiques.

Détails des enseignements … page 23.

RECHERCHE • Laboratoire : I3S (URA 1376, puis UPRESA 6070 et actuellement UMR 6070). • Domaine : réseaux de Petri, puis systèmes réactifs et temps réel. • Équilibre entre l’activité de création d’outils et méthodes et les recherches théoriques

(sémantique et preuves). • Création en 1993 de l’équipe SPORTS (Synchronous Programming Of Real Time

Systems) et animation de cette équipe. • Coopérations avec autres laboratoires et projets soutenus. • Transferts industriels. • Résultat marquant : le modèle SyncCharts. • Perspective : AOSTE – projet commun I3S/INRIA Prime encadrement doctoral accordée en 1993, renouvelée en 1997, non redemandée en 2001. Détails des recherches … page 29.

ADMINISTRATION • Gestion d’enseignements : second cycle EEA (jusqu’en 1991), DEA TTI (1993-1995). • Gestion de la recherche : responsable du thème ALM (Architecture Logicielles et

Matérielles) du laboratoire I3S. • Directeur du département EEA de la Faculté des Sciences (1991-1997). • Membre élu des conseils UER, UFR, CSE • Septembre 2000 à septembre 2003 : directeur de l’École Doctorale STIC

Détails des activités administratives … page 39.

23

ENSEIGNEMENTS

MOTS CLÉS 1. Complémentarité technologie et concepts 2. Retombées des recherches 3. Documentation et maquettes

TYPES D’ENSEIGNEMENTS Depuis ma nomination à la Faculté des Sciences, j’enseigne l’informatique industrielle et ce qui s’y rapporte :

1. Systèmes logiques, 2. Systèmes à événements discrets (dont Réseaux de Petri et Grafcet), 3. Architecture des ordinateurs, 4. Informatique temps réel, 5. Liés à l’informatique industrielle :

1. L’algorithmique et la programmation pour les étudiants EEA, 2. La programmation concurrente, 3. La programmation réactive et synchrone.

Ce sont essentiellement des enseignements de second cycle que j’ai donnés

• En licence et maîtrise EEA, • En maîtrise informatique, • À l’Ecole Supérieure des Sciences Informatiques (ESSI), • En troisième cycle, DEA TTI, puis DEA Informatique.

La durée de vie d’un enseignement est d’environ 3 ans. Une fois l’enseignement mis en place, ou bien je le fais évoluer ou je le confie à un collègue (maîtres de conférences, afin qu’ils assument des responsabilités pédagogiques nouvelles).

Licence/Maîtrise EEA

Maîtrise Informatique

ESSI 3° année

DEA Informatique

1

2

3

3

Systèmes logiques

Systèmes à événements discrets

Architecture des ordinateurs

Informatique temps réel Programmation (1,2,3)

24

J’assure aussi bien des cours, des TD que des TP (en parts à peu près égales). Ceci me permet de connaître les étudiants dans des conditions différentes et de mieux cerner les points qui sont mal assimilés.

IDÉES DIRECTRICES Dans mes enseignements j’essaie de garder un équilibre difficile entre technologie et concepts. Dans le domaine des circuits et des processeurs numériques les évolutions technologiques sont extrêmement rapides. Certaines innovations sont éphémères, d’autres décisives mais difficiles à comprendre. Les évolutions dans les architectures des ordinateurs en sont une illustration typique. J’essaie de faire comprendre aux étudiants que l’accroissement spectaculaire des performances des processeurs n’aurait pas eu l’impact que l’on connaît si on n’avait pas repris et amélioré des concepts anciens comme les caches mémoires. Il y a bien d’autres exemples du même type. J’enseigne d’autre part la prudence en ce qui concerne les projections sur l’avenir. Je me souviens d’avoir assisté en 1995 à un exposé d’un responsable d’IBM qui annonçait la mort des supports magnétiques pour l’an 2000. Les performances et les prix des disques durs actuels montrent combien il est difficile d’être prophète dans ce domaine. Pour éviter ces écueils, je garde une part importante d’enseignement fondamental : machine à états, algèbre de Boole, réseaux de Petri. Je montre comment dépasser, avec des bases solides, les limitations qui sont imposées à un utilisateur humain. J’ai introduit en logique les logiciels d’analyse et de synthèse de circuits logiques développés par l’Université de Berkeley (SIS), ainsi que les représentations à base de BDD (Binary Decision Diagrams). Ces logiciels permettent de traiter des problèmes plus réalistes, mais en aucun cas, un usage « presse-boutons » n’apporte des résultats satisfaisants. La connaissance des modèles sous-jacents est un pré-requis à leur utilisation. Je suis donc très favorable à l’usage des logiciels (synthèse de circuits, Matlab, analyse d’automates, simulateurs, …) mais en complément à l’enseignement des concepts et non en substitution. Une autre évolution des enseignements est liée à la disponibilité de « studio de développement » pour processeurs et applications de traitement du signal. Dans le cadre du projet Élite, Texas Instrument a développé et mis à disposition des maquettes de DSP. J’ai pu obtenir en 2002, l’équipement de 10 postes de travail, constitués d’un DSP TMS 6711, d’une carte fille audio, et d’un environnement de programmation C++. Ces maquettes ont été intégrées en 2003 dans le cycle de travaux pratiques sur l’architecture des ordinateurs. Les avantages attendus sont les suivants :

1. meilleures liaisons avec d’autres enseignements (Traitement du signal) ; 2. mise en œuvre expérimentale d’algorithmes de traitement du signal ; 3. familiarisation avec des environnements de programmation rencontrés dans les

entreprises ; 4. illustration de concepts d’architecture avancés (le 6711 à une architecture VLIW

(Very Large Instruction Word) avec exécutions parallèles et en pipe-line ; 5. introduction à différents types de traitements en temps réel (supportés par le

processeur).

25

Nouvelles perspectives Lors du dossier de contractualisation déposé en 2003, avec des collègues chercheurs et enseignants-chercheurs, nous avons proposé la création d’une option du Master Recherche STIC portant sur les « Systèmes Embarqués ». Cette formation s’appuiera sur des équipes de recherches de Sophia Antipolis (voir perspectives recherches sur les SoC) et les entreprises de microélectronique de la région. Les systèmes embarqués sont des systèmes électroniques pour lesquels une informatique adaptée doit être enseignée. On y retrouve les problèmes de programmation temps réel, mais aussi de nombreux problèmes dues à la complexité et la diversité des systèmes à concevoir. Nous espérons au travers de ces enseignements attirer des étudiants ayant une réelle double compétence « circuits et informatique ». Les aspects enseignements dans lesquels je compte investir sont :

• Les modèles de simulation de systèmes numériques au niveau transactionnel, avec raffinement jusqu’au niveau RTL (SystemC, Esterel v7, ...),

• L’ingénierie système, s’appuyant sur les transformations de modèles (MDA) et l’UML,

• Méthodes de validations formelles des applications. Ce sont des sujets niveau Master 2, directement liés aux recherches. Mais la modélisation et l’analyse avec SystemC pourra être abordée plus tôt, pour des étudiants ayant des connaissances en informatique. Il est clair que la recherche à un impact important et m’a souvent permis de mieux cerner les concepts essentiels. Voici deux exemples :

• Les circuits logiques (synchrones) sont pour moi des composants physiques pour lesquels modèles et réalités sont très proches. Pour la plupart des applications on peut les représenter par un modèle mathématique simple et adéquat (logique binaire). La complexité des circuits actuels pose certes des problèmes très difficiles de validation. Mais une bonne maîtrise de l’algèbre binaire et des manipulations symboliques sous-jacentes (BDD) permet de comprendre les techniques récemment développées et de mieux isoler les points durs.

• En ce qui concerne les modèles de systèmes numériques, ils s’appuient souvent sur des outils commerciaux qui présentent des lacunes dans leurs fondements. Je citerais par exemple le mélange Simulink (pour les aspects continus) et StateFlow (pour les aspects événements discrets) proposé par MathWorks. Ils ont l’avantage d’exister et d’être largement utilisés. Mes recherches sur la sémantique de modèles voisins m’apportent un point de vue critique sur ces approches : il est nécessaire de les enseigner (poids de l’existant et des standards de fait) mais en dégageant les limitations trop souvent cachées.

Je pense qu’une richesse de l’enseignement supérieur est justement cette possibilité de côtoyer les innovations, de les expérimenter et de les critiquer. C’est l’occasion de réinjecter dans nos enseignements, d’une façon contrôlée, des résultats nouveaux tout en dégageant mieux les invariants dans les modèles utilisés.

26

SUPPORTS D’ENSEIGNEMENT J’investis personnellement beaucoup dans cette activité. Je mets à disposition des étudiants des cours rédigés sous forme papier et sous forme de documentation électronique. Dans les domaines comme le temps réel et surtout la programmation synchrone, il y a un manque évident d’ouvrages directement accessibles aux étudiants. Le support de cours est censé pallier cette lacune. Les cours temps réel et programmation synchrone font chacun environ 150 pages. Leur rédaction est un travail assez lourd mais nécessaire. Ces documents ne sont pas joints au dossier mais sont accessibles par le WEB (voir dernière page du dossier). Souffrant de manque de crédits, nous ne pouvons pas toujours disposer des maquettes nécessaires pour les travaux pratiques, surtout en informatique temps réel. J’ai développé pour les étudiants des maquettes logicielles2 qui permettent de simuler des systèmes (simplifiés) sur différentes plates-formes. Le plus souvent les logiciels mis à disposition des étudiants sont des retombées de prototypes développés dans l’équipe de recherche (les compilateurs de Grafcet et de SyncCharts en sont des exemples). Toujours avec l’idée de permettre aux étudiants d’expérimenter sur des ordinateurs personnels, je mets à leur disposition des programmes interactifs qui illustrent des concepts vus en cours et TD. En 2002, j’ai ainsi proposé des convertisseurs de formats IEEE 754, des manipulations de BDD, des simulations d’architectures de machines simplifiées avec visualisation des registres, mémoires et différentes phases constituant les cycles machine et un éditeur/analyseur de réseaux de Petri. Ces programmes, lorsque je ne les développe pas moi-même, demandent des adaptations (interface de dialogue généralement écrites en Tcl-Tk et traducteurs de formats écrits en C, Tcl ou Perl). Pour plus de détails se reporter à l’annexe A. Afin de mieux connaître ce qui se fait ailleurs, je m’efforce de rencontrer les collègues qui proposent des innovations pédagogiques ou des logiciels pour l’enseignement. J’ai fait des présentations sur les outils développés lors de rencontres nationales (référence [C.97.1] page 14 et [C.00.2] page 13). J’ai également présenté les expériences sur l’enseignement de la programmation synchrone à la communauté internationale travaillant sur le temps réel (références [C.01.0] page 10 et [C.97.2] page 14), cet enseignement est apparu comme entièrement nouveau à mes collègues étrangers.

DIRECTIONS PÉDAGOGIQUES En tant que responsable du second cycle EEA jusqu’en 1991, puis en tant que directeur du département EEA jusqu’en 1998, j’ai été amené, avec l’aide de mes collègues, à présenter des maquettes d’enseignements en vue de l’habilitation des licence et maîtrise EEA. J’ai participé à la mise en place de l’ESSI (École Supérieure des Sciences Informatiques). J’étais membre du premier conseil d’administration de cette école.

2 J’ai mis au point des serveurs de maquettes d’animation de machine à laver, de four micro-ondes, de claviers et d’afficheurs … Les contrôleurs que les étudiants doivent concevoir et tester sont les clients de ces applications. Voir la communication référencée [C.00.2] ).

27

En tant que directeur du département EEA, j’ai soutenu la création d’une école d’ingénieur de sensibilité électronique : l’ESINSA, à Sophia Antipolis. J’ai essayé de veiller à une complémentarité des formations Faculté des Sciences / École. Les établissements ne sont pas concurrents vis à vis des étudiants, par contre ils le sont devenus pour les postes. Plusieurs collègues fraîchement recrutés ont obtenu leur mutation vers les Écoles qui offrent des conditions de travail plus favorables. Cette évolution restera pour moi une déception. J’ai enfin contribué à l’habilitation du DEA TTI, puis j’ai géré la formation doctorale habilitée de 1993 à 1995.

INITIATIVES NATIONALES En 1988, en liaison avec le club EEA, j’ai animé une commission chargée de définir un programme d’enseignement « d’informatique temps réel » pour les licences et maîtrises EEA. La commission avait également pour objet de préciser la composition minimale d’un « poste de travail » pour travaux pratiques. 18 collègues de différentes écoles et facultés ont contribué à cette réflexion. Les résultats ont servi de base pour les maquettes d’enseignement adoptées au début des années 1990.

29

RECHERCHE

MOTS CLÉS 1. Équipe, 2. Complémentarité application/théorie, 3. Ouverture, échanges, transferts

LABORATOIRE Je suis membre du laboratoire I3S (Informatique, Signaux et Systèmes de Sophia Antipolis) depuis sa création. Ce laboratoire de l'Université de Nice-Sophia Antipolis était URA 1376, puis est devenu UPRESA 6070 lors du nouveau contrat (1997). Il est maintenant l’UMR 6070 (depuis 2000)

RÉSULTATS MARQUANTS Je tiens à demeurer un chercheur actif, c’est à dire que je continue de proposer des idées, de les développer et de les mettre en œuvre. J’assume aussi celui d’animateur d’une équipe de recherche: l’équipe SPORTS. Les résultats les plus marquants de ces dernières années concernent l’approche synchrone :

• Sémantique « synchrone » pour le Grafcet (références [A.93] et [A.94] page 11), • Machine d’exécution pour langage synchrone (références [R.93] page 19 et [C.01.2]

page 13) • Le modèle SyncCharts, qui est une forme graphique du langage Estérel (références

[C.96.2] page 14, [C.98.2] et [C.98.3] page 13). • En 2000, j’ai créé un nouveau modèle pour exprimer des diagrammes de séquences

étendus, adaptés à l’approche synchrone : les SIB (Synchronous Interface Behavior) ils ont été présentés dans une conférence internationale sur UML (référence [C.01.1] page 13).

• En 2002, publications sur la sémantique des SyncCharts ([A02] et [C.02.3]) et ouvertures de nouvelles perspectives de recherches avec des propositions pour concilier le paradigme synchrone avec l’UML (référence [C.02.2] )

• En 2003 : montage du projet AOSTE (projet commun I3S/INRIA)

DOMAINE DE RECHERCHE Ayant passé ma thèse d’État sur une équivalence observationnelle dans les réseaux de Petri, j’ai publié des résultats dans ce domaine jusqu’en 1991. Face aux limitations que je rencontrais pour modéliser les systèmes temps réel avec ces modèles, je me suis tourné vers l’approche synchrone, en fin des années 1980.

30

DIGRESSION SUR L’APPROCHE SYNCHRONE Pourquoi avoir été séduit par cette approche ? Je crois que j’ai été très sensible à l’expressivité, la rigueur et l’élégance du langage Estérel. J’ai été conquis par l’approche de Gérard Berry, inventeur des sémantiques du langage, qui a fait table rase des dérives que l’on constatait dans le domaine de la programmation en temps réel : celle de vouloir à tout prix rajouter des concepts temps réel sur des langages qui n’étaient pas faits pour cela. Le langage a été doté d’une sémantique mathématique. Ceci explique la rigueur et l’élégance de l’approche. Mes inquiétudes initiales ont été que les hypothèses sous-jacentes, qui simplifient fortement la réalité, ne rendent ce langage inexploitable. En fait je me suis retrouvé en terrain connu. Les informaticiens étaient en train de retrouver, à leur façon, ce que les gens des circuits savaient depuis longtemps : il est beaucoup plus facile de concevoir des applications contrôlées par des horloges (réalisations dites synchrones) que des applications asynchrones. Ceci a été pour moi un déclic. Il y avait possibilité avec ce type de langage de traiter une large classe d’applications : celle des systèmes à contrôle dominant. Ces systèmes sont avant tout réactifs et généralement soumis à des contraintes de fonctionnement en temps réel. Les automatismes industriels entrent dans la catégorie des systèmes à contrôle dominant. Le « Grafcet » est largement utilisé pour spécifier ou programmer ces applications. Le problème avec ce modèle était le flou existant dans la normalisation, laissant la place à des interprétations diverses et parfois contestables. Dès 1992, au congrès Grafcet’92, j’ai introduit l’idée que le Grafcet était très proche des langages synchrones (référence [A.93] page 11) et qu’on pouvait lui donner une sémantique mathématique voisine de celle d’Estérel. L’article référencé [A.94] publié dans la revue APII en 1994, co-signé avec D. Gaffé, formalisait « événements et conditions en Grafcet ». C’est avec plaisir que j’ai constaté lors du congrès MSR (Modélisation des Systèmes Réactifs) en 1996, que d’autres chercheurs s’étaient lancés dans cette voie. Depuis, nos recherches (équipe SPORTS) sont très liées aux possibilités offertes par les approches synchrones. Nos objectifs sont de les rendre accessibles, en fournissant des outils et méthodes, tout en garantissant leur bien fondé, par des études de sémantiques et de techniques de preuves. Ceci illustre la complémentarité application/théorie. Ma conviction est que dans le domaine des sciences de l’ingénieur qui est le nôtre, il faut partir de problèmes pratiques, leur apporter des solutions et formaliser ces solutions. Formaliser doit être compris comme « donner une signification formelle » et non introduire des formalismes qui ne seraient que de simples notations. Le fait d’avoir des modèles mathématiquement bien fondés est de première nécessité pour nos applications. Toutefois il n’est pas suffisant qu’un modèle soit « beau », il faut aussi qu’il soit capable de traiter des problèmes réels. Dans les applications que nous étudions, les exemples « jouets » ont un intérêt limité ; il faut des méthodes et des outils qui « passent à l’échelle ». Les transferts décrits plus loin n’ont fait que me renforcer dans cette opinion.

L’ÉQUIPE SPORTS Comme en témoigne la liste des publications, les recherches sur les réseaux de Petri ont été faites en chercheur « solitaire ». Le caractère théorique de ces recherches pouvait s’accommoder de cette situation. Par contre l’étude des systèmes réactifs et temps réel par son caractère pratique de création d’outils et méthodes nécessitait la collaboration de plusieurs chercheurs.

31

Historique J’ai modestement débuté avec un thésard, Luc Fancelli (thèse en 1990) portant sur une modélisation hiérarchique avec réseaux de Petri introduisant la notion de préemption, empruntée au langage Estérel. Cette étude a lancé les bases d’une approche mixte asynchrone (exécutifs) et synchrone (Estérel). Ensuite, avec Marie-Agnès Peraldi (thèse en 1993), les travaux se sont orientés vers les réalisations effectives. Le sujet était la programmation d’un micro-contrôleur très performant pour l’époque (le RTX2000) à partir du langage Estérel. L’aspect pratique du travail portait sur le compilateur et la réalisation d’un moteur d’exécution. La partie théorique concernait la prévision des performances temporelles de la réalisation (voir l’article [A.96] publié en 1996 dans Real Time Systems). De cette époque date la constitution de l’équipe de recherche à laquelle j’ai donné le nom de SPORTS (Synchronous Programming Of Real Time Systems). Bien sûr, l’équipe ne fait pas un usage exclusif de la programmation synchrone, mais toutes les activités utilisent soit des sémantiques directement inspirées du synchrone, soit des outils et méthodes disponibles dans les environnements de développement synchrone. En prolongement de cette activité dans les modèles synchrones, le projet SPORTS vise à une « méthodologie » de développement d’application de contrôle s’appuyant sur les paradigmes synchrones et objets. Nous tentatives pour faire pénétrer les idées synchrones dans le monde des objets commencent à porter leurs fruits (Communications aux conférences UML, [C.02.1], [c.03] ).

Composition L’équipe SPORTS comprend actuellement • 6 permanents

• 3 professeurs : C. André, J-P Rigault et L. Pierre • 1 professeur émérite : F. Boéri • 3 maîtres de conférence : D. Gaffé, M-A Peraldi-Frati, F. Mallet (recruté en 2003)

En tant que responsable de ce thème, j’encourage les études d’applications nouvelles tout en évitant la dispersion. L’équipe SPORTS travaille actuellement sur • les modèles synchrones (Grafcet, SyncCharts) pour la spécification, la programmation et

l’analyse de systèmes à contrôle prépondérant, • les objets réactifs, pour la simulation et l’évaluation de performance d’architectures

(assemblage d’objets) et au-delà l’extension des standards de l’OMG aux approches synchrones,

• et les réseaux industriels temps réel (FIP, CAN, VAN) pour le développement d’applications réparties synchrones.

Politique de recherche La politique de SPORTS est de développer les recherches en collaboration avec d'autres laboratoires, si possible au travers de contrats ou projets soutenus. Nous cherchons également à intéresser des industriels à nos travaux en proposant des prototypes opérationnels. Le dénominateur commun des recherches reste l'approche synchrone.

32

LIENS AVEC D’AUTRES ÉQUIPES Ces liens ont été généralement établis lors de collaborations dans le cadre de projets nationaux.

Participation aux projets nationaux

C cube Les recherches sur le parallélisme et les réseaux de Petri ont été soutenues dans le cadre de « C3 » (Coopération, Communication, Concurrence) de 1984 à 1988. Elles m’ont permis plus particulièrement de développer les notions d’équivalence observationnelle en réseaux de Petri.

GdR Automatique En 1989, le pôle SED (Systèmes à Événements Discrets) a été créé au sein du GdR Automatique, sous la responsabilité de François Roubellat (LAAS). J’ai participé à la mise en place de ce pôle et j’ai joué avec Robert Valette (LAAS) un rôle d’animation dans le groupe de travail GT2 : « Conduite, Surveillance et Mise en œuvre ». Le projet sur les « approches asynchrones/synchrones des systèmes de production » a été soutenu par le ministère. Il impliquait le LAIL, le LAAS et l’I3S (fin du contrat : septembre 1993). Toujours dans le GdR Automatique, j’ai participé activement au pôle C2A (Collaboration CAO Automatique) animé par Albert Benveniste (IRISA). Le centre d’intérêt était les relations entre synchrone et asynchrone. Ces réunions m’ont permis de faire connaître nos premières contributions dans l’étude et le développement d’applications synchrones et nous ont apporté un, modeste, support financier. Le GdR Automatique s’est terminé en 1994. Avec lui, ces activités nationales ont disparu.

Consortium COVADIS De 1997 à 1999, le MESR et la DGA a financé un projet sur la validation d’architectures distribuées (projet COVADIS). Il a été formé un consortium groupant Thomson LCR (Orsay), le LORIA (Nancy), l’IRCyN (Nantes), le LAIL (Lille) et l’I3S (Nice). Le rôle de SPORTS, dans ce projet porte plus particulièrement sur la sémantique des composants de l’architecture. Ce projet, initialement prévu pour 3 ans, a malheureusement été arrêté après deux ans. Le partenaire industriel s’est retiré du projet suite à une restructuration et ré-orientation thématique dans son entreprise. L’expérience acquise lors de ce projet sur les architectures et les composants a toutefois été très utile et est exploitée dans nos études actuelles sur l’utilisation d’UML dans les systèmes temps réel. Les quatre laboratoires universitaires ont été particulièrement frustrés par ce renoncement.

Laboratoires Notre petite taille en tant qu’équipe nous a incité à établir de nombreuses collaborations. Ces collaborations se concrétisent par des publications communes (références [C.01.2], [A.99], [A.97], [C.99.1], [C.98.3], [C.98.2], [C.98.1], [C.97.3], [C.96.3], [C.93.2]). L’objectif de ces collaborations est de profiter au mieux des compétences de chacune des équipes. • Le laboratoire avec lequel nous entretenons des liens privilégiés est le CMA (Centre de

Mathématiques Appliquées de l’Ecole des Mines de Paris). Ce laboratoire est localisé à Sophia Antipolis. Il est le berceau du langage Estérel. Les études nouvelles sur le langage et son environnement sont réalisées en collaboration avec le projet MEIJE de l’INRIA

33

dirigé par Robert De Simone. J’ai l’honneur d’être officiellement collaborateur extérieur de ce projet, ce qui me facilite grandement les accès aux ressources de l’INRIA.

• Le LAIL (Lille) pour les aspects systèmes de production (Jean-Claude Gentina) et les aspects capteurs intelligents (Marcel Staroswiecki).

• L’IRCyN (Nantes) pour les problèmes temps réel (Jean-Pierre Elloy). • Supélec (Gif sur Yvette), laboratoire d’informatique (Guy Vidal-Naquet) pour les objets

synchrones. • Le LORIA (Nancy) équipe réseaux industriels (Jean-Pierre Thomesse). • Le LIT (Laboratoire d’Informatique Technique) de l’EPFL (Henri Nussbaumer), jusqu’en

1997.

LES TRANSFERTS Les résultats scientifiques sont faits pour être diffusés et utilisés.

Diffusion des résultats Elle se fait bien sûr au niveau des conférences et des revues (voir la liste des publications). J’ai été conférencier invité pour deux conférences internationales (références [C.96.2] page 14 et [C.93.1] page 15). Ces invitations permettent de faire des exposés « longs » et synthétiques. Ils ont été pour moi l’occasion de faire passer mes vues et convictions sur le paradigme synchrone. Je pense être assez convaincant puisque la présentation que j’ai faite à Real Time System’98 a été désignée par l’auditoire comme la meilleure communication scientifique (Référence [C.98.1] page 14). En septembre 2003, j’ai donné un cours sur les modèles graphiques synchrones dans le cadre d’une école d’été « Temps Réel » à Toulouse [C.03.1]. Je participe également à des comités de programmes et à des groupes de travail informels mais très utiles pour nos recherches. C’est le cas de la communauté synchrone qui se réunit depuis une dizaine d’années en décembre de chaque année pour un séminaire de 5 jours. L’audience est internationale et les échanges très fructueux. Des journées thématiques comme celles organisées par la SEE sont également l’occasion de confronter les approches de chacun (voir la présentation [c.01.1] page 17). Je profite également de mes déplacements à l’étranger pour faire des séminaires (Suisse, États-Unis, Canada). Enfin, la diffusion du prototype éditeur/compilateur de syncCharts que j’ai réalisé permet de faire connaître les travaux de l’équipe SPORTS au niveau international. Toujours dans ce souci de mieux faire connaître les travaux de SPORTS, j’ai présenté l’environnement de programmation pour les SyncCharts à FEMSys 2001 ([c.01.2] page 17). Il s’agit d’une conférence sur les méthodes formelles appliquées aux systèmes critiques avec stands de démonstration d’outils universitaires et industriels.

Transferts industriels J’ai déjà eu l’occasion de mentionner notre souci de créer des prototypes d’outils qui s’intègrent dans la plate-forme de développement synchrone. Par ces prototypes nous espérons toucher les industriels. Ceci s’est déjà réalisé à deux reprises :

34

• Les syncCharts, pour lesquels je mets à disposition un prototype sur le WEB, ont été industrialisés par la société Simulog, puis par une nouvelle société « Esterel Technologies ». Les SyncCharts sont intégrés dans son produit « Estérel Studio ». Cette diffusion d’un produit issu de mes recherches, m’a ouvert de larges contacts avec des utilisateurs potentiels.

• Le compilateur/analyseur de Grafcet, écrit par Daniel Gaffé, membre permanent de l’équipe SPORTS, a été transféré à Schneider, pour ses automates programmables.

• Le simulateur construit autour des objets synchrones intéresse des entreprises qui développent des DSP performants.

Réflexion sur le développement de logiciels Comme je l'ai indiqué plus haut, l'équipe SPORTS s'efforce de valider le résultat de ses recherches amont par la fourniture de logiciels mis à la disposition de la communauté scientifique. Dans le domaine des logiciels, la notion de brevet n’est pas claire. D'autre part, peu de logiciels peuvent conduire à des développements industriels. Les SyncCharts, qui étaient à l'origine conçus comme un produit « universitaire », ont retenu l'attention d'utilisateurs industriels. Ceci n'a pu se faire qu'en proposant un produit suffisamment élaboré, démonstratif et fiable. Il a fallu également un effort important de diffusion de l'information : des séminaires et des journées de travail ont dû prolonger les introductions académiques faites lors de conférences. Le développement de logiciels « crédibles » et leur promotion, nécessitent un gros investissement en temps. De plus, durant leur phase de conception, ces logiciels ne se prêtent pas à publication. J'ai en 1997 investi une partie importante de mon temps dans la construction d'un prototype pour le traitement des SyncCharts. La possibilité de développement par des professionnels est une opportunité à saisir. Je suis persuadé que l'équipe SPORTS pourra, au travers de cette expérience, valoriser une grande partie de ses produits et faire passer, par leur intermédiaire, les concepts sous-jacents, ce qui est en fait le but initialement recherché. Je compte continuer d’animer l'équipe dans ce sens : faire une recherche de fond, « tirée » par les applications. C'est à dire être réceptif aux demandes des industriels qui peuvent nous apporter de vrais problèmes, et leur proposer des solutions innovantes qu'ils puissent effectivement appliquer.

LES CRÉDITS Les crédits de l’Université et du CNRS sont pratiquement absorbés par le fonctionnement général du laboratoire. Il est donc indispensable, pour un projet, de trouver des ressources propres pour financer les achats de matériel, de logiciel et les missions. Je donne dans le tableau ci-dessous des crédits obtenus pour SPORTS. Je mentionne également les intervenants, l’organisme qui finance et le thème de la recherche. Ne figurent pas les crédits du CNRS pour les Actions Spécifiques.

Crédit Source Intervenants Sujet 100kF * 3 CNET Boufaïed, André Machine d’exécution 50kF * 3 MESR Peraldi, André Projet COVADIS 200kF SCHNEIDER Gaffé, André Grafcet 50kF SIMULOG André SyncCharts 100kF THOMSOM COMM. André Projet Seven

35

50kF THOMSON COMM André Projet Seven 12k€ ESTEREL

TECHNOLGIES André Projet Syntel

Pour le projet Seven, Thomson Communication a obtenu un projet européen dont le but est d’évaluer « l’applicabilité » des SyncCharts. L’application cible est celle des échanges de clefs secrètes pour communications électroniques. J’ai été pressenti comme consultant pour ce projet. Les rétributions sont entièrement versées au laboratoire.

ENCADREMENTS J’ai encadré 5 thèses. Le problème est maintenant de trouver de nouveaux thésards. Bien que le domaine soit porteur, les divers DEA de l’Université de Nice n’attirent pas particulièrement les étudiants qui pourraient s’intéresser aux recherches de SPORTS. La plupart donnent leur préférence à un DESS. Cette situation semble, hélas, devenir courante. Mon espoir est que le développement très fort de ce qui tourne autour des « systèmes embarqués » va créer de nouvelles formations qui nous apportent enfin des étudiants ayant à la fois de bonnes connaissances en EEA et en Informatique.

Thèses

Luc Fancelli Allocataire MESR Soutenance en 1990. Sujet : une approche mixte asynchrone/synchrone des applications temps réel Devenir : chef de projet temps réel à l’aérospatiale de Toulouse

Marie-Agnès Peraldi Allocataire MESR Soutenance en 1993. Sujet : implantation de programme Estérel sur RTX2000, avec comportement temporel

prévisible Devenir : Post-doc à l’EPFL Lausanne(1994), puis maître de conférence à Nice (1995)

Daniel Gaffé Allocataire MESR Soutenance en janvier 1996. Sujet : Grafcet : aspects sémantique, compilation et preuves de propriétés. Devenir : maître de conférence à Nice (1997)

Hédi Boufaïed Allocataire MESR Soutenance en novembre 1998. Sujet : Machine d’exécution pour programmes synchrones. Devenir : Ingénieur chez Simulog, puis chez Texas-Instruments

Lionel Blanc Allocataire MESR Soutenance en novembre 1999.

36

Sujet : Distribution du contrôle sur un bus de terrain du type CAN. Devenir : Ingénieur chez Simulog.

Remarque sur les thèses : Le nombre de thèses encadrées est modeste. Il convient d’abord de rappeler le contexte difficile pour trouver des étudiants motivés. D’autre part, je consacre beaucoup de temps aux thésards si bien que je n’ai jamais pu avoir plus de deux thèses en cours. Enfin, je constate que les docteurs formés sont très vite embauchés (le dernier l’était même avant d’avoir effectivement soutenu sa thèse) et je note également un évolution significative vers les activités autres que l’enseignement supérieur. La pénurie en doctorant est non seulement préjudiciable pour moi, elle constitue également un handicap pour l’équipe de recherche. N’ayant plus de thèse en cours, je n’ai plus demandé de prime d’encadrement doctoral. Pour rendre notre projet plus attractif, j’essaie de créer un projet commun avec une équipe INRIA (voir les perspectives, ci-dessous).

Rapports J’ai rédigé une soixantaine de rapports pour thèses ou habilitations3. Les domaines couverts sont le parallélisme (réseaux de Petri), l’informatique industrielle, mais aussi informatique générale. Une remarque à ce propos est un glissement des thèmes d’expertise, qui correspondent aux évolutions des activités de recherche vers des aspects plus informatiques. Ainsi en 2002 j’ai rapporté sur deux thèses nettement étiquetées informatique : l’une traitant « de langages typés fonctionnels synchrones » et l’autre portant sur «les objets actifs adaptables » utilisés dans des applications temps réel non strictes avec des objectifs de qualité de service. Je suis lecteur souvent sollicité pour des revues (APII, JESA, IEEE Trans. On CST, European Journal Of Control) et congrès d’informatique industrielle. J’évalue occasionnellement des articles pour revue (LOBJET) et congrès informatiques. Le laboratoire I3S devant être réexaminé par le comité national du CNRS à la session de printemps 2003, il a fallu écrire le rapport d’activité du projet4. J’y ai consacré pas mal d’énergie en juillet 2002. Le Comité d’Évaluation s’est tenu en décembre 2002. Ses conclusions.sont plutôt favorables pour le projet, mais elles le mettent en garde sur les dangers de couvrir trop de sujets avec une « petite » équipe. Le Comité approuve également les intentions de rapprochement avec le projet TICK de l’INRIA.

Conférences J’étais en 2001, « Program Chair » de la conférence ETFA’2001 (Emerging Technologies and Factory Automation) qui s’est tenue à Antibes (F), du 15 au 18 octobre 2001. Avec mon collègue espagnol Joseph Fuertes, l’autre « program chair », nous avons sélectionné les sessions spéciales et défini l’organisation des sessions de la conférence.

PERSPECTIVES : projet commun AOSTE Afin d’avoir des stagiaires, des doctorants et des post-doctorants, l’équipe SPORTS et l’action TICK de l’INRIA Sophia Antipolis ont entrepris une procédure de rapprochement officiel des deux équipes devant aboutir à un projet commun « UNSA-INRIA ». L’action TICK est

3 En 2001 habilitations Vernadat (Toulouse), Rondeau (Nancy), Tanzi (Lyon) et thèse Salem (Grenoble) ; en 2002 thèses Cuoq (Paris VI), Contreras (Lyon), Faucou (Nantes) ; en 2003 thèses Rossi (ENS Cachan), Dumitrescu (Grenoble). 4 Rapport accessible sur http://www.i3s.unice.fr/~andre page recherche, projet SPORTS

37

dirigée par Robert De Simone, directeur de Recherche INRIA. La spécialité de cette équipe est la vérification formelle. Je collabore depuis longtemps avec cette équipe qui m’avait accepté comme « collaborateur extérieur ». Il s’agit maintenant d’impliquer tous les membres du projet SPORTS. SPORTS apportera son expérience dans la conception de contrôleurs et de construction de machine d’exécution. Du côté laboratoire I3S, la thématique de cette nouvelle équipe ne devrait pas entrer en concurrence avec d’autres projets du laboratoire. En revanche, du côté de l’INRIA, il faut s’assurer de l’originalité ou de la complémentarité des thèmes choisis avec ceux des différents centres de recherche. Afin d’affiner les thèmes de recherche fédérateurs, je participe activement, parfois sous couvert de l’INRIA, parfois en tant que membre d’un laboratoire CNRS, à des projets ou groupes d’études5. La création d’un projet commun avec l’INRIA est une procédure longue et délicate. Il a fallu pratiquement l’année 2003 pour monter le dossier et le présenter aux différentes commissions qui ont donné leur accord. Actuellement le projet est analysé par les rapporteurs internationaux (retour prévu : 1° trimestre 2004). Le projet AOSTE traite des « Modèles et méthodes d’analyse et d’optimisation pour les systèmes temps réel embarqués ». De façon plus précise les thèmes de recherche sont :

1. La modélisation haut-niveau, la compilation et la synthèse de systèmes embarqués s’appuyant sur des approches synchrones,

2. L’optimisation d’implantations soumises à des contraintes temps réel, 3. L’ingénierie des systèmes embarqués et les approches MDA (Model Driven

Architecture) 4. Méthodologie « Adequation Algorithms Architecture »

Parmi les applications visées : les architectures électroniques embarquées (automobiles en particulier, projet européen EAST-EEA) et les SoC (Systems On Chip). Les détails sont disponibles sur la page WEB provisoire ( http://www-sop.inria.fr/aoste/index.html ). Le thème de recherche n°3 témoigne de notre engagement dans le transfert des modèles académiques vers l’industrie. A ces fins, nous essayons de promouvoir les apports du synchrone auprès de l’OMG (Object Management Group ( http://www.omg.org ) organisme indépendant qui impose des standards de fait comme l’UML. La présentation faite à la conférence UML 2003 à San Francisco ( référence [c.03] ) avait pour objectif de faire connaître les approches synchrones à la communauté UML et de préciser nos objectifs scientifiques. Le projet PROTES (collaboration INRIA/CEA/Thallès), dont je suis membre, est le cadre retenu pour faire les propositions à l’OMG. L’objectif de PROTES est de définir un profil UML adapté aux systèmes embarqués.

5 Projet ITEA « EAST » concernant les systèmes automobiles, pour l’INRIA ; Action Spécifique sur les SOC, aspects validation, pour le CNRS.

39

ADMINISTRATION

MOTS CLÉS 1. Implication dans la vie de l’Université 2. Volontariat

GESTION D’ENSEIGNEMENTS

Second cycle EEA A ma nomination à la Faculté des Sciences de Nice (1984), j’ai pris la responsabilité des enseignements de second cycle de l’EEA : gestion du budget et dossiers d’habilitation. À cette époque, les départements pédagogiques n’existaient pas.

DEA TTI J'ai été responsable du DEA TTI (Traitement et Transmission de l'Information - N° 930203) de l'Université de Nice-Sophia Antipolis jusqu'en septembre 1995. Ce DEA faisait partie de l'Ecole Doctorale SPI de l'UNSA6. Le tableau suivant résume les statistiques relatives aux années 93-94 et 94-95 : année DEA DEA Thèses Thèses Thèses Thèses

inscrits Diplômés inscrits allocations nouvelles soutenues MESR inscriptions

93-94 14 14 33 4 10 11 94-95 14 13 29 3 7 10 À la rentrée 1995, les DEA de l’École Doctorale SPI ont été réorganisés. Les spécialités du DEA TTI ont été redistribuées dans 3 DEA : « ARAVIS » pour la partie Traitement du Signal et Automatique, « Réseaux » pour les aspects transmission de l’information et « Informatique » pour les aspects architectures et implantations. Depuis la rentrée 1995, je suis impliqué dans le nouveau DEA d’Informatique en tant que membre du Conseil Scientifique du DEA.

GESTION DE RECHERCHE J’ai été le responsable du thème ALM (Architectures Logicielles et Matérielles) du laboratoire I3S. Ce thème comprenait deux projets • Le projet MOSARTS (Responsable Michel Auguin) qui modélise et conçoit des

architectures pour les applications de traitement numérique du signal, • Le projet SPORTS (Responsable Charles André) déjà présenté.

6 UNSA : Université Nice - Sophia Antipolis

40

Mon rôle était d’assurer le lien entre les chercheurs et le directeur du laboratoire Gérard Favier. Le directeur faisait appel aux responsables de thèmes en particulier pour régler les aléas de fonctionnement. Le thème ALM occupait jusqu’en septembre 1999 des locaux sur Nice, alors que la majorité des membres du laboratoire était hébergée sur Sophia Antipolis. Les problèmes liés à cette répartition géographique ne manquaient pas. Les responsables de thèmes avaient également un rôle essentiel à jouer dans la synthèse des rapports d’activités. Depuis début Janvier 2000, le laboratoire a un nouveau directeur : Pierre Bernhard. L’organisation du laboratoire a changé. Les thèmes n’existent plus, l’activité scientifique est structurée autour des projets ; SPORTS est un des ces projets. Le nouveau directeur nourrissait des projets ambitieux, dont celui d’un rapprochement très fort avec l’INRIA de Sophia Antipolis. Les projets de politique de recherche de SPORTS s’inscrivaient bien dans cette logique. En février 2000, le directeur m’a confié l’animation de la commission chargée d’étudier les conditions du rapprochement des deux structures. Avec une collègue de l’INRIA, nous avons organisé en Mai 2000 une journée de présentation mutuelle des activités de recherche. Depuis des accords concrets ont été signés, comme la mise en commun des ressources de bibliothèque (fonds et personnels). Le rapprochement des deux structures au sein d’une même UMR n’est plus d’actualité.

DIRECTION DE DÉPARTEMENT En 1991, la Faculté des Sciences s’est restructurée. Aux 3 UER qui existaient a succédé une UFR unique : la Faculté des Sciences. Son directeur Michel Rouillard, a décidé de mettre en place des structures pédagogiques et administratives nouvelles : les départements. J’ai pris la responsabilité du département EEA, responsabilité que j’ai assumée jusqu’en octobre 1997. J’ai été élu deux fois directeur de département. La tâche était essentiellement administrative : gestion des budgets, présentation des dossiers, défense des locaux, interface avec le directeur d’UFR. Il faut noter que le directeur d’UFR, dans un souci de décentralisation, avait reporté des tâches administratives de l’UFR vers les départements. La négociation et la gestion des heures complémentaires était un travail assez délicat. Je tiens à préciser que j’ai toujours assumé ces fonctions pour la collectivité : • Je n’ai pas pris les responsabilités en vue de promotions particulières (j’étais déjà

professeur de première classe quand j’ai pris la direction du département), • Je n’avais ni indemnité, ni décharge horaire pour ces fonctions. Lors de ma dernière année

de direction, le directeur d’UFR a décidé d’attribuer une prime aux directeurs de département : je l’ai refusée et j’ai demandé qu’elle soit versée comme crédit de fonctionnement pour le département.

CONSEILS Pour manifester clairement mon attachement au bon fonctionnement de l’UFR Science, j’ai été membre élu des conseils • UER IMSP, jusqu’en 1990, premier assesseur du directeur, • UFR Faculté des Sciences, de 1990 à 1994, premier assesseur jusqu’en 1992. J’ai également été membre élu des CS 61° (jusqu’en 1998) et 27° (jusqu’en 1994). Je viens d’être réélu à la CS 61° en février 2002.

41

DIRECTION DE L’ÉCOLE DOCTORALE STIC J’ai été directeur de cette École Doctorale de septembre 2000 à septembre 2003. Cette École Doctorale regroupe les DEAs de l’Université de Nice-Sophia Antipolis et les équipes d’accueil dans les domaines de l’électronique et de l’informatique. Ces deux termes sont ceux pour lesquels l’École Doctorale a été habilitée. L’ancienne spécialité « Sciences pour l’Ingénieur », qui a disparu des spécialités de thèse, convenait peut être mieux car des disciplines comme l’automatique et les télécommunications ne se reconnaissent pas vraiment dans les spécialités actuelles. L’École Doctorale STIC, a obtenu en 2001, l’autorisation de rajouter les spécialités « Automatique, Traitement du signal et des images » . Cette École Doctorale est amenée à jouer un rôle important dans le cadre du projet « Campus STIC » de l’Université de Nice. Il s’agit sur Sophia Antipolis de regrouper les activités liées à la recherche et les enseignements dans les domaines de la Communication et de l’Information. Ce projet implique les organismes de recherche de Sophia Antipolis : laboratoires de l’Université et du CNRS, mais aussi l’INRIA, l’Institut Eurécom, École des Mines, France Télécom, ainsi que des entreprises de Sophia Antipolis. Il est prévu d’accorder une large place au transfert de technologie. L’École Doctorale devrait pouvoir jouer un rôle moteur. La fonction de directeur d’École Doctorale est devenue essentielle pour l’animation des activités doctorales. En effet, les « Directeurs de Formations Doctorales » n’apparaissent plus dans les textes officiels, le Directeur de l’École Doctorale est l’interlocuteur privilégié vis-à-vis du Ministère et de l’Université. L’activité de Directeur d’École Doctorale est une lourde tâche. Les premiers mois d’activité m’ont amené à régler essentiellement des problèmes administratifs individuels et à m’efforcer de rendre plus « lisible » le fonctionnement de l’École Doctorale pour ses usagers. A ces fins, j’ai eu beaucoup de contact avec les partenaires non universitaires, qui occupent une place importante dans notre École Doctorale. Les relations de partenariat avec l’INRIA de Sophia Antipolis et son directeur Michel Cosnard, ont été particulièrement constructives. Les relations avec Eurécom, ont été nettement améliorées sans être complètement finalisées. Le ministère a introduit lors de l’année universitaire 2001-2002 une procédure nouvelle pour l’attribution des allocations de recherche et la collecte des informations relatives aux thèses. Les enquêtes ministérielles mettent largement à contribution les École Doctorales. Il a fallu repenser et moderniser nos bases de données. Je mets volontiers mes compétences informatiques pour réaliser ces nécessaires mutations. Au niveau de l’Université, il y a eu également un glissement de responsabilité. Les Écoles Doctorales doivent à présent gérer les procédures administratives de soutenances de thèse. Il en résulte un fonctionnement plus cohérent mais alourdi. En contrepartie, la responsabilité d’une École Doctorale laisse la place à des initiatives. Conscient de la relative pénurie de très bons candidats pour nos thèses, le Conseil de l’École Doctorale a donné son accord pour proposer une formation de DEA en anglais. Cette initiative, fortement soutenue par l’INRIA et Eurécom, devrait nous permettre de recruter des

42

étudiants étrangers, en particulier Indiens et Chinois, handicapés durant l’année de DEA par un français mal maîtrisé. Je me suis investi personnellement beaucoup dans cette expérience. La direction de l’école doctorale demande un suivi régulier des dossiers et des calendriers. En 2002-2003 j’ai nettement amélioré les pages de Web de l’école avec annonce des soutenances de thèses et mise à disposition des résumés. Des séminaires de haut niveau et à spectre assez large ont été ouverts à nos doctorants en collaboration avec l’INRIA (Colloquium Jacques Morgenstern). Pour fin 2002, il a fallu monter un nouveau dossier d’accréditation pour l’école doctorale. Cette activité a été particulièrement absorbante. J’attendais le retour du ministère concernant cette nouvelle accréditation. La réponse n’est pas venue et arrivera certainement avec le reste de la contractualisation courant 2004. N’étant pas prêt de remplir un autre mandat de 4 ans (qui m’aurait impliqué jusqu’à 62 ans) et n’obtenant pas l’adhésion de la majorité de mes collègues sur le projet d’un Master unique et à nombre réduit de filières, j’ai annoncé en juillet 2003 mon intention de ne pas solliciter un nouveau mandat. Un nouveau directeur a été élu pendant l’été et il a pris ses fonctions à la rentrée 2003 (cette date était pédagogiquement et administrativement préférable à la date de fin d’année civile). J’ai réglé les problèmes en cours (en particulier les problèmes d’allocations et de monitorat) jusqu’à fin octobre 2003. Je pense que durant ma direction, l’École Doctorale a positivement évolué du point de vue administratif (restructuration, mise en place de nouvelles procédures), relationnel (proximité des doctorants, lien avec l’administration, coopération accrue avec les laboratoires et instituts de recherches de Sophia (INRIA et Eurécom), et a gagné en visibilité.

43

CONCLUSIONS ET PERSPECTIVES J’espère au travers de ce dossier avoir présenté mes activités et mes résultats significatifs dans les trois volets « enseignement, recherche, administration ». Une constante est mon engagement très fort dans tout ce qui concerne la vie de l’Université. Dans toutes ces activités j’ai toujours donné priorité aux intérêts collectifs. J’ai cité un certain nombre de noms dans ce dossier. Je n’ai demandé aucune lettre de recommandation à qui que ce soit. Les personnes citées ne sont même pas informées de ma candidature. Si vous désirez les contacter, elles seront d’autant plus à l’aise pour exprimer leur point de vue. Par rapport à mes dossiers précédents je présente de nouveaux points positifs :

• En recherche, avec de nouveaux résultats sur les modèles synchrones et leur sémantique, ainsi qu’une ouverture sur l’introduction du synchrone dans l’UML.

• En enseignement, avec l’enrichissement des outils mis à la disposition des étudiants et le rapprochement des enseignements génie informatique avec les disciplines voisines.

• En administration, avec les évolutions de l’école doctorale STIC et le bilan de ma gestion.

Un point reste très préjudiciable : le manque chronique de doctorants dans notre projet qui se situe à la marge des deux spécialités EEA et Informatique. La formation attendue en « Systèmes Embarqués » pourrait inverser cette tendance. Ce qui me tient le plus à cœur pour l’avenir, c’est de renforcer l’équipe de recherche SPORTS probablement au travers du projet AOSTE. Nos résultats débouchent à présent sur des perspectives d’applications industrielles. Il faut mettre à profit cet intérêt suscité chez des partenaires industriels, pour découvrir de nouveaux problèmes à étudier. De plus, dans le secteur des Sciences Pour l’Ingénieur, je ne vois pas d’autres possibilités pour assurer la survie financière des équipes de recherche. Il faudra bien se garder de faire du développement. Ce n’est pas notre travail. Par contre, j’espère continuer de développer une recherche qui traite des problèmes de fond (sémantique, validation) et qui débouchent sur des résultats applicables, qui peuvent être valorisés. En ce qui concerne l’enseignement, j’ai toujours été à la frontière entre les disciplines EEA et informatiques. Mon souhait est d’améliorer les compétences des étudiants d’EEA en programmation et d’amener les étudiants en informatique à une meilleure compréhension des systèmes de commande/contrôle et des systèmes numériques. Un enseignement s’appuyant sur des méthodes de conception d’applications de commande permettrait aux étudiants de se familiariser avec les méthodes et outils de modélisation, de programmation et de test. Les logiciels que j’ai déjà développés vont dans ce sens. L’importance croissante des télécommunications et de leurs applications est également à considérer. J’ai déjà infléchi le cours d’architecture des ordinateurs pour accorder une place plus grande aux processeurs de traitement du signal. J’aborde les problèmes de communication et de protocoles avec une vision « temps réel » par le biais des réseaux industriels comme CAN. Je suis convaincu qu’au travers de ces applications d’actualité, il est toujours possible de faire passer les concepts.

44

La fonction de Directeur d’École Doctorale m’a donné des responsabilités accrues et m’a permis de connaître et d’apprécier des partenaires nouveaux. J’ai investi beaucoup de mon temps pour le développement de l’École et pour le devenir de nos doctorants. J’espère avoir contribué, par l’intermédiaire de l’École Doctorale, au succès futur du « Campus STIC », un des projets majeurs de notre Université.

Fait à Sophia Antipolis, le 12 février 2004

Charles ANDRÉ

45

LISTE DES PERSONNES CITÉES

Personnes assumant des fonctions administratives Alain Chiavelli, Professeur, Président du Conseil Scientifique de l’Université de Nice-Sophia Antipolis, [email protected] Michel Rouillard, Professeur, Directeur de l’UFR Science, parc Valrose, NICE. [email protected] (en fonction jusqu’en 2000). Gérard Favier, Directeur de recherche CNRS, Directeur du laboratoire I3S, Sophia Antipolis (jusqu’à la fin 1999), [email protected] Pierre Bernhard, Professeur, Directeur du laboratoire I3S (2000 -2003) [email protected] Jean-Marc Fédou, Professeur, Directeur du laboratoire I3S (depuis septembre 2003) [email protected]

Personnes ayant des responsabilités de recherche hors Université de Nice Ces chercheurs sont spécialistes de disciplines relevant des 27° et 61° sections. Albert Benveniste, Directeur de Recherche, IRISA / INRIA, Campus de Beaulieu 35042 Rennes, [email protected] Michel Cosnard, Directeur du Centre de Recherche, INRIA Sophia Antipolis, 06902 Sophia Antipolis, [email protected] Robert De Simone, Directeur de Recherche INRIA, projet Meije, 06902 Sophia Antipolis. [email protected] Bernard Dion, Directeur général de la société Simulog, 78286 Guyancourt cédex. [email protected] Jean-Pierre Elloy, Professeur, Laboratoire IRCyN, Ecole Centrale, 44072 Nantes. [email protected] Jean-Claude Gentina, Professeur, Laboratoire LAIL, Ecole Centrale, 59651 Villeneuve d'Ascq [email protected] François Roubellat, Directeur de Recherche CNRS, LAAS, Toulouse. [email protected] Marcel Staroswiecki, Professeur, Laboratoire LAIL, 59651 Villeneuve d'Ascq [email protected] Jean-Pierre Thomesse, Professeur, LORIA, 54516 Vandoeuvre. [email protected]

47

ANNEXE A : OUTILS ET LOGICIELS POUR LES ENSEIGNEMENTS DE GÉNIE INFORMATIQUE

GÉNÉRALITÉS SUR LA PLATE-FORME

Objectifs Mettre à disposition un ensemble d'outils

• qui permettent de comprendre et d'utiliser des modèles, • qui facilitent la conception et la mise au point d'applications, • avec des possibilités d'utilisation simplifiées ou avancées; • adaptable au cursus (importance relative accordée à la modélisation et à la

programmation).

Contenu La distribution comprend

• des logiciels disponibles sur le web, • des logiciels plus spécialisés (qu'il faut éventuellement récupérer directement pour des

questions de licence) et • des logiciels développés par l'auteur ou d'autres membres de l'équipe SPORTS du

laboratoire I3S. Les logiciels développés par l'équipe SPORTS sont notés avec un astérisque, ceux développés plus spécialement par C André par un double astérisque.

La plate-forme résout certains problèmes de communications entre logiciels, ce qui permet d'utiliser différents outils sans se soucier des formats intermédiaires et des protocoles de communication entre outils.

LOGICIELS

Utilitaires • bdd (** pour la partie interface ; le package CUDD de F. Somenzi, Université du

Colorado, pour les traitements) • éditeur de format IEEE 754 (http://babbage.cs.qc.edu/courses/cs341/IEEE-754.html)

Modèles états - transitions • fsm (**) • grafcet (*) • syncCharts (**) • réseaux de Petri

Ces logiciels utilisent de façon transparente

• le compilateur Estérel (INRIA/CMA) • l'éditeur, le compilateur et le simulateur syncCharts (**) • l'éditeur et le compilateur grafcet (*) • le simulateur Estérel : Xes (INRIA/CMA)

48

• le "model checker" Xeve (INRIA) • SIS pour l'optimisation de circuits (Berkeley University) • atg (INRIA) pour l'exploration des graphes • tina 2.4.12 (Berthomieu, LAAS)

Pour information : documentation sommaire de fsm (format pdf) (format html pour Internet Explorer 5)

Programmation de contrôleurs • bic (**) un configurateur d'interfaces environnement/contrôleur • maquettes (logicielles) de processus (**) • Linux Temps réel (version "rtai" pour noyaux 2.2.x)

Pour information : documentation sommaire de bic

Architecture des ordinateurs • environnement EM1000 pour Motorola 68000 • environnement pour microcontrôleur 68HC11 (*) • environnement pour DSP : TMS320C5X • simulation d'architecture RISC : DLX • simulation d'architecture RISC : XSPIM • simulation d'architectures diverses : CPUSimulator (**)

Pour information : documentation de CPUSimulator

49

ANNEXE B : ACCÈS AUX DOCUMENTS Ma page Web : http://www.i3s.unice.fr/~andre On y trouve une présentation générale de mes activités d’enseignements et de recherche. On peut également récupérer des copies d’articles ou de rapports. Le logiciel syncCharts est disponible sur le site : http://www.i3s.unice.fr/sports/SyncCharts En ce qui concerne les documents d’enseignements ils sont accessibles à l’intérieur de l’Université de Nice. Pour y accéder de l’extérieur il faut accéder DIRECTEMENT (répertoire caché) à http://www.i3s.unice.fr/~andre/CAdoc Mon courrier électronique est [email protected]

50