Transformational specification of complex legacy real-time systems via semantic anchoring

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2009, Pages 510-515

  Lu, Yue ^a   Cicchetti, Antonio ^a   Bygde, Stefan ^a   Kraft, Johan ^a   Norström, Christer ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODEL; META MODEL; MODEL CHECKING TOOLS; MODEL TRANSFORMATION; OPERATIONAL SEMANTICS; RESOURCE USAGE; SEMANTIC ANCHORING; SEMANTIC UNITS; SINGLE PROCESSORS; TEMPORAL BEHAVIOR; TIMED AUTOMATA; TOOL SUPPORT;

COMPUTER APPLICATIONS; COMPUTER SOFTWARE; LEGACY SYSTEMS; MODEL CHECKING; REAL TIME SYSTEMS; SEMANTICS; SPECIFICATIONS; WORD PROCESSING;

MATHEMATICAL MODELS;

EID: 70449643717     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2009.184     Document Type: Conference Paper

References (11)

1. J. Andersson, J. Huselius, C. Norström, and A. Wall. Extracting simulation models from complex embedded real-time systems. In Procs. of the Int. Conf. ICSEA'06. IEEE, 2006.
2. K. Chen, J. Sztipanovits, S. Abdelwahed, and E. Jackson. Semantic anchoring with model transformations. In Procs. of ECMDA-FA 2005, Nuremberg, Germany, November 2005.
3. E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci., 354(2):301-317, 2006.
4. E. Fersman, P. Pettersson, and W. Yi. Timed automata with asynchronous processes: schedulability and decidability. In Procs. Of TACAS 2002, pages 67-82. Springer-Verlag, 2002.
5. Xu Ke, P. Pettersson, K. Sierszecki, and C. Angelov. Verification of comdes-ii systems using uppaal with model transformation. In Procs. of the Int. Conf. RTCSA08. IEEE Computer Society Press, 2008.
6. Xu Ke, K. Sierszecki, and C. Angelov. Comdes-ii: A componentbased framework for generative development of distributed real-time control systems. In Procs. of the Int. Conf. RTCSA '07, pages 199-208. IEEE Computer Society, 2007.
7. R. Milner. Communication and Concurrency. Prentice-Hall, Inc., 1989.
8. Uppaal, www.uppaal.com, 2008.
9. A. Vallecillo. A Journey through the Secret Life of Models. In Perspectives Workshop: MECS, number 08331 in Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Germany, 2008.
10. M. Weiser. Program Slicing. In Proc. of the Int. Conf. ICSE'81, pages 439-449. IEEE Press, 1981.
11. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worst-case execution-time problem-overview of methods and survey of tools. Trans. on Embedded Computing Sys., 7(3):1-53, 2008.