データダイバシティによるディペンダブルコンピュータシステムの開発  [in Japanese] Development of a dependable computer system based on data-diversity concept  [in Japanese]

セイフティクリティカルシステムに適用するディペンダブル計算機システムの新たな構成法について述べる。既存ディペンダブル計算機は,ハードウェアもしくはソフトウェアの冗長構成で安全性を確保してきた。論文では,既存のディペンダブル計算機として3つの形態を示し,コストや保全性といった検知から比較する。この中で産業用のシステムとしてはハード,ソフト共に非冗長なシステムが望ましいことを示す。提案する計算機システムは,汎用計算機,外部mitigating functionと新たなソフトウェア構成から成る。アプリケーションソフトは処理プログラムとそのコピーがら構成され,mitigating functionが,モジュールとそのコピーから生成される処理結果と処理時間を照合することで安全性を確保する。

A new dependable computer architecture based on data-diversity concept is proposed in this paper. A conventional dependable computer system assures safety depending on redundant structures of software and/or hardware. Three kinds of dependable computer architecture are compared with each other by viewpoints of cost effectiveness, maintainability and so on. The new dependable computer system proposed by this study is composed of an off the shelf computer, an external mitigating function and new software architecture. The application software of this system is composed of an original program and its copy. For assuring safety requirements, a mitigating function compares data and processing time produced by a software module with that of a copied module.