Semantic translation of simulink/stateflow models to hybrid automata using graph transformations

Electronic Notes in Theoretical Computer Science

Volumn 109, Issue 1-4 SPEC. ISS., 2004, Pages 43-56

  Agrawal, Aditya ^a   Simon, Gyula ^a   Karsai, Gabor ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Embedded Systems; Graph Transformations; Hybrid Systems; Semantics

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SIMULATION; DATABASE SYSTEMS; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

GRAPH TRANSFORMATIONS; HYBRID AUTOMATA (HA); HYBRID SYSTEMS; VERIFICATION TOOLS;

EMBEDDED SYSTEMS;

EID: 10444269559     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.055     Document Type: Conference Paper

References (17)

1. J. Sztipanovits, and G. Karsai, "Model-Integrated Computing", IEEE Computer, Apr. 1997, pp. 110-112.
2. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky, "Hierarchical Hybrid Modeling of Embedded Systems." Proceedings of EMSOFT'01: First Workshop on Embedded Software, October 8-10, 2001.
3. The Hybrid System Interchange Format, for details see http://www.isis.vanderbilt.edu/Projects/mobies/downloads.asp.
4. T. A. Henzinger. "The Theory of Hybrid Automata", In Proc. of IEEE Symposium on Logic in Computer Science (LICS'96), IEEE Press, pp 278-292, 1996.
5. Agrawal A., Karsai G., Ledeczi A., "An End-to-End Domain-Driven Software Development Framework", 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California, October 26, 2003.
6. Rozenberg G. (ed.), "Handbook on Graph Grammars and Computing by Graph Transformation: Foundations"; Vol.1-2. World Scientific, Singapore, 1997.
7. D. Blostein, H. Fahmy, and A. Grbavec: "Practical Use of Graph Rewriting"; 5th Workshop on Graph Grammars and Their Application To Computer Science, Lecture Notes in Computer Science, Heidelberg, 1995.
8. Andries, M. et al., "Graph Transformation for Specification and Programming", Sci. Comput. Program., Vol. 34, No. 1, pp. 1-54, 1999.
9. Karsai G., Agrawal A., Shi F., Sprinkle J., "On the Use of Graph Transformations for the Formal Specification of Model Interpreters", JUCS, November 2003.
10. Hylands, C., Lee, E., Liu, J., Liu, X., Neuendorffer, S., Zheng, H., "HyVisual: A Hybrid System Visual Modeler," Technical Memorandum UCB/ERL M03/1, University of California, Berkeley, CA 94720, January 28, 2003.
11. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, "Translating Discrete-Time Simulink to Lustre", pp 84-99, Proc. of EMSOFT'03, Philadelphia, USA, 13-15 Oct., 2003.
12. S. Sims, K. Butts, R. Cleaveland and S. Ranville, "Automated Validation Of Software Models", 16th International Conference on Automated Software Engineering, pages 91-96, Coronado Island, California, November 2001. IEEE Computer Society Press.
13. A. Tiwari, "Formal Semantics and Analysis methods for Simulink Stateflow Models", Technical report, SRI International, 2002.
14. U. Assmann, "How to Uniformly specify Program Analysis and Transformation", Proceedings of the 6 International Conference on Compiler Construction (CC) '96, LNCS 1060, Springer, 1996.
15. A. Maggiolo-Schettini, A. Peron, "A Graph Rewriting Framework for Statecharts Semantics", Proc. 5th Int. Workshop on Graph Grammars and their Application to Computer Science, 1996.
16. A. Radermacher, "Support for Design Patterns through Graph Transformation Tools", Applications of Graph Transformation with Industrial Relevance, Monastery Rolduc, Kerkrade, The Netherlands, Sep. 1999.
17. A. Bredenfeld, R. Camposano, "Tool integration and construction using generated graph-based design representations", Proceedings of the 32nd ACM/IEEE conference on Design automation conference, p.94-99, June 12-16, 1995, San Francisco, CA.