A compositional method for the top-down design of real-time systems

J.J.M. Hooman

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


To specify and verify real-time systems, we consider a formalism based on Hoare triples (precondition, program, postcondition) which are extended with a third assertion, called commitment, to express the real-time communication interface of the program. In this paper we axiomatize concurrent programs that communicate by means of a common bus. To support top-down program Verification we formulate a compositional proof system for these extended Hoare triples. The method as illustrated by a distributed arbitration protocol.
Originele taal-2Engels
Titel4th Euromicro Workshop on Real-Time Systems (ECRTS'92, Athens, Greece, June 3-5, 1992)
UitgeverijIEEE Computer Society
ISBN van geprinte versie0-8186-2815-4
StatusGepubliceerd - 1992


Duik in de onderzoeksthema's van 'A compositional method for the top-down design of real-time systems'. Samen vormen ze een unieke vingerafdruk.

Citeer dit