Robustness analysis of embedded control systems with respect to signal perturbations: Finding minimal counterexamples using fault injection

IEEE Transactions on Dependable and Secure Computing

Volumn 11, Issue 1, 2014, Pages 45-58

  Vadlamudi, Satya Gautam ^a   Chakrabarti, Partha Pratim ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY   (India)

Author keywords

embedded control systems; fault injection; minimal counterexamples; monotonicity; quality faults; Robustness analysis; signal perturbations

Indexed keywords

CONTROL SYSTEM ANALYSIS; EMBEDDED SYSTEMS; FAULT TOLERANCE; QUALITY CONTROL; SOFTWARE TESTING;

EMBEDDED CONTROL SYSTEMS; FAULT INJECTION; MINIMAL COUNTEREXAMPLES; MONOTONICITY; QUALITY FAULT; ROBUSTNESS ANALYSIS;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 84894572453     PISSN: 15455971     EISSN: None     Source Type: Journal    
DOI: 10.1109/TDSC.2013.23     Document Type: Article

References (40)

1. J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson, "GOOFI: Generic Object-Oriented Fault Injection Tool, " Proc. Int'l Conf. Dependable Systems and Networks (DSN '01), pp. 83-88, July 2001.
2. A. Anta, R. Majumdar, I. Saha, and P. Tabuada, "Automatic Verification of Control System Implementations, " Proc. 10th ACM Int'l Conf. Embedded Software (EMSOFT '10), pp. 9-18, 2010.
3. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, and D. Powell, "Fault Injection for Dependability Validation: A Methodology and Some Applications, " IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, Feb. 1990.
4. J. Arlat, J. Boué, and Y. Crouzet, "Validation-Based Development of Dependable Systems, " IEEE Micro, vol. 19, no. 4, pp. 66-79, July 1999.
5. J. Arlat, A. Costes, Y. Crouzet, J.C. Laprie, and D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems, " IEEE Trans. Computers, vol. 42, no. 8, pp. 913-923, Aug. 1993.
6. J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, E. Fuchs, and G. Leber, "Comparison of Physical and Software-Implemented Fault Injection Techniques, " IEEE Trans. Computers, vol. 52, no. 9, pp. 1115-1133, Sept. 2003.
7. M. Baleani, A. Ferrari, L. Mangeruca, A. Sangiovanni-Vincentelli, M. Peri, and S. Pezzini, "Fault-Tolerant Platforms for Automotive Safety-Critical Applications, " Proc. Int'l Conf. Compilers, Architecture and Synthesis for Embedded Systems (CASES '03), pp. 170-177, 2003.
8. R. Baumann, "Soft Errors in Advanced Computer Systems, " IEEE Design Test of Computers, vol. 22, no. 3, pp. 258-266, May/June 2005.
9. A. Benso, A. Bosio, S. Di Carlo, and R. Mariani, "A Functional Verification Based Fault Injection Environment, " Proc. IEEE 22nd Int'l Symp. Defect and Fault-Tolerance in VLSI Systems (DFT '07), pp. 114-122, Sept. 2007.
10. J. Carreira, H. Madeira, J.G. Silva, and J.G. Silva, "Xception: Software Fault Injection and Monitoring in Processor Functional Units, " Proc. Processor Functional Units Conf. Dependable Computing for Critical Applications (DCCA-5), pp. 135-149, 1995.
11. S. Chaudhuri, S. Gulwani, and R. Lublinerman, "Continuity Analysis of Programs, " Proc. 37th Ann. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL '10), pp. 57-70, 2010.
12. S. Chaudhuri, S. Gulwani, R. Lublinerman, and S. Navidpour, "Proving Programs Robust, " Proc. 19th ACM SIGSOFT Symp. and the 13th European Conf. Foundations of Software Eng. (ESEC/FSE '11), pp. 102-112, 2011.
13. G.S. Choi and R.K. Iyer, "FOCUS: An Experimental Environment for Fault Sensitivity Analysis, " IEEE Trans. Computers, vol. 41, no. 12, pp. 1515-1526, Dec. 1992.
14. J. Christmansson and R. Chillarege, "Generation of an Error Set that Emulates Software Faults Based on Field Data, " Proc. 26th Ann. Int'l Symp. Fault-Tolerant Computing (FTCS '96), p. 304, 1996.
15. J. Clark and D. Pradhan, "Fault Injection: A Method for Validating Computer-System Dependability, " Computer, vol. 28, no. 6, pp. 47-56, June 1995.
16. D. Das, P.P. Chakrabarti, and P. Sinha, "Robust Embedded Software Design through Early Analysis of Quality Faults, " Proc. Fourth India Software Eng. Conf. (ISEC '11), pp. 31-40, 2011.
17. Z.-Z. Du and J.-M. Xu, "A Note on Cycle Embedding in Hypercubes with Faulty Vertices, " Information Processing Letters, vol. 111, no. 12, pp. 557-560, June 2011.
18. A. Ejlali, S. Miremadi, H. Zarandi, G. Asadi, and S. Sarmadi, "A Hybrid Fault Injection Approach Based on Simulation and Emulation Co-Operation, " Proc. Int'l Conf. Dependable Systems and Networks, pp. 479-488, June 2003.
19. G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta, "Robustness of Model-Based Simulations, " Proc. IEEE 30th RealTime Systems Symp. (RTSS '09), pp. 345-354, 2009.
20. K. Goswami, "DEPEND: A Simulation-Based Environment for System Level Dependability Analysis, " IEEE Trans. Computers, vol. 46, no. 1, pp. 60-74, Jan. 1997.
21. S. Han, K. Shin, and H. Rosenberg, "DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems, " Proc. Int'l Computer Performance and Dependability Symp., pp. 204-213, Apr. 1995.
22. M.-C. Hsueh, T.K. Tsai, and R.K. Iyer, "Fault Injection Techniques and Tools, " Computer, vol. 30, no. 4, pp. 75-82, 1997.
23. E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson, "Fault Injection into VHDL Models: The MEFISTO Tool, " Proc. 24th Int'l Symp. Fault-Tolerant Computing Digest of Papers (FTCS-24), pp. 66-75, June 1994.
24. A.A. Julius, G.E. Fainekos, M. Anand, I. Lee, and G.J. Pappas, "Robust Test Generation and Coverage for Hybrid Systems, " Proc. 10th Int'l Conf. Hybrid Systems: Computation and Control (HSCC '07), pp. 329-342, 2007.
25. G. Kanawati, N. Kanawati, and J. Abraham, "FERRARI: A Flexible Software-Based Fault and Error Injection System, " IEEE Trans. Computers, vol. 44, no. 2, pp. 248-260, Feb. 1995.
26. S. Latifi, "Combinatorial Analysis of the Fault-Diameter of the N-Cube, " IEEE Trans. Computers, vol. 42, no. 1, pp. 27-33, Jan. 1993.
27. R. Leveugle, "Fault Injection in VHDL Descriptions and Emulation, " Proc. IEEE Int'l Symp. Defect and Fault Tolerance in VLSI Systems, pp. 414-419, 2000.
28. H. Madeira, M. Rela, F. Moreira, and J. Silva, "RIFLE: A General Purpose Pin-Level Fault Injector, " Proc. First European Dependable Computing Conf. Dependable Computing, pp. 197-216, 1994.
29. R. Majumdar and I. Saha, "Symbolic Robustness Analysis, " Proc. IEEE 30th Real-Time Systems Symp. (RTSS '09), pp. 355-363, 2009.
30. R. Majumdar, I. Saha, and Z. Wang, "Systematic Testing for Control Applications, " Proc. IEEE/ACM Eighth Int'l Conf. Formal Methods and Models for Codesign (MEMOCODE '10), pp. 1-10, 2010.
31. J.-C. Ruiz, P. Yuste, P. Gil, and L. Lemus, "On Benchmarking the Dependability of Automotive Engine Control Applications, " Proc. Int'l Conf. Dependable Systems and Networks, pp. 857-866, June/July 2004.
32. Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kownacki, J. Barton, R. Dancey, A. Robinson, and T. Lin, "FIAT-Fault Injection Based Automated Testing Environment, " Proc. 18th Int'l Fault-Tolerant Computing Symp. (FTCS-18), pp. 102-107, June 1988.
33. V. Shrivastav, S.G. Vadlamudi, P.P. Chakrabarti, D. Das, and P. Sinha, "Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults, " Proc. Int'l Symp. Electronic System Design (ISED '12), pp. 167-171, Dec. 2012.
34. V. Sieh, O. Tschache, and F. Balbach, "VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions, " Proc. 27th Ann. Int'l Symp. Fault-Tolerant Computing (FTCS-27), pp. 32-36, June 1997.
35. D. Skarin, R. Barbosa, and J. Karlsson, "GOOFI-2: A Tool for Experimental Dependability Assessment, " Proc. IEEE/IFIP Int'l Conf. Dependable Systems and Networks (DSN '10), pp. 557-562, July 2010.
36. S. Vadlamudi, P. Chakrabarti, D. Das, and P. Sinha, "A Framework for Early Stage Quality-Fault Tolerance Analysis of Embedded Control Systems, " Proc. IEEE/IFIP 41st Int'l Conf. Dependable Systems Networks (DSN '11), pp. 315-322, June 2011.
37. A. van de Goor and Z. Al-Ars, "Functional Memory Faults: A Formal Notation and a Taxonomy, " Proc. IEEE 18th VLSI Test Symp., pp. 281-289, 2000.
38. J. Vazquez, V. Champac, A. Ziesemer, R. Reis, I. Teixeira, M. Santos, and J. Teixeira, "Low-Sensitivity to Process Variations Aging Sensor for Automotive Safety-Critical Applications, " Proc. 28th VLSI Test Symp. (VTS '10), pp. 238-243, Apr. 2010.
39. J. Vinter, O. Hannius, T. Norlander, P. Folkesson, and J. Karlsson, "Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles, " Proc. Int'l Conf. Dependable Systems and Networks, pp. 666-671, 2005.
40. P. Yuste, D. de Andres, L. Lemus, J. Serrano, and P. Gil, "INERTE: Integrated Nexus-Based Real-Time Fault Injection Tool for Embedded Systems, " Proc. Int'l Conf. Dependable Systems and Networks, p. 669, June 2003.