Component-based construction of deadlock-free systems: Extended abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2914, Issue , 2003, Pages 420-433

  Gössler, Gregor ^a   Sifakis, Joseph ^b  

^a INRIA RHÔNE ALPES   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

COMPONENT-BASED CONSTRUCTION; COMPOSITION OPERATORS; DEADLOCK FREE; DEADLOCK FREEDOM; EXTENDED ABSTRACTS; GLOBAL CONSTRAINTS; INTERACTION MODEL; SYSTEM CONSTRUCTION;

SOFTWARE ENGINEERING;

EID: 35048861339     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24597-1_36     Document Type: Article

References (17)

1. K. Altisen, G. Gössler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on "control-theoretical approaches to real-time computing", 23(1/2):55-84, 2002.
2. A. Benveniste, P. LeGuernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103-149, 1991.
3. J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. TCS, 37(1):77-121, 1985.
4. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
5. S. Bornot, G. Gössler, and J. Sifakis. On the construction of live timed systems. In S. Graf and M. Schwartzbach, editors, Proc. TACAS'00, volume 1785 of LNCS, pages 109-126. Springer-Verlag, 2000.
6. L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In T.A. Henzinger and C. M. Kirsch, editors, Proc. EMSOFT'01, volume 2211 of LNCS, pages 148-165. Springer-Verlag, 2001.
7. E.W. Dijskstra. A Discipline of Programming. Prentice Hall, 1976.
8. G. Goessler and J. Sifakis. Composition for component-based modeling. In proc. FMCO'02 (to appear), LNCS. Springer-Verlag, 2003.
9. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
10. T.A. Henzinger, B. Horowitz, and C. Meyer Kirsch. Embedded control systems development with Giotto. In Proc. LCTES'01, 2001.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
12. Hermann Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.
13. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E.W. Mayr and C. Puech, editors, STACS'95, volume 900 of LNCS, pages 229-242. Springer-Verlag, 1995.
14. F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In proc. CONCUR, volume 630 of LNCS. Springer-Verlag, 1992.
15. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3):267-310, 1983.
16. J. Misra and K.M. Chandy. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
17. K.J. Turner, editor. Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL. Wiley, 1993.