Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/10/01 Vol. E86-DNo. 10pp. 2145-2153 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks) Category: Reliability and Availability Keyword: autonomous decentralized system, high assurance system, system construction way,