Specification and verification of a distributed real-time arbitration protocol

J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 languageEnglish
Title of host publicationProceedings 14th IEEE Real-Time Systems Symposium (Raleigh Durham NC, USA, December 1-3, 1993)
PublisherInstitute of Electrical and Electronics Engineers
Pages284-293
Number of pages10
ISBN (Print)0-8186-4480-X
DOIs
Publication statusPublished - 1993

Fingerprint

Dive into the research topics of 'Specification and verification of a distributed real-time arbitration protocol'. Together they form a unique fingerprint.

Cite this