A metaheuristic approach for best effort timing analysis targeting complex legacy real-time systems

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2008, Pages 258-269

  Kraft, Johan ^a   Lu, Yue ^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

BOOLEAN FUNCTIONS; CHLORINE COMPOUNDS; COMPUTER NETWORKS; GENETIC ALGORITHMS; HEURISTIC METHODS; HEURISTIC PROGRAMMING; LEARNING ALGORITHMS; LEGACY SYSTEMS; MODEL CHECKING; PROBABILISTIC LOGICS; PROBABILITY; TELECOMMUNICATION NETWORKS; TIME MEASUREMENT;

BEST EFFORTS; RESPONSE-TIME ANALYSIS;

REAL TIME SYSTEMS;

EID: 51249095448     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2008.25     Document Type: Conference Paper

References (19)

1. Tracealyzer website, http://www.tracealyzer.se.
2. Rapita systems website, http://www.rapitasystems.com.
3. Wind River website, http://www.windriver.com.
4. J. Andersson, J. Huselius, C. Norström, and A. Wall. Extracting simulation models from complex embedded realtime systems. In Proceedings of the 2006 International Conference on Software Engineering Advances, ICSEA'06, Tahiti, French Polynesia, October 2006. IEEE.
5. 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.
6. T. Back, F. Hoffmeister, and H. Schwefel. A survey of evolution strategies, 1991.
7. B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. L. Traon. Genes and bacteria for automatic test cases optimization in the .net environment. In Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE'02), page 195. IEEE Computer Society, 2002.
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. C. Blum and A. Roli. Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Comput. Surv., 35(3):268-308, 2003.
10. 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.
11. H. Bremermann. The evolution of intelligence. the nervous system as a model of its environment. Technical Report 1, Dept. of Mathematics, University of Washington, Seattle, WA, 1958.
12. G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. ISBN: 0-7923-9994-3. Kluwer Academic Publisher, 1997.
13. D. Decotigny and I. Puaut. Artisst: An extensible and modular simulation tool for real-time systems. Technical Report 1423, IRISA, 2001.
14. J. Huselius and J. Andersson. Model synthesis for real-time systems. In Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR), pages 52-60, Manchester, UK, March 2005.
15. J. Huselius, J. Andersson, H. Hansson, and S. Punnekkat. Automatic generation and validation of models of legacy software. In Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pages 342-349, Sydney, Australia, August 2006.
16. M. H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. G. Harbour. A Practitioners Handbook for Real-Time Analysis. ISBN: 0-7923-9361-9. Kluwer Academic Publishers, 1999.
17. A. M. Law and W. D. Kelton. Simulation, Modeling and Analysis. ISBN: 0-07-116537-1. McGraw-Hill, 1993.
18. S. Ólafsson and J. Kim. Simulation optimization: simulation optimization. In WSC'02: Proceedings of the 34th conference on Winter simulation, pages 79-84. Winter Simulation Conference, 2002.
19. I. Osman and G. Laporte. Metaheuristics: A bibliograph. Annals of Operations Research, 63(5):511-623, 1996.