A compositional approach on modal specifications for timed systems

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

Volumn 5885 LNCS, Issue , 2009, Pages 679-697

  Bertrand, Nathalie ^a   Legay, Axel ^a   Pinchinat, Sophie ^b   Raclet, Jean Baptiste ^c  

^a INRIA   (France)

^b UNIVERSITÉ DE RENNES 1   (France)

^c INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CLOCK RESET; COMPONENT BASED SYSTEMS; DESIGN TECHNIQUE; FUNDAMENTAL OPERATIONS; MATHEMATICAL OBJECTS; TIMED SYSTEMS;

EMBEDDED SYSTEMS; SPECIFICATIONS; TIME SHARING SYSTEMS;

FORMAL METHODS;

EID: 78650206623     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10373-5_35     Document Type: Conference Paper

References (25)

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994).
2. Alur, R., Fix, L., Henzinger, T.A.: Event-clock automata: A determinizable class of timed automata. Theoretical Computer Science 211, 1-13 (1999).
3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672-713 (2002).
4. Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 163-178. Springer, Heidelberg (1998).
5. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: 20 years of modal and mixed specifications. Bulletin of European Association of Theoretical Computer Science 1(94) (2008).
6. Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of non deterministic recursive programs. Theoretical Computer Science 11, 181-205 (1980).
7. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science 303(1), 7-34 (2003).
8. Bertrand, N., Legay, A., Pinchinat, S., Raclet, J.-B.: A compositional approach on modal specifications for timed systems. Technical report, INRIA 7039 (September 2009).
9. Bertrand, N., Pinchinat, S., Raclet, J.-B.: Refinement and consistency of timed modal specifications. In: Dediu, A.H., Lonescu, A.M., Martin-Vide, C. (eds.) LATA 2009. LNCS, vol. 5457, pp. 152-163. Springer, Heidelberg (2009).
10. Čerāns, K., Godskesen, J.C., Larsen, K.G.: Timed modal specification - theory and tools. In: Fermüller, C., Tammet, T., Leitsch, A., Zamov, N. (eds.) Resolution Methods for the Decision Problem. LNCS, vol. 679, pp. 253-267. Springer, Heidelberg (1993).
11. Chatain, T., David, A., Larsen, K.G.: Playing games with timed games. In: Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009 (to appear, 2009).
12. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2001), pp. 109-120 (2001).
13. de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 108-122. Springer, Heidelberg (2002).
14. Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: Proceedings of the 8th International Conference on Embedded Software (EMSOFT 2008), pp. 79-88. ACM Press, New York (2008).
15. Feuillade, G., Pinchinat, S.: Modal specifications for the control theory of discrete-event systems. Discrete Event Dynamic Systems 17(2), 181-205 (2007).
16. Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1-15. Springer, Heidelberg (2006).
17. Jonsson, B., Larsen, K.G.: On the complexity of equation solving in process algebra. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1991), pp. 381-396. Springer, Heidelberg (1991).
18. Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 232-246. Springer, Heidelberg (1990).
19. Larsen, K.G., Nyman, U., Wasowski, A.: Modal i/o automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64-79. Springer, Heidelberg (2007).
20. Larsen, K.G., Nyman, U., Wasowski, A.: On modal refinement and consistency. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 105-119. Springer, Heidelberg (2007).
21. Lynch, N., Tuttle, M.R.: An introduction to Input/Output automata. CWI-quarterly 2(3) (1989).
22. Raclet, J.-B.: Quotient de spécifications pour la réutilisation de composants. PhD thesis, Université de Rennes I, december, In French (2007).
23. Raclet, J.-B.: Residual for component specifications. In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software, FACS 2007 (2007).
24. Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Passerone, R.: Why are modalities good for interface theories? In: Proceedings of the 9th International Conference on Application of Concurrency to System Design (ACSD 2009), pp. 127-199. IEEE Computer Society Press, Los Alamitos (2009).
25. The UPPAAL tool, http://www.uppaal.com/.