Implementation of timed automata: An issue of semantics or modeling?

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

Volumn 3829 LNCS, Issue , 2005, Pages 273-288

  Altisen, Karine ^a   Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SIMULATION; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SEMANTICS; TIME VARYING SYSTEMS;

AUTOMATON; DIGITAL CLOCKS; EXECUTION PLATFORM; TIMED AUTOMATON;

AUTOMATA THEORY;

EID: 33745459026     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603009_21     Document Type: Conference Paper

References (21)

1. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. R. Alur, T. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In CONCUR'98, volume 1466 of LNCS. Springer, 1998.
3. R. Alur, F. Ivancic, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hierarchical hybrid models. In Languages, Compilers, and Tools for Embedded Systems (LCTES'03). ACM, 2003.
4. T. Amnell, E. Fersman, P. Pettersson, W. Yi, and H. Sun. Code synthesis for timed automata. Nordic J. of Computing, 9(4):269-300, 2002.
5. P. Caspi, A. Curic, A. Maignan, C. Sofronis, and S. Tripakis. Translating discrete-time Simulink to Lustre. In Embedded Software (EMSOFT'03), volume 2855 of LNCS. Springer, 2003.
6. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Languages, Compilers, and Tools for Embedded Systems (LCTES'OS). ACM, 2003.
7. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208-219. Springer-Verlag, 1996.
8. L. de Alfaro and T.A. Henzinger. Interface automata. In Foundations of Software Engineering (FSE). ACM Press, 2001.
9. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1992.
10. T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A time-triggered language for embedded programming. In EMSOFT'01, volume 2211 of LNCS. Springer, 2001.
11. T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks? In ICALP'92, LNCS 623, 1992.
12. H. Kopetz. Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, 1997.
13. P. Krčál, L. Mokrushin, P.S. Thiagarajan, and W. Yi. Timed vs time triggered automata. In CONCUR'04, volume 3170 of LNCS. Springer, 2004.
14. K. Larsen, P. Petterson, and W. Yi. Uppaal in a nutshell. Software Tools for Technology Transfer, 1(1/2), October 1997.
15. J. Ouaknine and J. Worrell. Revisiting digitization, robustness, and decidability for timed automata. In LICS 2003. IEEE CS Press, 2003.
16. A. Puri. Dynamical properties of timed automata. Discrete Event Dynamic Systems, 10(1-2):87-113, 2000.
17. N. Scaife and P. Caspi. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Euromicro conference on Real-Time Systems (ECRTS'04), 2004.
18. N. Scaife, C. Sofronis, P. Caspi, S. Tripakis, and F. Maraninchi. Defining and translating a "safe" subset of Simulink/Stateflow into Lustre. In 4th ACM International Conference on Embedded Software (EMSOFT'04), 2004.
19. S. Tripakis, C. Sofronis, N. Scaife, and P. Caspi. Semantics-preserving and memory-efficient implementation of inter-task communication under static-priority or EDF schedulers. In 5th ACM Intl. Conf. on Embedded Software (EMSOFT'05), 2005.
20. S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design, 18(1):25-68, January 2001.
21. M. De Wulf, L. Doyen, and J-F. Raskin. Almost ASAP semantics: From timed models to timed implementations. In HSCC'04, volume 2993 of LNCS. Springer, 2004.