Generating Test Inputs for Embedded Control Systems

IEEE Control Systems

Volumn 23, Issue 4, 2003, Pages 49-57

  Hubbard, Paul ^c  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c DEFENCE RESEARCH AND DEVELOPMENT CANADA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; EMBEDDED SYSTEMS; GENETIC ALGORITHMS;

MANUAL CREATION;

CONTROL SYSTEMS;

EID: 0042527544     PISSN: 1066033X     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCS.2003.1213603     Document Type: Article

References (25)

1. B. Vinnakota, Analog and Mixed-Signal Test. Englewood Cliffs, NJ: Prentice-Hall, 2001.
2. M. Abramovici, M. Breuer, and A. Friedman, Digital Systems Testing and Testable Design. New York: IEEE Press, 1995.
3. M. Burns and G. Roberts, An Introduction to Mixed-Signal IC Test and Measurement. New York: Oxford Univ. Press, 2001.
4. M. Soma, S. Huynh, J. Zhang, S. Kim, and G. Devarayanadurg, “Hierarchical ATPG for analog circuits and systems,” IEEE Des. Test Comput., vol. 18, no.1 pp. 72-81, 2001.
5. A. Gupta, S. Malik, and P. Ashar, “Toward formalizing a validation methodology using simulation coverage,” in Proc. 34th Design Automation Conf., Anaheim, CA, 1997, pp. 740-745.
6. S. Huynh, J. Zhang, S. Kim, G. Devarayanadurg, and M. Soma, “Efficient test set design for analog and mixed-signal circuits and systems,” in Proc. 8th Asian Test Symp., Shanghai, China, 1999, pp. 239-244.
7. T. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya, “What's decidable about hybrid automata,” J. Comput. Syst. Sci., vol. 57, no.1, pp. 94-124, 1998.
8. J. Tofte, C.K. Ong, J.L. Huang, and K.T. Cheng, “Characterization of a pseudo-random testing technique for analog and mixed-signal built-in-self-test,” in Proc. 18th IEEE VLSI Test Symp., Montreal, Canada, 2000, pp. 237-246.
9. A. Gupta, S. Malik, and P. Ashar, “Toward formalizing a validation methodology using simulation coverage,” in Proc. IEEE/ACM Int. Conf. Computer-Aided Design, San Jose, CA, 2001, pp. 286-292.
10. P. Amman, P.E. Black, and W. Majurski, “Using model checking to generate tests from specifications,” in Proc. 2nd IEEE Int. Conf. Formal Engineering Methods (ICFEM'98), Brisbane, Australia, 1998 pp. 46-54.
11. P. Ammann and P.E. Black, “Abstracting formal specifications to generate software tests via model checking,” in Proc. 18th Digital Avionics Systems Conf. (DASC99), St Louis, MO, 1999, vol. 2, pp. 10.A.6.
12. A. Gargantini, and C. Heitmeyer, “Using model checking to generate tests from requirements specifications,” in Proc. Joint 7th Eu. Software Engineering Conf. and 7th ACM SIGSOFT Int. Symp. Foundations of Software Engineering, Toulouse, France, 1999, pp. 146-162.
13. M. Rudnick, J. Patel, G. Greenstein, and T. Niemann, “A genetic framework for test generation,” IEEE Trans. Computer-Aided Design, vol. 16, no. 9, pp. 1034-1044, Sept. 1997.
14. M. Srinivas and L. Patnaik, “A simulation-based test generation scheme using genetic algorithms,” in Proc. 6th Int. Conf. VLSI Design, Bombay, India, 1993, pp. 132-135.
15. A. Schultz, J. Grefenstette, and K.D. Jong, “Learning to break things: Adaptive testing of intelligent controllers,” in The Handbook of Evolutionary Computation, T. Bäck, D. Fogel, and Z. Michalewicz, Eds. New York: IOP Publishing and Oxford Univ. Press, 1997, G3.4.
16. The Mathworks: Developers of MATLAB and Simulink for technical computing [Online]. Available: http://www.mathworks.com
17. M.K. Iyer and M.L. Bushnell, “Effect of noise on analog circuit testing,” in Proc. 16th IEEE VLSI Test Symp, Monterey, CA, 1998, pp. 138-144.
18. The Mathworks-Simulink performance tools-Simulink model coverage [Online]. Available: http://www.mathworks.com/products/slperftools/
19. R. Alur, T. Henzinger, and P.H. Ho, “Automatic symbolic verification of embedded systems,” IEEE Trans. Software Eng., vol. 22, no. 3, pp. 181-201, 1996.
20. A. Wright, “Genetic algorithm for real parameter optimization,” in Foundations of Genetic Algorithms 1. San Mateo, CA: Morgan Kaufmann, 1991, pp. 105-218.
21. P. Fleming and R. Purshouse, “Genetic algorithms in control systems engineering,” Dept. Automatic Control and Systems Engineering, Univ. of Sheffield, Res. Rep. 789, 2001.
22. F. Herrera, M. Lozano, and J. Verdegay, Tacking Real-Coded GAs: Operators and Tools for Behavioral Analysis. New York: IEEE Press, 1996.
23. T. Back, F. Hoffmeister, and H.P. Schwefel, “Extended selection mechanisms in genetic algorithms,” in Proc. 4th Int. Conf. Genetic Algorithms, San Diego, CA, 1991, pp. 92-99.
24. Mathworks (2002), Stateflow, car simulation demo. [Online]. Available:http://www.mathworks.com/products/demos/stateflow/sfcar.html
25. C. Houck, J. Joines, and M. Kay, Genetic algorithm optimization toolbox (GAOT) for MATLAB 5 [Online]. Available: http://www.ie.ncsu.edu/mirage/GAToolBox/gaot/