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, \(\ell\)-exclusion, and the producer-consumer tasks are presented. Proofs for the mutual-exclusion task and the \(\ell\)-exclusion task are presented to demonstrate the applicability of our approach.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received: May 2001, Accepted: December 2002,
An extended abstract of this work appears in the Proceedings of the fifth International Symposium on Autonomous Decentralized Systems (ISADS) 2001. Part of this work was done while the first author visited Wayne State University.
Rights and permissions
About this article
Cite this article
Dolev, S., Stomp, F. Safety assurance via on-line monitoring. Distrib. Comput. 16, 269–277 (2003). https://doi.org/10.1007/s00446-003-0089-5
Issue Date:
DOI: https://doi.org/10.1007/s00446-003-0089-5