A domain-specific language for task handlers generation, applying discrete controller synthesis

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2006, Pages 901-905

  Delaval, Gwenaël ^a   Rutten, Éric ^b  

^a INRIA RHÔNE ALPES   (France)

^b INRIA   (France)

Author keywords

Discrete control synthesis; Domain specific language; Real time systems; Safe design; Synchronous programming

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; ENCAPSULATION; MATHEMATICAL MODELS; PROGRAM COMPILERS; REAL TIME SYSTEMS;

DISCRETE CONTROL SYNTHESIS; DOMAIN SPECIFIC LANGUAGE; SAFE DESIGN; SYNCHRONOUS PROGRAMMING;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33751049657     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141487     Document Type: Conference Paper

References (12)

1. K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten. Using controller synthesis to build property-enforcing layers. In European Symposium on Programming (ESOP), Warsaw (Poland), Apr. 2003. LNCS 2618.
2. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages twelve years later. Proc. of the IEEE, Special issue on embedded systems, 91(1):64-83, Jan. 2003.
3. J.-J. Borrelly, E. Coste-Manière, B. Espiau, K. Kapellos, R. Pissard-Gibollet, D. Simon, and N. Turro. The Orccad architecture. Int. J. of Robotics Research, 17(4), 1998.
4. A. Chakrabarti, L. de Alfaro, T. Henzinger, and F. Mang. Synchronous and bidirectional component interfaces. In CAV 02: Int. Conf. on Computer Aided Verification, 2002.
5. G. Delaval and E. Rutten. A domain-specific language for multi-task systems, applying discrete controller synthesis. Research Report 5690, INRIA, Sept. 2005. http://www.inria.fr/rrrt/rr-5690.html.
6. B. Douglass. Real Time UML. Addison Wesley, 2004.
7. Esterel technologies. The Esterel Studio and Scade tools, http://www.esterel-technologies.com, 2005.
8. C. Kloukinas and S. Yovine. Synthesis of safe, qos extendible, application specific schedulers for heterogeneous real-time systems. In 15th Euromicro Conference on Real-Time Systems (ECRTS'03), Porto, Portugal, 2003.
9. E. Lee. The Ptolemy project. University of Berkeley. http://ptolemy.eecs. berkeley.edu, 2005.
10. F. Maraninchi and Y. Rémond. Mode-automata: a new domain-specific construct for the development of safe critical systems. Sc. of Computer Programming, (46):219-254, 2003.
11. H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications, 10(4), October 2000.
12. H. Marchand and E. Rutten. Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In 14th Euromicro Conference on Real-Time Systems (ECRTS'02), June 2002.