Extracting simulation models from complex embedded real-time systems

2006 International Conference on Software Engineering Advances, ICSEA'06

Volumn , Issue , 2006, Pages

  Andersson, Johan ^a   Huselius, Joel ^a   Norström, Christer ^a   Wall, Anders ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b ABB CORPORATE RESEARCH   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE MAINTENANCE; COSTS; ERROR DETECTION; MODEL CHECKING; REAL TIME SYSTEMS;

COMPLEMENTARY METHODS; HYBRID MODEL EXTRACTION METHOD; MODEL SYNTHESIS; SIMULATION MODELS;

FEATURE EXTRACTION;

EID: 38849127504     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2006.261263     Document Type: Conference Paper

References (34)

1. R. Alur and D. L. Dill. A theory of timed automata. Theo-retical Computer Science, 126(2): 183-235, 1994.
2. J. Andersson. Modeling the temporal behavior of complex embedded systems - a reverse engineering approach. Licentiate thesis, Mälardalen University, http://www.mrtc.mdh.se, June 2005.
3. J. Andersson, A. Wall, and C. Norström. Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. In Proceedings of the First International Symposium on Leveraging Applications of Formal Methods (ISoLA '04), 2004.
4. J. Andersson, A. Wall, and C. Norström. A framework for analysis of timing and resource utilization targeting complex embedded systems. In ARTES - A Network for Real-Time research and graduate Education in Sweden, Editor: Hans Hansson, pages 297-329. Uppsala University, 2006.
5. ANTLR website, http://www.antlr.org.
6. A. N. Audsley, A. Burns, M. Richardson, and K. Tindell. Applying New Scheduling Theory to Static Priority Preemptive Scheduling. Software Engineering Journal, pages 284-292, 1993.
7. N. C. Audsley, A. Burns, R. I. Davis, K. W. Tindell, and A. J. Wellings. Fixed priority pre-emptive scheduling: An historical perspective. Real-Time Systems Journal, 8(2/3): 173-198, 1995.
8. J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Uppaal - a tool suite for automatic verification of realtime systems. In Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995.
9. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: A Model-Checking Tool for Real-Time Systems. In A. J. Hu and M. Y. Vardi, editors, Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, volume 1427, pages 546-550. Springer-Verlag, 1998.
10. GrammaTech website, http://www.grammatech.com.
11. A. David and W. Yi. Modelling and analysis of a commercial field bus protocol. In Proc. of 12th Euromicro Conference on Real-Time Systems, pages 165-172. IEEE Computer Society Press, 2000.
12. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with kronos. In Proceedings of the 16th IEEE Real-Time Systems Symposium (RTSS '95), page 66, Washington, DC, USA, 1995. IEEE Computer Society.
13. ENEA website, http://www.enea.com.
14. G. J. Holzmann and M. H. Smith. An automated verification method for distributed systems software based on model extraction. Transactions on Software Engineering, 28(4):364-377, April 2002.
15. J. Huselius, J. Andersson, H. Hansson, and S. Punnekkat. Automatic generation and validation of models of legacy software. In Proceedings of the 12:th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), August 2006.
16. J. G. Huselius and J. Andersson. Model synthesis for real-time systems. In Proceedings of the 9:th European Conference on Software Maintenance and Reengineering (CSMR), pages 52-60, Manchester, UK, March 2005.
17. Imagix website, http://www.imagix.com/.
18. Kronos website, http://www-verimag.imag.fr/temporise/kronos.
19. J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings of the 11th IEEE Real-Time Systems Symposium (RTSS '90), pages 201-212, December 1990.
20. P. K. P. M. Joseph. Finding Response Times in a Real-Time System. The Computer Journal, 29(5):390-395, 1986.
21. C. E. McDowell and D. P. Helmbold. Debugging Concurrent Programs. ACM Comput. Surv., 21(4):593-622, 1989.
22. J. Moe and D. Carr. Using execution trace data to improve distributed systems. Software - Practice and Experience, 32(9), July 2002.
23. Rapita systems website, http://www.rapitasystems.com.
24. 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.
25. Scientific Toolworks, http://www.scitools.com.
26. K. Tindell. An Extendible Approach for Analysing Fixed Priority Hard Real-Time Tasks. Technical Report YCS189, Dept. of Computer Science, University of York, United Kingdom, 1992.
27. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121-189, 1995.
28. Uppaal website, http://www.uppaal.com.
29. A. Wall. Architectural Modeling and Analysis of Complex Real-Time Systems. PhD thesis, Mälardalen University, Sweden, 2003.
30. A. Wall, J. Andersson, J. Neander, C. Norström, and M. Lembke. Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems. In Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA '03), 2003.
31. 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.
32. M. Weiser. Program slicing. In In the Proceedings of the 5th International Conference on Software Engineering, pages 439-449, 1981.
33. Wind River website, http://www.windriver.com.
34. 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.