Platform modeling and model transformations for analysis

Journal of Universal Computer Science

Volumn 10, Issue 10, 2004, Pages 1383-1407

  Szemethy, Tivadar ^a   Karsai, Gabor ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Graph Transformations; Model Transformations; Model Based Development; Models of Computation; Software Verification

Indexed keywords

EID: 23844535378     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (14)

1. [Karsai, 03a] Model-integrated development of embedded software, Karsai, G.; Sztipanovits, J.; Ledeczi, A.; Bapty, T.; Proceedings of the IEEE, Volume: 91, Issue: 1, Jan. 2003 Pages:145 -164
2. [Larsen, 97] Uppaal in a Nutshell. Kim G. Larsen, Paul Pettersson and Wang Yi. In Springer International Journal of Software Tools for Technology Transfer 1(1+2), 1997.
3. [Amnell, 02] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times - A Tool for Modelling and Implementation of Embedded Systems. In proceedings of 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 (Grenoble, France, April 8-12, 2002), pages 460-464, Springer-Verlag, 2002. Lecture Notes in Computer Science, Vol.2280.
4. [Gu, 03] Zonghua Gu, Shige Wang, Sharath Kodase, and Kang G. Shin, An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software Proceedings of the 24th IEEE International Real-Time Systems Symposium (RTSS'03)
5. [Sangiovanni-Vincentelli, 01] Sangiovanni-Vincentelli, A.; Martin, G.: Platform-based design and software design methodology for embedded systems, Design & Test of Computers, IEEE, Volume: 18, Issue: 6, Nov.-Dec. 2001 Pages:23-33
6. [Lee, 97] E. A. Lee and A. Sangiovanni-Vincentelli, ""A Denotational Framework for Comparing Models of Computation," ERL Memorandum UCB/ERL M97/11, University of California, Berkeley, CA 94720, January 30, 1997.
7. [MDA] Model-Driven Architecture, available online at www.omg.org/mda.
8. [RTCORBA] Real-time CORBA specification documents, available online from http://realtime.omg.org/rfp/real-time_realtime_corba_1_0.html
9. [Alur, 94] R. Alur and D. Dill: "Automata for modeling Real-Time Systems." Theoretical Computer Science, 126(2): 183-236, April 1994
10. [Rozenberg, 97] G. Rozenberg, "Handbook of Graph Grammars and Computing by Graph Transformation", World Scientific Publishing Co. Pte. Ltd., 1997.
11. [Karsai, 03b] Karsai, G., Agarwal, A., Shi, F., Sprinkle, J: On the Use of Graph Transformation in the Formal Specification of Model Interpreters,. Journal of Universal Computer Science, Volume 9, Issue 11, 2003.
12. [Karsai, 03c] Agrawal, G. Karsai, F. Shi: "Graph Transformations on Domain-Specific Models", Technical Report, available online at http://www.isis.vanderbilt.edu
13. [Ledeczi, 01] Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., Karsai G.: "Composing Domain-Specific Design Environments", Computer, pp. 44-51, November, 2001.
14. [Clarke, 01] E.Clarke et. al: Model Checking, MIT Press 2001.