Publications de Eric Rutten

HDR

1. E. Rutten.
   Programmation sûre des systèmes de contrôle/commande: le séquencement de tâches flot de données dans les langages réactifs.  Habilitation à diriger des recherches, Ifsic, Université de Rennes1, Décembre 1999. (postscript)

Articles de Journaux

1. F. Jimenez-Fraustro, E. Rutten.
   Modélisation synchrone de standards de programmation de systèmes de contrôle : le langage ST.  Revue de l'électricité et de l'électronique (SEE), (3):60--68, Mars 2000. (abstract)
2. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan.
   Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Science of Computer Programming, 2000. (abstract)
3. E. Marchand, E. Rutten, H. Marchand, F. Chaumette.
   Specifying and verifying active vision-based robotic systems with the Signal environment.  Int. Journal of Robotics Research, 17(4):418-432, Avril 1998. (postscript)
4. E. Rutten, E. Marchand, F. Chaumette.
   An experiment with reactive data-flow tasking in active robot vision.  Software - Practice & Experience, 27(5):599-621, Mai 1997. (postscript) (abstract)
5. E. Marchand, E. Rutten, F. Chaumette.
   From data-flow task to multi-tasking: Applying the synchronous approach to active vision in robotics.  IEEE Trans. on Control Systems Technology, 5(2):200-216, Mars 1997. (postscript) (abstract)

Chapitres de livres

1. T. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
   Signal- the specification of a generic, verified production cell controller.  in Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chapitre 7, pages 115-129, Springer Verlag, Lecture Notes in Computer Science, Janvier 1995.

Conférences Internationales

1. F. Jimenez-Fraustro, E. Rutten.
   Hybrid simulation of IEC-61131 PLC programs using Signal and Simulink.  Proceedings of the 4th International Conference on Automation of Mixed Processes, ADPM'00, 18-19 September 2000, Dortmund, Germany, pages 171--176, 2000.
2. F. Jiménez, E. Rutten.
   A synchronous model of the PLC programming language ST.  Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, pages 21--24, York, England, Juin 1999. (postscript) (abstract)
3. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
   Taxonomy and expressiveness of preemption : a syntactic approach.  Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, Décembre 1998. (postscript) (abstract)
4. A. Benveniste, (AVECM. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier).
   Safety Critical Embedded Systems Design: the SACRES approach.  Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, Septembre 1998. (postscript) (abstract)
5. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten.
   Distributed code generation of dataflow synchronous programs: the SACRES approach.  Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), Mai 1998. (postscript) (abstract)
6. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten.
   A translation of Statecharts into Signal.  Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), IEEE Publ., pages 52-62, Aizu-Wakamatsu, Japan, Mars 1998. (postscript) (abstract)
7. PH. Baufreton, X. Méhaut, E. Rutten.
   Embedded Systems in Avionics and the Sacres Approach.  Proceedings of The 16th International Conference on Computer Safety, Reliability and Security, SAFECOMP'97, York, United Kingdom, Springer, Septembre 1997. (postscript) (abstract)
8. PH. Baufreton, H. Granier, X. Méhaut, E. Rutten.
   The Sacres Approach to Emdedded Systems Applied to Aircraft Engine Controllers.  Proceedings of the 22st IFAC/IFIP Workshop on Real Time Programming, WRTP'97, Lyon, France, Elsevier, Septembre 1997. (postscript) (abstract)
9. P. Le Guernic, E. Rutten.
   Experiments with the synchronous methodology illustrating its support of predictability.  Proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming, WRTP'96, pages 81-86, Canela/Gramado, RS, Brazil, Novembre 1996. (postscript) (abstract)
10. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan.
    Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller.  Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Springer-Verlag, LNCS 1101, pages 271-285, Munich, Germany, Juillet 1996. (postscript) (abstract)
11. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
    Preemption primitives in reactive languages (a preliminary report).  Proceedings of the Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, LNCS, Springer-Verlag, Décembre 1995. (postscript) (abstract)
12. E. Rutten, P. Le Guernic.
    Sequencing and preempting data flow tasks.  Proceedings of the 20th IFIP/IFAC Workshop on Real Time Programming,WRTP '95, Ft. Lauderdale, Florida, Novembre 1995.
13. S. Donikian, E. Rutten.
    Reactivity, concurrency, data flow and hierarchical preemption for behavioral animationn.  Proceedings of the 5th Eurographics Workshop on Programming Paradigms in Graphics. R.C. Veltkamp, E.H. Blake (eds.), Programming Paradigms in Graphics, Springer, Computer Science, 169 Maastricht, the Netherlands, Septembre 1995. (postscript) (abstract)
14. H. Marchand, E. Rutten, M. Samaan.
    Synchronous design of a transformer station controller in Signal.  Proceedings of the 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, pages 754-759, Septembre 1995. (postscript) (abstract)
15. E. Marchand, F. Chaumette, E. Rutten.
    Real time active visual reconstruction using the synchronous paradigm.  Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, Août 1995. (postscript)
16. E. Rutten, F. Martinez.
    Signalgti: implementing task preemption and time intervals in the synchronous data flow language Signal.  Proceedings of the 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, IEEE Publ., Juin 1995. (postscript) (abstract)
17. E. Rutten, P. Le Guernic.
    Sequencing data flow tasks in SIGNAL.  Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, Orlando, Florida (USA), Juin 1994. (postscript) (abstract)
18. E. Rutten, E. Marchand, F. Chaumette.
    The sequencing of data flow tasks in Signal: application to active vision in robotics.  Proceedings of the 6th Euromicro Workshop on Real Time Systems, IEEE Publ., pages 80-84, University of Maelardalen, Vasteraa s (Sweden), Juin 1994. (postscript) (abstract)

Conférences Nationales

1. F. Jiménez, E. Rutten.
   Modélisation synchrone de standards de programmation de systèmes de contrôle.  Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, Novembre 1999. (postscript) (abstract)
2. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier.
   Une modélisation de StateCharts et ActivityCharts en Signal.  Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, Mars 1999. (postscript) (abstract)
3. P. Le Guernic, S. Machard, E. Rutten.
   Répartition de programmes Signal.  Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, Juin 1998. (postscript) (abstract)
4. PH. Baufreton, X. Méhaut, E. Rutten.
   L'approche Sacres pour les systèmes embarqués à sécurité critique.  Actes du Salon Real-Time Systems RTS'97, Paris, Teknea, pages 101-118, Janvier 1997. (postscript) (abstract)
5. H. Marchand, E. Marchand, E. Rutten.
   Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL.  Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, Mars 1996. (postscript) (abstract)

Rapports de recherche

1. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier.
   A translation of Statecharts and Activitycharts into Signal equations.  Rapport de Recherche Irisa / Inria-Rennes, No3397, Avril 1998. (postscript) (abstract)
2. P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten.
   The Signal data flow methodology applied to a production cell.  Rapport de Recherche Irisa, No917, Mars 1995. (postscript) (abstract)
3. H. Marchand, E. Rutten, M. Samaan.
   Specifying and verifying a transformer station in Signal and Signalgti.  Rapport de Recherche Irisa, No916, Mars 1995. (postscript) (abstract)
4. E. Marchand, E. Rutten, F. Chaumette.
   Applying the Synchronous Approach to Real Time Active Visual Reconstruction.  Rapport de Recherche Inria, No2383, Novembre 1994. (postscript) (abstract)
5. E. Marchand, F. Chaumette, E. Rutten.
   Stratégie perceptive d'un environnement statique dans un contexte de vision active.  Rapport de Recherche Irisa, No775, Novembre 1993. (postscript) (abstract)
6. E. Rutten, P. Le Guernic.
   Sequencing data flow tasks in SIGNAL.  Rapport de Recherche Irisa / Inria-Rennes, No2120, Novembre 1993. (postscript) (abstract)

Divers

1. A. Benveniste, H. Brix, W. Damm, F. Dupont, A. Grazebrook, H. Holberg, P. Le Guernic, J. Rowlands, E. Rutten, E. Sefton, K. Winkelmann.
   The Sacres design methodology for safety critical systems.  Esprit project EP 20897: Sacres, Novembre 1998.
2. A. Benveniste, T. Gautier, F. Jiménez, P. Le Guernic, S. Machard, E. Rutten.
   Méthodes de distribution de code Signal et Dc+.  Convention INRIA - EdF P33/6A4575/EP871, Juin 1998.
3. J.R. Beauvais, R. Houdebine, P. LeGuernic, E. Rutten, T. Gautier.
   Task I1.1A: StateMate integration - A translation of Statecharts and Activitycharts into Signal equations.  Esprit project EP 20897: Sacres, Avril 1998.
4. H. Marchand, E. Rutten, M. Samaan.
   Description, spécification et validation d'un automatisme de poste de transformation électrique.  Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1994.

Webmaster : epatr_webmaster@irisa.fr Ces pages sont créées automatiquement par le programme bib2html du projet Vista de l'IRISA-INRIA Rennes