PARS: A Process Algebra with Resources and Schedulers.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

12 Citaten (Scopus)

Samenvatting

In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this approach is to facilitate and formalize introduction of scheduling concepts into process algebraic specification using separate specifications for resource requiring processes, schedulers and systems composing the two. The benefits of this research are twofold. Firstly, it allows for formal investigation of scheduling strategies. Secondly, it provides the basis for an extension of schedulability analysis techniques to the formal verification process, facilitating the modelling of real-time systems in a process algebraic manner using the rich background of research in scheduling theory.
Originele taal-2Engels
TitelFormal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers)
RedacteurenK.G. Larsen, P. Niebert
Plaats van productieBerlin
UitgeverijSpringer
Pagina's134-150
ISBN van geprinte versie3-540-21671-5
DOI's
StatusGepubliceerd - 2004
Evenementconference; FORMATS 2003; 2003-09-06; 2003-09-07 -
Duur: 6 sep 20037 sep 2003

Publicatie series

NaamLecture Notes in Computer Science
Volume2791
ISSN van geprinte versie0302-9743

Congres

Congresconference; FORMATS 2003; 2003-09-06; 2003-09-07
Periode6/09/037/09/03
AnderFORMATS 2003

Vingerafdruk

Duik in de onderzoeksthema's van 'PARS: A Process Algebra with Resources and Schedulers.'. Samen vormen ze een unieke vingerafdruk.

Citeer dit