Change search
ReferencesLink to record
Permanent link

Direct link
A time constrained real-time process calculus
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
2008 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. after their release time but before their deadline. A program which executes correctly on a specific platform is said to be feasible on that platform and an incorrect program is one which is not feasible on any platform. In this thesis we develop a timed process calculus, based on the pi-calculus, which can help answer these questions. We express the time window in which computation is legal by use of two time restrictions, before and after, to express a deadline and a release time offset respectively. We choose to look at correctness through the traces of the program. The trace of a program will always be a sequence of interleaved internal reductions and time steps, because programs have no free names. We define the meaning of a feasible program by use of these traces. In particular we define the speed of a particular system as the ratio between work steps and time steps. Based on this calculus we show how the two questions above can be answered in terms of traces of the process calculus and prove the classical utilization limit for Earliest Deadline First scheduling holds.

Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2008. , 68 p.
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757 ; 2008:33
Research subject
Embedded System
URN: urn:nbn:se:ltu:diva-17600Local ID: 440c5470-96a2-11dd-aadc-000ea68e967bOAI: diva2:990605
Godkänd; 2008; 20081010 (ysko)Available from: 2016-09-29 Created: 2016-09-29Bibliographically approved

Open Access in DiVA

fulltext(611 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 611 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Leijon, Viktor
By organisation
Embedded Internet Systems Lab

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link