Model synthesis for real-time systems

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2005, Pages 52-60

  Huselius, Joel ^a   Andersson, Johan ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

DOCUMENTATION; IMAPACT ANALYSIS; IMPACT ANALYSIS; MODEL SYNTHESIS;

AUTOMATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS;

REAL TIME SYSTEMS;

EID: 26844469791     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2005.39     Document Type: Conference Paper

References (17)

1. st International Symposium on Leveraging Applications of Formal Methods, October 2004. Accepted for publication.
2. S. J. S. Bastos and M. L. D. Sanchez. Modelling real-time systems from object oriented methods. In Real-Time Embedded System Workshop. IEEE, December 2001.
3. th DIMACS Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232-243. Springer-Verlag, October 1995.
4. th Working Conference on Reverse Engineering, pages 57-66, November 2003.
5. J. Gait. A probe effect in concurrent programs. Software Practice and Experience, 16(3):225-233, March 1986.
6. th International Workshop on Verification of Infinite-State Systems, September 2004. To apear in the Electronic Notes in Theoretical Computer Science series.
7. J. Huselius. Preparing for replay. Licentiate Thesis, Mälardalen University, Sweden, November 2003. ISSN 1651-9256, ISBN 91-88834-15-8.
8. P. K. Jensen. Reliable Real-Time Applications. And How to Use Tests to Model and Understand. PhD thesis, Aalborg University, 2001.
9. th International Conference on Software Engineering, pages 430-441, 2003.
10. J. Moe and D. Carr. Using execution trace data to improve distributed systems. Software - Practice and Experience, 32(9), July 2002.
11. D. Nyström, A. Tesanovic, M. Nolin, C. Norström, and J. Hansson. COMET: A component-based real-time database for automotive systems. In Proceedings of the Workshop on Software Engineering for Automotive Systems, pages 1-8. IEE, May 2004.
12. T. Richner and S. Ducasse. Recovering high-level views of object-oriented applications from static and dynamic information. In Proceedings of the International Conference on Software Maintenance, pages 13-22, August 1999.
13. 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.
14. T. Systä and K. Koskimies. Extracting state diagrams from legacy systems. In Proceedings of ECOOP'97, 1997. LNCS 1357.
15. A. Wall. Architectural Modeling and Analysis of Complex Real-Time Systems. PhD thesis, Mälardalen University, September 2003.
16. A. Wall, J. Andersson, and C. Norström. Probabilistic simulation-based analysis of complex real-time systems. In Proceedings of the 6th IEEE International Symposium on Object-oriented Real-time distributed Computing, 2003.
17. 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.