DSpace
 

Academic Knowledge Archives of Gunma Institutes >
群馬大学(Gunma University) >
50 工学研究科 >
5007 情報工学専攻 >
学術雑誌論文 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10087/2975

Title: (t, k)-diagnosable system: A generalization of the PMC models
Authors: Araki, Toru
Shibata, Yukio
Issue Date: Jul-2003
Publisher: Institute of Electrical and Electronics Engineers
Citation: IEEE Transactions on Computers 52(7) 971-975 (2003)
Abstract: ln this paper, we introduce a new model for diagnosable systems called (t, k)-diagnosable system which guarantees that at least k faulty units (processors) in a system are detected provided that the number of faulty units does not exceed t. This system includes classical one-step diagnosable systems and sequentially diagnosable systems. We prove a necessary and sufficient condition for (t, k)-diagnosable system, and discuss a lower bound for diagnosability. Finally, we deal with a relation between (t, k)-diagnosability and diagnosability of classical basic models.
URI: http://hdl.handle.net/10087/2975
ISSN: 0018-9340
Appears in Collections:学術雑誌論文

Files in This Item:

File Description SizeFormat
IEEECompSci_52_0971.pdf121.26 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

DSpace Software Copyright © 2002-2010  Duraspace - Feedback