Specification and verification of a distributed real-time arbitration protocol

J.J.M. Hooman

doi:10.1109/REAL.1993.393488

Specification and verification of a distributed real-time arbitration protocol

J.J.M. Hooman

Algorithms

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Abstract

To specify and verify distributed real-time systems, we use a formalism based on Hoare triples. The framework has been adapted to deal with safety as well as liveness properties, and a compositional proof method has been formulated. The formalism is applied to a distributed real-time arbitration protocol in which concurrent modules compete to get control over a common bus.

Original language	English
Title of host publication	Proceedings 14th IEEE Real-Time Systems Symposium (Raleigh Durham NC, USA, December 1-3, 1993)
Publisher	Institute of Electrical and Electronics Engineers
Pages	284-293
Number of pages	10
ISBN (Print)	0-8186-4480-X
DOIs	https://doi.org/10.1109/REAL.1993.393488
Publication status	Published - 1993

Access to Document

10.1109/REAL.1993.393488

Cite this

@inproceedings{443b0f10e61e408c81168b2014f9698b,

title = "Specification and verification of a distributed real-time arbitration protocol",

abstract = "To specify and verify distributed real-time systems, we use a formalism based on Hoare triples. The framework has been adapted to deal with safety as well as liveness properties, and a compositional proof method has been formulated. The formalism is applied to a distributed real-time arbitration protocol in which concurrent modules compete to get control over a common bus.",

author = "J.J.M. Hooman",

year = "1993",

doi = "10.1109/REAL.1993.393488",

language = "English",

isbn = "0-8186-4480-X",

pages = "284--293",

booktitle = "Proceedings 14th IEEE Real-Time Systems Symposium (Raleigh Durham NC, USA, December 1-3, 1993)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Specification and verification of a distributed real-time arbitration protocol. / Hooman, J.J.M.
Proceedings 14th IEEE Real-Time Systems Symposium (Raleigh Durham NC, USA, December 1-3, 1993). Institute of Electrical and Electronics Engineers, 1993. p. 284-293.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Specification and verification of a distributed real-time arbitration protocol

AU - Hooman, J.J.M.

PY - 1993

Y1 - 1993

N2 - To specify and verify distributed real-time systems, we use a formalism based on Hoare triples. The framework has been adapted to deal with safety as well as liveness properties, and a compositional proof method has been formulated. The formalism is applied to a distributed real-time arbitration protocol in which concurrent modules compete to get control over a common bus.

AB - To specify and verify distributed real-time systems, we use a formalism based on Hoare triples. The framework has been adapted to deal with safety as well as liveness properties, and a compositional proof method has been formulated. The formalism is applied to a distributed real-time arbitration protocol in which concurrent modules compete to get control over a common bus.

U2 - 10.1109/REAL.1993.393488

DO - 10.1109/REAL.1993.393488

M3 - Conference contribution

SN - 0-8186-4480-X

SP - 284

EP - 293

BT - Proceedings 14th IEEE Real-Time Systems Symposium (Raleigh Durham NC, USA, December 1-3, 1993)

PB - Institute of Electrical and Electronics Engineers

ER -

Specification and verification of a distributed real-time arbitration protocol

Abstract

Access to Document

Fingerprint

Cite this