Safety assurance via on-line monitoring

Shlomi Dolev, Frank Stomp

Research output: Contribution to journalArticlepeer-review

4 Scopus citations

Abstract

This paper proposes a new approach and new techniques for on-line monitoring of concurrent programs to ensure that some of their safety properties are not violated. The techniques modify erroneous systems, which violate a certain safety property, into new systems which satisfy the safety property. It does so by adding a new layer that controls the scheduling of steps in the system. We formally characterize the relationship between the erroneous and the new system. Safety monitors for mutual-exclusion, ℓ-exclusion, and the producer-consumer tasks are presented. Proofs for the mutual-exclusion task and the ℓ-exclusion task are presented to demonstrate the applicability of our approach.

Original languageEnglish
Pages (from-to)269-277
Number of pages9
JournalDistributed Computing
Volume16
Issue number4
DOIs
StatePublished - 1 Dec 2003

Keywords

  • Distributed systems
  • Monitors
  • Safety properties

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Hardware and Architecture
  • Computer Networks and Communications
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Safety assurance via on-line monitoring'. Together they form a unique fingerprint.

Cite this