Compositional modeling in metropolis

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

Volumn 2491, Issue , 2002, Pages 93-107

  Gössler, Gregor ^a   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; EMBEDDED SOFTWARE;

ANALYSIS AND SYNTHESIS; COMPOSITIONAL MODELING; GENERAL SYSTEMS; HETEROGENEOUS EMBEDDED SYSTEM; MICRO KERNEL; REAL TIME OPERATING SYSTEM; SOFTWARE SYSTEMS; VERIFICATION PROBLEMS;

EMBEDDED SYSTEMS;

EID: 84948993574     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45828-x_8     Document Type: Article

References (17)

1. K. Altisen, G. Gossler, 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(1/2):55-84, 2002.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. J. Baeten, J. Bergstra, and J. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae, IX(2):127-168, 1986.
4. F. Balarin, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, Y. Watanabe, and G. Yang. Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. In Proc. CODES’02, 2002.
5. S. Bornot, G. Gossler, 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. S. Bornot and J. Sifakis. An algebraic framework for urgency. Information and Computation, 163:172-202, 2000.
7. M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, and L. Mounier. IF: A validation environment for timed asynchronous systems. In E. Emerson and A. Sistla, editors, Proc. CAV’00, volume 1855 of LNCS, pages 543-547. Springer- Verlag, 2000.
8. J. Burch, R. Passerone, and A. Sangiovanni-Vincentelli. Overcoming heterophobia: Modeling concurrency in heterogeneous systems. In Proc. 2nd International Conference on Application of Concurrency to System Design, 2001.
9. J. Camilleri and G. Winskel. CCS with priority choice. Information and Computation, 116(1):26-37, 1995.
10. D. Culler, J. Hill, P. Buonadonna, R. Szewczyk, and A. Woo. A network-centric approach to embedded software for tiny devices. In T. Henzinger and C. M. Kirsch, editors, Proc. EMSOFT’01, volume 2211 of LNCS, pages 114-130. Springer-Verlag, 2001.
11. L. de Alfaro and T. Henzinger. Interface theories for component-based design. In T. Henzinger and C. M. Kirsch, editors, Proc. EMSOFT’01, volume 2211 of LNCS, pages 148-165. Springer-Verlag, 2001.
12. G. Gossler. Compositional Modelling of Real-Time Systems — Theory and Practice. PhD thesis, Universite Joseph Fourier, Grenoble, France, 2001.
13. G. Gossler. Prometheus — a compositional modeling tool for real-time systems. In P. Pettersson and S. Yovine, editors, Proc. Workshop RT-TOOLS’ 01. Technical report 2001-014, Uppsala University, Department of Information Technology, 2001.
14. L. Lamport. Specifying concurrent program modules. ACM Trans. on Programming Languages and Systems, 5:190-222, 1983.
15. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hardreal- time environment. Journal of the ACM, 20(1), 1973.
16. O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed systems. In E. Mayr and C. Puech, editors, STACS’95, volume 900 of LNCS, pages 229-242. Springer-Verlag, 1995.
17. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, 1990.