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

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.




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.