Hidden Markov models as a support for diagnosis: Formalization of the problem and synthesis of the solution

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2006, Pages 245-254

  Daidone, Alessandro ^a   Di Giandomenico, Felicita ^a   Bondavalli, Andrea ^b   Chiaradonna, Silvano ^a  

^a CNR   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING;

INFORMATION INFRASTRUCTURES; STATE DIAGNOSIS;

HIDDEN MARKOV MODELS;

EID: 38949108264     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SRDS.2006.24     Document Type: Conference Paper

References (14)

1. A. Bilmes. What HMMs Can Do. Technical report, UWEE, 2002.
2. A. Bondavalli, S. Chiaradonna, D. Cotroneo, and L. Romano. A fault-tolerant distributed legacy-based system and its evaluation. In 1st Latin-American Symposium on Dependable Computing, pages 303-320, Brazil, 2003.
3. A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and F. Grandoni. Threshold-based mechanisms to discriminate transient from intermittent faults. IEEE Transactions on Computers, 49(3):230-245, 2000.
4. A. Daidone. Le catene di markov nascoste come supporte alla formalizzazione del problema delia diagnosi nei sistemi affidabili. Master's thesis, Università degli Studi di Firenze, 2004/2005. In Italian, available at http://rcl.dsi.unifi.it/.
5. D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders. Möbius: An extensible tool for performance and dependability modeling. In 11th International Conference, TOOLS 2000, volume Lecture Notes in Computer Science, pages 332-336, Schaumburg, IL, 2000. B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith (Eds.).
6. R. Iyer, L. Young, and P. Iyer. Automatic recognition of intermittent failures: An experimental study of field data. IEEE Transactions on Computers, 39:525-537, 1990.
7. T.-T. Lin and D. Siewiorek. Error log analysis: Statistical modeling and heuristic trend analysis. IEEE Transactions on Reliability, 39:419-132, 1990.
8. G. Mongardi. Dependable computing for railway control systems. In DCCA-3, pages 255-277, Mondello, Italy, 1993.
9. M. Pizza, L. Strigini, A. Bondavalli, and F. Di Giandomenico. Optimal discrimination between transient and permanent faults. In Third IEEE International High-Assurance Systems Engineering Symposium, pages 214-223, 1998.
10. L. Rabiner. A tutorial on hidden markov models and selected applications in speech recognition. Proceedings of IEEE, 77(2):257-286, 1989.
11. R. Shamir. Algorithms for molecular biology. Lecture notes available at http://www.math.tau.ac.il/rshamir/algmb.html.
12. D. Siewiorek and R. Swartz. Reliable Computer Systems: Design and Evaluation. A.K. Peters, 1998.
13. L. Spainhower, J. Isenberg, R. Chillarege, and J. Berding. Design for fault-tolerance in system es/9000 model 900. In 22 IEEE International Symposium on Fault Tolerant Computing Systems - FTC 22, pages 38-47, Boston, Massachusetts, 1992.
14. J. Ying, T. Kirubarajan, R. Pattipati, and A. Patterson-Hine. A hidden markov model-based algorithm for fault diagnosis with partial and imperfect tests. IEEE Transactions on Systems, Man and Cybernetics, 30(4):463-173, 2000.