VERIFICATION OF CONCURRENT CONTROL FLOW IN DISTRIBUTED COMPUTER SYSTEMS.

Sik-Sang Yau, Wonmo Hong

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control-flow checking among software components distributed over processors and cooperating among them. In this approach, control-flow behavior of DCS software is modeled and contained in special software components called verifiers. The verifiers are distributed over the processors and consulted to check the correctness of the control-flow in DCS software during its execution. Algorithms for deriving the verifiers are presented. This technique can detect global errors including synchronization errors as well as local errors. It can be used for sequential or concurrent software at various levels of details. Experiments show that using this technique requires no significant overhead.

Original languageEnglish (US)
Pages (from-to)405-417
Number of pages13
JournalIEEE Transactions on Software Engineering
Volume14
Issue number4
DOIs
StatePublished - Apr 1987
Externally publishedYes

Fingerprint

Distributed computer systems
Flow control
Synchronization
Experiments

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

VERIFICATION OF CONCURRENT CONTROL FLOW IN DISTRIBUTED COMPUTER SYSTEMS. / Yau, Sik-Sang; Hong, Wonmo.

In: IEEE Transactions on Software Engineering, Vol. 14, No. 4, 04.1987, p. 405-417.

Research output: Contribution to journalArticle

@article{55e8196202e2425199c66053513ff2c5,
title = "VERIFICATION OF CONCURRENT CONTROL FLOW IN DISTRIBUTED COMPUTER SYSTEMS.",
abstract = "An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control-flow checking among software components distributed over processors and cooperating among them. In this approach, control-flow behavior of DCS software is modeled and contained in special software components called verifiers. The verifiers are distributed over the processors and consulted to check the correctness of the control-flow in DCS software during its execution. Algorithms for deriving the verifiers are presented. This technique can detect global errors including synchronization errors as well as local errors. It can be used for sequential or concurrent software at various levels of details. Experiments show that using this technique requires no significant overhead.",
author = "Sik-Sang Yau and Wonmo Hong",
year = "1987",
month = "4",
doi = "10.1109/32.4662",
language = "English (US)",
volume = "14",
pages = "405--417",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "4",

}

TY - JOUR

T1 - VERIFICATION OF CONCURRENT CONTROL FLOW IN DISTRIBUTED COMPUTER SYSTEMS.

AU - Yau, Sik-Sang

AU - Hong, Wonmo

PY - 1987/4

Y1 - 1987/4

N2 - An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control-flow checking among software components distributed over processors and cooperating among them. In this approach, control-flow behavior of DCS software is modeled and contained in special software components called verifiers. The verifiers are distributed over the processors and consulted to check the correctness of the control-flow in DCS software during its execution. Algorithms for deriving the verifiers are presented. This technique can detect global errors including synchronization errors as well as local errors. It can be used for sequential or concurrent software at various levels of details. Experiments show that using this technique requires no significant overhead.

AB - An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control-flow checking among software components distributed over processors and cooperating among them. In this approach, control-flow behavior of DCS software is modeled and contained in special software components called verifiers. The verifiers are distributed over the processors and consulted to check the correctness of the control-flow in DCS software during its execution. Algorithms for deriving the verifiers are presented. This technique can detect global errors including synchronization errors as well as local errors. It can be used for sequential or concurrent software at various levels of details. Experiments show that using this technique requires no significant overhead.

UR - http://www.scopus.com/inward/record.url?scp=0023325844&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023325844&partnerID=8YFLogxK

U2 - 10.1109/32.4662

DO - 10.1109/32.4662

M3 - Article

AN - SCOPUS:0023325844

VL - 14

SP - 405

EP - 417

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

SN - 0098-5589

IS - 4

ER -