Using genetic algorithms for early schedulability analysis and stress testing in real-time systems

Genetic Programming and Evolvable Machines

Volumn 7, Issue 2, 2006, Pages 145-170

  Briand, Lionel C ^a   Labiche, Yvan ^a   Shousha, Marwa ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

Genetic algorithms; Schedulability theory; Software verification and validation

Indexed keywords

REAL TIME SYSTEMS; SCHEDULING; STRESS ANALYSIS; SYSTEMS ANALYSIS;

CRITICAL DEADLINE; SCHEDULABILITY THEORY; SOFTWARE VERIFICATION AND VALIDATION; SYSTEM TASK ARCHITECTURE;

GENETIC ALGORITHMS;

EID: 33746266323     PISSN: 13892576     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10710-006-9003-9     Document Type: Conference Paper

References (23)

1. B. Beizer, Software Testing Techniques, 2nd edition, Van Nostrand Reinhold, 1990.
2. R. V. Binder, Testing Object-Oriented Systems-Models,Patterns, and Tools, Object Technology, Addison-Wesley, 1999.
3. L. C. Briand, Y. Labiche, and M. Shousha, "Stress testing for real-time systems using genetic algorithms," Carleton University, Technical Report SCE-03-23, http://www.sce.carleton.ca/Squall/, September 2003.
4. A. E. Eiben, P. E. Raue, and Z. Ruttkay, "Solving constraint satisfaction problems using genetic algorithms," in Proc. IEEE World Conference on Evolutionary Computing, 1994, pp. 542-547.
5. H. Gomaa, Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology, Addison Wesley, 2000.
6. M. G. Harbour, M. H. Klein, R. Obenza, B. Pollak, and T. Ralya, A Practitioner's Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems, Kluwer, 1993.
7. R. L. Haupt and S. E. Haupt, Practical Genetic Algorithms, Wiley-Interscience, 1998.
8. M. A. Iverson, F. Ozguner, and L. C. Potter, "Statistical prediction of task execution times through analytic benchmarking for scheduling in a heterogeneous environment," IEEE Transactions on Computers, vol. 48, no. 12, pp. 1374-1379, 1999.
9. J. W. S. Liu, Real-Time Systems, Prentice Hall, 2000.
10. C. D. Locke, D. R. Vogel, and T. J. Mesler, "Building a predictable avionics platform in ada: A case study," in Proc. IEEE Real Time Systems Symposium, 1991, pp. 181-189.
11. S. W. Mahfoud and D. E. Goldberg, "Parallel recombinative simulated annealing: A genetic Algorithm," Parallel Computing, vol 21, no. 1, pp. 1-28, 1995.
12. Z. Michalewicz, Genetic Algorithms + Data Structures = Evolution Programs, Springer, 1996.
13. F. Mueller and J. Wegener, "A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints," in Proc. IEEE Real Time Technology and Applications Symposium, 1998, pp. 179-188.
14. M. A. Pawlowsky, "Crossover Operators," in Practical Handbook of Genetic Algorithms Applications, L. Chambers (ed.), CRC Press, 1995, vol. 1, pp. 101-114.
15. J. D. Schaffer, R. A. Caruna, L. J. Eshelman, and R. Das, "A study of control parameters affecting online performance of genetic algorithms for function optimization," in Proc. International Conference on Genetic Algorithms and Their Applications, 1989, pp. 51-60.
16. L. Sha and J. B. Goodenough, "Real-time scheduling theory and ada," Software Engineering Institute, Technical Report CMU/SEI-89-TR-014, 1989.
17. J. E. Smith and T. C. Fogarty, "Adaptively parameterized evolutionary systems: Self adaptive recombination and mutation in a genetic algorithm," in Parallel Problem Solving From Nature, Voigt, Ebeling, Rechenberg, and Schwefel, (eds.), 1996, vol. 4, pp. 441-450.
18. B. Sprunt, Aperiodic Task Scheduling for Real-Time Systems, Ph.D. Thesis, Carnegie Mellon, Department of Electrical and Computer Engineering, 1990.
19. B. Sprunt, L. Sha, and J. Lehoczky, "Aperiodic task scheduling for hard real-time systems," Real-Time Systems, vol. 11, pp. 27-60, 1989.
20. N. Tracey, J. A. Clark, K. C. Mander, and J. A. McDermid, "An automated framework for structural test-data generation," Proc. IEEE Conference on Automated Software Engineering, 1989, pp. 285-288.
21. M. Wall, "GAlib: A C+ + Library of Genetic Algorithm Components," Massachusetts Institute of Technology, http://lancet.mit.edu/ ga/dist/galibdoc.pdf, August, 1996.
22. J. Zhang and S. C. Cheung, "Automated test case generation for the stress testing of multimedia systems," Software-practice and Experience, vol. 32 15, pp. 1411-1435, 2002.
23. B. J. Jain, H. Pohlheim, and J. Wegener, "On termination criteria of evolutionary algorithms," in Proc. Genetic and Evolutionary Computation Conference, 2001, p. 768.