Verification of error recovery specification for distributed data by using colored Petri net

Masaharu Akatsu, Tomohiro Murata, Kenzo Kurihara

研究成果: Conference article査読

抄録

In systems where the same data are distributed in plural memories, it is important for designers to verify that error recovery procedures maintain data consistency after a failure. A modeling and validation method of error recovery specifications by using colored Petri nets is proposed. The analysis of reachable states is useful to verify consistency. The introduction of the equivalence relation into reachable states reduces the number of the states to be verified. The proposed approach was applied to read/write control of a disk controller with a built-in cache memory.

本文言語English
ページ(範囲)930-933
ページ数4
ジャーナルProceedings - IEEE International Symposium on Circuits and Systems
2
出版ステータスPublished - 1991 12 1
外部発表はい
イベント1991 IEEE International Symposium on Circuits and Systems Part 4 (of 5) - Singapore, Singapore
継続期間: 1991 6 111991 6 14

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

フィンガープリント 「Verification of error recovery specification for distributed data by using colored Petri net」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル