Masaccio: A formal model for embedded components

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

Volumn 1872 LNCS, Issue , 2000, Pages 549-563

  Henzinger, Thomas A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DYNAMICAL SYSTEMS;

DISCRETE COMPONENTS; EMBEDDED COMPONENTS; FORMAL MODEL; HYBRID DYNAMICAL SYSTEMS; REAL TIME; SYSTEM COMPONENTS;

DYNAMICAL SYSTEMS; DIFFERENCE EQUATIONS;

EID: 84879088368     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44929-9_38     Document Type: Conference Paper

References (14)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. R. Alur and R. Grosu. Modular renement of hierarchic reactive machines. In Proceedings of the 27th Annual Symposium on Principles of Programming Languages, pages 390-402. ACM Press, 2000.
3. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee. Modular specification of hybrid systems in Charon. In HSCC 00: Hybrid Systems|Computation and Control, Lecture Notes in Computer Science 1790. Springer-Verlag, 2000.
4. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In CONCUR 97: Concurrency Theory, Lecture Notes in Computer Science 1243, pages 74-88. Springer-Verlag, 1997.
5. R. Alur and T.A. Henzinger. Real-time system = discrete system + clock variables. Software Tools for Technology Transfer, 1:86-109, 1997.
6. R. Alur and T.A. Henzinger. Reactive modules. Formal Methods in System Design, 15:7-48, 1999.
7. G. Berry and G. Gonthier. The synchronous programming language Esterel: design, semantics, implementation. Technical Report 842, INRIA, 1988.
8. A. Benveniste, P. le Guernic, and C. Jacquemot. Synchronous programming with events and relations: The Signal language and its semantics. Science of Computer Programming, 16:103-149, 1991.
9. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
10. J. Davis, M. Goel, C. Hylands, B. Kienhuis, E.A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Overview of the Ptolemy project. Technical Report UCB/ERL M99/37, University of California, Berkeley, 1999.
11. A. Deshpande, A. Gollu, and P. Varaiya. Shift: A formalism and a programming language for dynamic networks of hybrid automata. In Hybrid Systems V, Lecture Notes in Computer Science 1567. Springer-Verlag, 1996.
12. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
13. N.A. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg. Hybrid I/O Automata. In Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 496-510. Springer-Verlag, 1996.
14. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science 600, pages 447-484. Springer-Verlag, 1992.