Automatic generation and validation of models of legacy software

Proceedings - 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2006

Volumn , Issue , 2006, Pages 342-349

  Huselius, Joel ^a   Andersson, Johan ^a   Hansson, Hans ^a   Punnekkat, Sasikumar ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; INDUSTRIAL ROBOTS; MATHEMATICAL MODELS; REAL TIME SYSTEMS; ROBOTICS; SOFTWARE ENGINEERING;

AUTOMATIC GENERATION; ECONOMIC IMPLICATIONS; LEGACY SOFTWARE; ROBOT CONTROL SYSTEMS;

LEGACY SYSTEMS;

EID: 34250162295     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2006.19     Document Type: Conference Paper

References (12)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, April 1994.
2. st International Symposium on Leveraging Applications of Formal Methods, October 2004.
3. J. Bengtsson, W. O. D. Griffioen, K. J. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and W Yi. Automated analysis of an audio control protocol using uppaal. Journal of Logic and Algebraic Programming, 52-53:163-181, July-August 2002.
4. th European Conference on Software Maintenance and Reengineering, pages 52-60, March 2005.
5. J. Huselius, S. Punnekkat, and H. Hansson. Presenting: An automated process for model synthesis. MRTC Report 191, Mälardalen University, October 2005. Available at: www.mrtc.mdh.se.
6. J. Moe and D. Carr. Using execution trace data to improve distributed systems. Software - Practice and Experience, 32(9), July 2002.
7. W. Piegorsch. Sample sizes for improved binomial confidence intervals. Computational Statistics & Data Analysis, 46(2):309-316, June 2004.
8. th IEEE International Workshop on Rapid System Prototyping, pages 99-106, July 2002.
9. J. Sifakis, S. Tripakis, and S. Yovine. Building models of real-time systems from application software. Proceedings of the IEEE, 91(1):100-111, January 2003.
10. T. Szemethy and G. Karsai. Platform modeling and model transformations for analysis. Journal of Universal Computer Science, 10(10):1383-1407, October 2004.
11. A. Wall. Architectural Modeling and Analysis of Complex Real-Time Systems. Phd thesis no. 5, Mälardalen University, September 2003. Available at: www.mrtc.mdh.se.
12. H. Yan, D. Garlan, B. Schmerl, J. Aldrich, and R. Kazman. Discotect: A system for discovering architectures from running systems. In Proceedings of the 2004 International Conference on Software Engineering, May 2004.