The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - Jan.-Feb. (2014 vol.11)
pp: 45-58
Satya Gautam Vadlamudi , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kharagpur, Kharagpur, India
Partha Pratim Chakrabarti , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kharagpur, Kharagpur, India
ABSTRACT
Fault-tolerance of embedded control systems is of great importance, given their wide usage in various domains such as aeronautics, automotive, medical, and so on. Signal perturbations such as small amounts of noise, shift, and spikes, can sometimes severely hamper the performance of the system, apart from complete failure of components and links. Finding minimal counterexamples (perturbations on the system leading to violation of fault-tolerance requirements) can be of great assistance to control system designers in understanding and adjusting the fault-tolerance behavior of the system. Fault injection is an effective method for dependability analysis of such systems. In this paper, we introduce the concept of dominating sets of perturbations, and define a minimal set of counterexamples called the basis. We propose effective methods using a simulation-based fault injection technique on Simulink models for finding the basis set at an early stage of design, given the fault specification and fault-tolerance requirements. Experimental results on two different control system examples from the Simulink automotive library demonstrate the efficacy of the proposed framework.
INDEX TERMS
Embedded system, Fault tolerance, Robustness, Control systems, Signal perturbations,monotonicity, Robustness analysis, embedded control systems, signal perturbations, quality-faults, minimal counterexamples, fault injection
CITATION
Satya Gautam Vadlamudi, Partha Pratim Chakrabarti, "Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection", IEEE Transactions on Dependable and Secure Computing, vol.11, no. 1, pp. 45-58, Jan.-Feb. 2014, doi:10.1109/TDSC.2013.23
REFERENCES
[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 Real-Time 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.
37 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool