An Inverse Method for Parametric Timed Automata

Electronic Notes in Theoretical Computer Science

Volumn 223, Issue C, 2008, Pages 29-46

  André, Étienne ^a   Chatain, Thomas ^a   Fribourg, Laurent ^a   Encrenaz, Emmanuelle ^b  

^a CNRS   (France)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

asynchronous circuits; parameters; Timed automata; verification

Indexed keywords

INVERSE PROBLEMS; ROBOTS; TRANSLATION (LANGUAGES);

ASYNCHRONOUS CIRCUITS; PARAMETERS; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 57849117406     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.12.029     Document Type: Article

References (18)

1. Alur R., and Dill D.L. A theory of timed automata. Theor. Comput. Sci. 126 2 (1994) 183-235
2. Alur R., Henzinger T.A., and Vardi M.Y. Parametric real-time reasoning. STOC '93. New York, NY, USA (1993), ACM 592-601
3. Alur R., Itai A., Kurshan R.P., and Yannakakis M. Timing verification by successive approximation. CAV '92 (1993), Springer-Verlag
4. Annichini A., Asarin E., and Bouajjani A. Symbolic techniques for parametric reasoning about counter and clock systems. CAV '00 (2000), Springer-Verlag 419-434
5. Brzozowski J.A., and Seger C.J. Asynchronous Circuits (1995), Springer-Verlag
6. R. Clarisó and J. Cortadella. The octahedron abstract domain. In SAS '04, 2004
7. Clarisó R., and Cortadella J. Verification of concurrent systems with parametric delays using octahedra. ACSD '05 (2005), IEEE Computer Society
8. Clarke E.M., Grumberg O., Jha S., Lu Y., and Veith H. Counterexample-guided abstraction refinement. CAV '00 (2000), Springer-Verlag 154-169
9. A. Collomb-Annichini and M. Sighireanu. Parameterized reachability analysis of the IEEE 1394 Root Contention Protocol using TReX. In RT-TOOLS '01, 2001
10. Cousot P., and Halbwachs N. Automatic discovery of linear restraints among variables of a program. POPL '78 (1978), ACM 84-96
11. Encrenaz E., and Fribourg L. Time separation of events: An inverse method. Proceedings of the LIX Colloquium '06, Palaiseau, France. ENTCS 209 (2008) Elsevier Science Publishers
12. T.A. Henzinger, P. Ho, and H. Wong-Toi. A user guide to HyTech. In TACAS, pages 41-71, 1995
13. Hune T., Romijn J., Stoelinga M., and Vaandrager F.W. Linear parametric model checking of timed automata. TACAS '01 (2001), Springer-Verlag 189-203
14. Larsen K.G., Pettersson P., and Yi W. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer 1 1-2 (1997) 134-152
15. Maler O., and Pnueli A. Timing analysis of asynchronous circuits using timed automata. CHARME '95 (1995), Springer-Verlag 189-205
16. Ben Salah R., Bozga M., and Maler O. On interleaving in timed automata. CONCUR '06. LNCS volume 4137 (2006), Springer 465-476
17. Wang F., and Yen H.C. Timing parameter characterization of real-time systems. CIAA '03. LNCS volume 2759 (2003) 23-34
18. Yoneda T., Kitai T., and Myers C.J. Automatic derivation of timing constraints by failure analysis. CAV '02 (2002), Springer-Verlag 195-208