Contracts for modular discrete controller synthesis

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2010, Pages 57-66

  Delaval, Gwenaël ^a   Marchand, Hervé ^a   Rutten, Eric ^a  

^a INRIA   (France)

Author keywords

adaptive and reconfigurable systems; components; contracts; discrete controller synthesis; modularity; reactive systems; synchronous programming

Indexed keywords

ADAPTIVE AND RECONFIGURABLE SYSTEMS; DISCRETE CONTROLLER SYNTHESIS; REACTIVE SYSTEM; RECONFIGURABLE SYSTEMS; SYNCHRONOUS PROGRAMMING;

ABSTRACTING; COMPUTER SYSTEMS PROGRAMMING; CONTROLLERS; EMBEDDED SYSTEMS; LINGUISTICS; PROGRAM COMPILERS; QUERY LANGUAGES; SPECIFICATIONS;

ADAPTIVE CONTROL SYSTEMS;

EID: 77954523005     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1755888.1755898     Document Type: Conference Paper

References (22)

1. S. Abdelwahed and W. Wonham. Supervisory control of interacting discrete event systems. In 41th IEEE Conference on Decision and Control, pages 1175-1180, Las Vegas, USA, December 2002.
2. S. Aboubekr, G. Delaval, and E. Rutten. A programming language for adaptation control: Case study. In 2nd Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2009). ACMSIGBED Review, volume 6, Grenoble, France, Oct. 2009.
3. K. Akesson, H. Flordal, and M. Fabian. Exploiting modularity for synthesis and verification of supervisors. In Proc. of the IFAC, 2002.
4. K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten. Using controller synthesis to build property-enforcing layers. In Proceedings of the European Symposium on Programming (ESOP'03), number 2618 in LNCS, Warsaw, Poland, Apr. 2003.
5. R.-J. Back and C. C. Seceleanu. Contracts and games in controller synthesis for discrete systems. In IEEE Int. Conf. on Engineering of Computer-Based Systems, page 307, 2004.
6. A. Benveniste, B. Caillaud, and R. Passerone. A generic model of contracts for embedded systems. Res. Rep. RR-6214, INRIA, 2007.
7. 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, 91(1):64-83, Jan. 2003.
8. C. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
9. A. Chakrabarti, L. de Alfaro, T. Henzinger, and F. Mang. Synchronous and bidirectional component interfaces. In CAV 2002: 14th Int. Conf. on Computer Aided Verification, LNCS, 2002.
10. J.-L. Colaço, B. Pagano, and M. Pouzet. A Conservative Extension of Synchronous Data-flow with State Machines. In ACM Int. Conf. on Embedded Software (EMSOFT'05), Jersey city, New Jersey, USA, September 2005.
11. M. De Queiroz and J. Cury. Modular control of composed systems. In Proceedings of the American Control Conference, pages 4051-4055, Chicago, Illinois, June 2000.
12. G. Delaval and E. Rutten. A domain-specific language for multi-task systems, applying discrete controller synthesis. J. on Embedded Systems, 2007(84192):17, Jan. 2007. www.hindawi.com/journals/es.
13. Y. Hietter, J.-M. Roussel, and J.-J. Lesage. Algebraic Synthesis of Transition Conditions of a State Model. In Proc. of 9th Int. Workshop On Discrete Event Systems (WODES'08), Göteborg, June 2008.
14. R. Leduc, W. Wonham, and M. Lawford. Hierarchical interface-based supervisory control: Parallel case. In Proc. of the 39th Allerton Conf. on Comm., Contr., and Comp., pages 386-395, October 2001.
15. C. Ma and W. Wonham. A symbolic approach to the supervision of state tree structures. In 13th Mediterranean Conference on Control and Automation, Limassol, Cyprus, June 2005.
16. F. Maraninchi and L. Morel. Logical-time contracts for the development of reactive embedded software. In 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE), Rennes, France, Sept. 2004.
17. H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic. Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamic System: Theory and Applications, 10(4), Oct. 2000.
18. H. Marchand and B. Gaudin. Supervisory control problems of hierarchical finite state machines. In 41th IEEE Conference on Decision and Control, Las Vegas, USA, December 2002.
19. B. Meyer. Applying "design by contract". Computer, 25(10):40-51, Oct 1992.
20. P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, 77(1):81-98, 1989.
21. Y. Wang, S. Lafortune, T. kelly, M. Kudlur, and S. Mahlke. The Theory of Deadlock Avoidance via Discrete Control. In ACM Symposium on Principles of Programming Languages (POPL '09), Savannah, Georgia, USA, January 2009.
22. Y. Willner and M. Heymann. Supervisory control of concurrent discrete-event systems. Int. J. of Control, 54(5):1143-1169, 1991.