Hierarchical concurrent finite state machines in ptolemy

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 1998-March, Issue , 1998, Pages 34-40

  Lee, Bilung ^a   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RESPONSE TIME (COMPUTER SYSTEMS); SEMANTICS;

CONCURRENCY MODELING; CONTROL FUNCTIONALITY; DISCRETE EVENTS; PTOLEMIES; SOFTWARE ENVIRONMENTS; STATECHARTS; SYNCHRONOUS DATAFLOW;

SYSTEMS ANALYSIS;

EID: 84891396575     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.1998.657537     Document Type: Conference Paper

References (10)

1. R. Bernhard, G Berry, F. Boussinot, R. de Simone, G. Gonthier, A. Ressouche, J. P. Rigault, J. M. Tanzi, "Programming a Reflex Game in Esterel V3," Rapport de Recherche No. 07/91, INRIA, Sophia-Antipolis, France, June, 1991.
2. J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int. Journal of Computer Simulation, special issue on "Simulation Software Development," vol. 4, pp. 155-182, April, 1994.
3. C. Cassandras, "Discrete Event Systems, Modeling and Performance Analysis," Irwin, Homewood IL, 1993.
4. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, "Hardware-Software Codesign of Embedded Systems," IEEE Micro, August 1994, pp.26-36.
5. S. A. Edwards, "The Specification and Execution of Heterogeneous Synchronous Reactive Systems," Ph.D. dissertation, Memorandum UCB/ERL M97/31, Electronics Research Laboratory, University of California, Berkeley, California, May 1997.
6. A. Girault, B. Lee, and E. A. Lee, "A Preliminary Study of Hierarchical Finite State Machines with Multiple Concurrency Models," Memorandum UCB/ERL M97/57, Electronics Research Laboratory, University of California, Berkeley, California, August 1997.
7. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Sci. Comput. Program., vol 8, pp. 231-274, 1987.
8. E. A. Lee and D. G. Messerschmitt, "Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing," IEEE Trans. on Computers, January, 1987.
9. F. Maraninchi, "Operational and compositional semantics of synchronous automaton compositions," In Third International Conference on Concurrency Theory, volume 630 of Lecture Notes in Computer Science, pp. 550-564, Springer-Verlag, August 1992.
10. M. von der Beeck, "A Comparison of Statecharts Variants," In Formal Techniques in Real Time and Fault Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pp. 128-148, Springer-Verlag, 1994.