Extending timed automata for compositional modeling healthy timed systems

Electronic Notes in Theoretical Computer Science

Volumn 52, Issue 3, 2002, Pages 227-245

  Braberman, Víctor ^a   Olivero, Alfredo ^b  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b UNIVERSIDAD ARGENTINA DE LA EMPRESA   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL MODELS; STATISTICAL METHODS;

COMPOSITIONAL MODELING; KEY MODELING; TIMED AUTOMATA;

COMPUTER PROGRAMMING LANGUAGES;

EID: 23944454945     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00226-9     Document Type: Conference Paper

References (28)

1. B. Alpern, and F. Schneider Verifying Temporal Properties without Temporal Logic ACM Trans. Programming Languages and Systems 11 1 1989 147 167
2. Alur R., "Techniques for Automatic Verification of Real-Time Systems," Ph.D. thesis, Stanford University, 1991.
3. Alur R., C. Courcoubetis, and D. Dill, Model-Checking for Real-Time Systems In Proceedings of Logic in Computer Science, IEEE Computer Society, Los Alamitos, Calif, 414-425, 1990.
4. Also in Information and Computation, 104 (1) (1993) 2-34.
5. R. Alur, and D. Dill A Theory of Timed Automata Theoretical Computer Science 126 1994 183 235
6. Alur R., and T. Henzinger, Modularity for Timed and Hybrid Systems, In Proceedings of CONCUR'97, LNCS 1243, 1997.
7. Bengtsson J., K.G. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL- A Tool Suite for the Automatic Verification of Real- Time Systems, In Proceedings of Hybrid Systems III, LNCS 1066, Springer Verlag, 1996, 232-243.
8. Bornot S., and J. Sifakis. An Algebraic Framework for Urgency To appear in Information and Computation, Academic Press.
9. Braberman V. "Modeling and Checking Real-Time System Designs," Ph.D Thesis, Universidad de Buenos Aires, 2000. [Thesis]
10. Braberman V., and M. Felder, Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification, In Proceedings of 7th European Conf. on Software Eng./ 7th ACM SIGSOFT Symposium on the Foundations of Software Eng., (ESEC/FSE 99), LNCS 1687, Springer Verlag, Sept. 1999, 494-510.
11. Braberman V., D. Garbervetski, and A. Olivero, Improving the Verification of Timed Systems using Influence Information Submitted to TACAS 2002.
12. Braberman V., D. Garbervetski, and A. Olivero, "Influence Information to Improve the Verification of Timed Systems," Tech. Report DC-UBA 2001-003.
13. E. Clarke, O. Grumberg, and D. Peled "Model Checking" January 2000 MIT Press 330
14. Daws C., A. Olivero, S. Tripakis, and S. Yovine, The Tool KRONOS, In Proceedings of Hybrid Systems III, LNCS 1066, Springer Verlag, 1996, 208-219.
15. de Alfaro L., and T.A. Henzinger Interface Theories for Component-based Design, In Proceedings of EMSOFT 01: Embedded Software, LNCS 2211, Springer Verlag, 148-165, 2001.
16. Gawlick R., R. Segala, J. Sogaard-Andersen, N. Lynch Liveness in Timed and Untimed Systems, In Proceedings of ICALP, LNCS 820, Springer Verlag, 166-177, 1994.
17. Also in Information and Computation (1998).
18. Garbervetsky G. "Un Método de Reducción para la Composición de Sistemas Temporizados" Master Thesis, Universidad de Buenos Aires, 2000.
19. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine Symbolic model checking for real-time systems Information and Computation 111 2 1994 193 244
20. Larsen, K.G., F. Laroussinie, CMC: A Tool for Compositional Model-Checking of Real-Time Systems, In Proceedings of. FORTE-PSTV'98, 439-456, Kluwer Academic Publishers, 1998.
21. Kurshan, R. P., S. Tasiran, R. Alur, and R. K. Brayton, Verifying Abstractions of Timed Systems, In Proceedings CONCUR 96, LNCS 1119, Springer Verlag, 1996.
22. Merritt M., F. Modugno, and M. Tuttle, Time Constrained Automata, In Proceedings of CONCUR'91, LNCS 527, Springer Verlag, 1991.
23. X. Nicollin, J. Sifakis, and S. Yovine Compiling Real-Time Specification into Extended Automata IEEE Trans. on Soft. Eng Vol. 18 9 1992 794 804
24. Springintveld J., F. Vaandrager, P. D'Argenio, Testing Timed Automata, To appear in Theoretical Computer Science, 254 (1-2) (2001), 225-257.
25. Tripakis S. "L'Analyse Formelle des Systemès Temporisés en Practique", Phd. Thesis, Univesité Joseph Fourier, December 1998.
26. Vaandrager F., N. Lynch, Action Transducers and Timed Automata, In Proceedings of CONCUR'92, LNCS 630, 436-455, 1992.
27. Yi, Wang, Real-Time Behavior of Asynchronous Agents, In Proceedings of CONCUR'90, LNCS 458, Springer Verlag, 1990.
28. S. Yovine Model-Checking Timed Automata G. Rozemberg F. Vaandrager Embedded Systems 1998 Springer Verlag LNCS 1494