Priority systems

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

Volumn 3188, Issue , 2004, Pages 314-329

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

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SYNTHESIS (CHEMICAL);

BASIC RESULTS; COMPOSITIONALITY; CONSTRUCTION PROCESS; CONTROLLER SYNTHESIS; DEADLOCK FREE; INCREMENTAL CONSTRUCTION; SAFETY PROPERTY;

CONTROLLERS;

EID: 35048840647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30101-1_15     Document Type: Article

References (15)

1. K. Altisen, G. Gössler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proc. RTSS'99, pages 154-163. IEEE Computer Society Press, 1999.
2. K. Altisen, G. Gössler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on "controltheoretical approaches to real-time computing", 23(l/2):55-84, 2002.
3. L. Bauer, J. Ligatti, and D. Walker. A calculus for composing security policies. Technical Report TR-655-02, Princeton University, 2002.
4. S. Bornot, G. Gössler, and J. Sifakis. On the construction of live timed systems. In S. Graf and M. Schwartzbach, editors, Proc. TACAS'OO, volume 1785 of LNCS, pages 109-126. Springer-Verlag, 2000.
5. G. Gössler and J. Sifakis. Component-based construction of deadlock-free systems (extended abstract). In proc. FSTTCS'03, volume 2914 of LNCS. Springer-Verlag, 2003.
6. G. Gössler and J. Sifakis. Composition for component-based modeling. In proc. FMCO'02, volume 2852 of LNCS. Springer-Verlag, 2003.
7. S. Graf, I. Ober, and I. Ober. Model checking of uml models via a mapping to communicating extended timed automata. In S. Graf and L. Mounier, editors, Proc. SPIN'04, volume 2989 of LNCS. Springer-Verlag, 2004.
8. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. ECOOP '97, volume 1241 of LNCS, page 220ff. Springer-Verlag, 1997.
9. C. Kloukinas, C. Nakhli, and S. Yovine. A methodology and tool support for generating scheduled native code for real-time Java applications. In R. Alur and I. Lee, editors, Proc. EMSOFT'03, volume 2855 of LNCS, pages 274-289, 2003.
10. J. Ligatti, L. Bauer, and D. Walker. Edit automata: Enforcement mechanisms for run-time security policies. Technical Report TR-681-03, Princeton University, 2003.
11. 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.
12. P.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1), 1987.
13. E. Rutten and H. Marchand. Task-level programming for control systems using discrete control synthesis. Technical Report 4389, INRIA, 2002.
14. F. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 3(1):30-50, 2000.
15. P. Tarr, M. D'Hondt, L. Bergmans, and C. V. Lopes. Workshop on aspects and dimensions of concern: Requirements on, challenge problems for, advanced separation of concerns." In ECOOP 2000 Workshop Proceedings, Springer Verlag, 2000.