On-line Testing of Software Components for Diagnosis of Embedded Systems

Authors: Thi-Quynh Bui, Oum-El-Kheir Aktouf

Abstract:

This paper studies the dependability of componentbased applications, especially embedded ones, from the diagnosis point of view. The principle of the diagnosis technique is to implement inter-component tests in order to detect and locate the faulty components without redundancy. The proposed approach for diagnosing faulty components consists of two main aspects. The first one concerns the execution of the inter-component tests which requires integrating test functionality within a component. This is the subject of this paper. The second one is the diagnosis process itself which consists of the analysis of inter-component test results to determine the fault-state of the whole system. Advantage of this diagnosis method when compared to classical redundancy faulttolerant techniques are application autonomy, cost-effectiveness and better usage of system resources. Such advantage is very important for many systems and especially for embedded ones.

Keywords: Dependability, diagnosis, middlewares, embeddedsystems, fault tolerance, inter-component testing.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1063174

References:

[1] O. Aktouf, M. Wahl and M. Dang, "Introducing Fault-Diagnosis into embedded CORBA-Based Systems", IEEE International Conference on Information & Communication Technologies, Syria, 2004.
[2] C. Atkinson and H. G. Groß, "Built-in contract testing in model-driven, component-based development", In ICSR-7 Workshop on Component- Based Development Processes, Austin, Texas, 2002.
[3] M. Barborak, M. Makek and A. Dahbura., "The consensus Problem in Fault-Tolerant Computing", ACM Computing Surveys, Vol.25, No.1, 1993.
[4] N. Belloir, J. M. Bruel and F. Barbier, "Intégration du test dans les composants logiciels", Workshop OCM dans l-ingénierie des SI during INFORSID 2002, Nantes, France, 2002.
[5] Cleopatre. Available: http://www.cleopatre-project.org.
[6] A. T. Dahbura, "An O(n2,5) fault identification algorithm for diagnosticable systems", IEEE Transactions on Computers, vol. C-33, n┬░6, p. 486-492, June 1984.
[7] F. Favarim, J. Fraga and F. Siqueira, "Fault-tolerant CORBA Components" In 2nd Workshop on Reflective and Adaptive Middleware, p. 144-148, Rio de Janeiro, Brazil, 2003.
[8] J. Fraga, F. Siqueira and F. Favarim, "An Adaptive Fault-Tolerant Component Model", 9th IEEE International Workshop on Object- Oriented Real-Time Dependable Systems, Capri Island, Italy, 2003.
[9] R. Bianchini, R. W. Buskens, "An adaptative distributed system level diagnosis algorithm and its implementation", Proceedings of the 21st international IEEE Symposium on Fault-Tolerant Computing, p. 616- 626, 1991.
[10] H. G. Groß, "Built-in Contrat Testing in Component-based Application Engineering", CologNet Joint Workshop on Component-based Software Development and Implementation Technology for Computational Logic, Affiliated with LOPSTR, Madrid, Spain, 19-20 September 2002.
[11] ICM. Available: http://www.icmgworld.com.
[12] H. Kopetz, and T. Wien, "DECOS - European Integrated Project Proposal". Available: https://www.decos.at/download/021003- DECOS.Grenoble-US.pdf/, October 2002.
[13] K. S. Lee and G. Shin, "Probabilistic Diagnosis of Multiprocessor Systems", ACM Computing Surveys, Vol.26, No.1, 1994.
[14] E. Martins, C. M. Toyota and R. L. Yanagawa, "Constructing Self- Testable Software Components", Proceedings of the 2001 International Conference on Dependable Systems and Networks, p. 151-160, Göteborg, Sweden, July 2001.
[15] V. Marangozova and D. Hagimont, "An Infrastructure for CORBA Component Replication", 1st IFIP/ACM Working Conference on Component Deployment, Berlin, Germany, June 2002.
[16] Microsoft, "Overview of the .NET Framework", MSDN Library White Paper, 2001. Available: http://msdn.microsoft.com.
[17] CORBA Components, OMG Document formal/02-06-65, 2002. Available: http://www.omg.org.
[18] OpenCCM. Available: http://www.objectweb.org.
[19] Prerapata, Metz, Chien., "On the connection assignment problem of diagnosticable systems", IEEE Transactions on Electronic Computers, vol. EC-16, n┬░6, p. 848-854, December 1967.
[20] Sun Microsystems, "Enterprise JavaBeans Specification", v2.0. 2001. Available: http://java.sun.com/ejb/.
[21] Y. Wang, "On Built-In Test Reuse in Object-Oriented Framework Design", ACM Computing Surveys, 32(1), March, 2002.