A domain-specific language for multitask systems, applying discrete controller synthesis

Eurasip Journal on Embedded Systems

Volumn 2007, Issue , 2007, Pages

  Delaval, Gwenäel ^a   Rutten, Éric ^b  

^a INRIA RHÔNE ALPES   (France)

^b ECOLE CENTRALE DE LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34247259625     PISSN: 16873955     EISSN: 16873963     Source Type: Journal    
DOI: 10.1155/2007/84192     Document Type: Article

References (28)

1. T. A. Henzinger tah@eecs.berkeley.edu B. Horowitz bhorowit@cs.berkeley. edu C. M. Kirsch cm@eecs.berkeley.edu Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE 91 1 2003 84 99
2. K. Altisen A. Clodic F. Maraninchi. Rutten Using controller synthesis to build property-enforcing layers. Proceedings of European Symposium on Programming (ESOP '03) Warsaw, Poland 2003
3. J.-J. Borrelly E. Coste-Manière B. Espiau The ORCCAD architecture. International Journal of Robotics Research 17 4 1998 338 359
4. . Rutten Programmation sre des systèmes de contrle/commande: le séquencement de tches flot de données dans les langages réactifs. IFSIC, Université de Rennes 1 Rennes Cedex, France 1999 Document d'Habilitation Diriger des Recherches
5. F. Maraninchi Y. Rémond. Rutten Effective programming language support for discrete-continuous mode-switching control systems. Proceedings of the 40th IEEE Conference on Decision and Control (CDC '01) Orlando, Fla, USA 2001 3296 3301
6. F. Maraninchi Y. Rémond Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming 46 3 2003 219 254
7. J.-L. Colaço B. Pagano M. Pouzet A conservative extension of synchronous data-flow with state machines. Proceedings of the 5th ACM International Conference on Embedded Software (EMSOFT '05) Jersey City, NJ, USA 2005 173 182
8. F. Cassez O. Roux Compilation of the ELECTRE reactive language into finite transition systems. Theoretical Computer Science 146 1-2 1995 109 143
9. K. Altisen G. Göler J. Sifakis Scheduler modelling based on the controller synthesis paradigm. Journal of Real-Time Systems 23 2002 1 55 84
10. N. Halbwachs Synchronous Programming of Reactive Systems. Kluwer Academic Boston, Mass, USA 1993
11. N. Halbwachs Synchronous programming of reactive systems, a tutorial and commented bibliography. Proceedings of the 10th International Conference on Computer Aided Verification (CAV '98) Lecture Notes in Computer Science 1427 Vancouver, BC, Canada 1998 1 16
12. A. Benveniste Albert.Benveniste@inria.fr P. Caspi Paul.Caspi@imag.fr S. A. Edwards sedwards@cs.columbia.edu N. Halbwachs P. Le Guernic R. de Simone Robert.De-Simone@inria.fr The synchronous languages 12 years later. Proceedings of the IEEE 91 1 2003 64 83
13. P. Le Guernic Compilation involving model-checking and controller synthesis. personal communication, 1996
14. N. Halbwachs F. Lagnier P. Raymond Synchronous observers and the verification of reactive systems. Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93) Twente, The Netherlands 1993 83 96
15. D. Potop-Butucaru R. de Simone Optimizations for faster execution of Esterel programs. Proceedings of the 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE '03) Mont-Saint-Michel, France 2003 227 236
16. A. Chakrabarti L. de Alfaro T. Henzinger F. Mang Synchronous and bidirectional component interfaces. Proceedings of the 14th International Conference on Computer Aided Verification (CAV '02) Copenhagen, Denmark 2002 414 427
17. G. Berry G. Plotkin C. Stirling M. Tofte The foundations of Esterel. Proof, Language, and Interaction: Essays in Honour of Robin Milner MIT Press Cambridge, Mass, USA 2000 425 454
18. E. Coste-Manière N. Turro The MAESTRO language and its environment: specification, validation and control of robotic missions. Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '97) 2 Grenoble, France 1997 836 841
19. P. J. Ramadge W. M. Wonham Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization 25 1 1987 206 230
20. P. Darondeau Verification is autopsy. personal communication, October 2004
21. H. Marchand hmarchan@irisa.fr P. Bournai bournai@irisa.fr M. Le Borgne leborgne@irisa.fr P. Le Guernic leguerni@irisa.fr Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic Systems: Theory and Applications 10 4 2000 325 346
22. H. Marchand. Rutten Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS '02) Vienna, Austria 2002 241 248
23. C. Kloukinas C. Nakhli S. Yovine A methodology and tool support for generating scheduled native code for real-time Java applications. Proceedings of the 3rd International Conference on Embedded Software (EMSOFT '03) Lecture Notes in Computer Science 2855 Philadelphia, Pa, USA 2003 274 289
24. . Rutten H. Marchand Automatic generation of safe handlers for multi-task systems. Rapport de Recherche 5345 INRIA Le Chesnay Cedex, France 2004 http://www.inria.fr/rrrt/rr-5345.html
25. C. Kloukinas S. Yovine Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems. Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS '03) Porto, Portugal 2003 287 294
26. G. Delaval Gwenael.Delaval@inrialpes.fr. Rutten Eric.Rutten@inria.fr A domain-specific language for task handlers generation, applying discrete controller synthesis. Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC '06) 1 Dijon, France 2006 901 905
27. L. J. Jagadeesan C. Puchol J. V. Olnhausen Safety property verification of Esterel programs and applications to telecommunications software. Proceedings of the 7th International Conference on Computer Aided Verification (CAV '95) Lecture Notes in Computer Science 939 Liège, Belgium 1995 127 140
28. A. Girault. Rutten Discrete controller synthesis for fault-tolerant distributed systems. Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04) Linz, Austria 2004