Static analysis and automatic code synthesis of flexible FSM model

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn 1, Issue , 2005, Pages 161-165

  Kim, Dohyurig ^a   Ha, Soonhoi ^a  

^a Seoul National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; CONCURRENCY CONTROL;

AUTOMATIC CODE SYNTHESIS; CO-DESIGN ENVIRONMENTS; COMPLEX CONTROL; COMPOSITIONALITY; FORMAL PROPERTIES; SOFTWARE/HARDWARE; STATE VARIABLES; STATIC ANALYSIS METHOD;

STATIC ANALYSIS;

EID: 33744903316     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1120725.1120795     Document Type: Conference Paper

References (7)

1. D. Kim, M. Kim and S. Ha, "A Case Study of System Level Specification and Software Synthesis of Multi-mode Multimedia Terminal", ESTIMedia, Newport Beach, USA Oct 2003
2. D. Harel, "Statecharts: a visual formalism for complex systems", Sci. Comput, Program, Vol. 8, pp. 231-274, 1987.
3. M. von der Beeck, "A comparison of statecharts variants", Proceedings of Formal Techniques in Real Time and Fault Tolerant Systems, LNCS 863, pp. 128-148, Springer-Verlag, Berlin, 1994.
4. A. Pnueli and M. Shalev. "What is in a step: On the semantics ,of Statecharts" In TACS '91. vol. 526 of LNCS, page 244-264. Springer-Verlag, 1991
5. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli, "A Formal Specification Model for Hardware/Software Codesign", In Proceeding of Int. Workshop on Hardware-Software Codesign, Oct. 1993.
6. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, and K. Suzuki, "Synthesis of Software Programs for Embedded Control Applications", In Proceeding ofDAC, June 1995.
7. A. Girault, B. Lee, and E. Lee, "Hierarchical finite state machines with multiple concurrency models", IEEE Transactions on CAD, Vol. 18, No. 6, pp. 742-760, June 1999.