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

Masaharu Akatsu, Tomohiro Murata, Kenzo Kurihara

Research output: Contribution to journalConference article

Abstract

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.

Original languageEnglish
Pages (from-to)930-933
Number of pages4
JournalProceedings - IEEE International Symposium on Circuits and Systems
Volume2
Publication statusPublished - 1991 Dec 1
Externally publishedYes
Event1991 IEEE International Symposium on Circuits and Systems Part 4 (of 5) - Singapore, Singapore
Duration: 1991 Jun 111991 Jun 14

ASJC Scopus subject areas

  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Verification of error recovery specification for distributed data by using colored Petri net'. Together they form a unique fingerprint.

  • Cite this