Time at your service : schedulability analysis of real-time and distributed services

Leiden Repository

Time at your service : schedulability analysis of real-time and distributed services

Type: Doctoral Thesis
Title: Time at your service : schedulability analysis of real-time and distributed services
Author: Jaghoori, M.M.
Issue Date: 2010-12-20
Keywords: Real-Time
Schedulability Analysis
Actor model
Timed Automata
Concurrency
Abstract: The software today is distributed over several processing units. At a large scale this may span over the globe via the internet, or at the micro scale, a software may be distributed on several small processing units embedded in one device. Real-time distributed software and services need to be timely and respond to the requests in time. The Quality of Service of real time software depends on how it schedules its tasks to be executed. The state of the art in programming distributed software, like in Java, the scheduling is left to the underlying infrastructure and in particular the operating system, which is not anymore in the control of the applications. In this thesis, we introduce a software paradigm based on object orientation in which real-time concurrent objects are enabled to specify their own scheduling strategy. We developed high-level formal models for specifying distributed software based on this paradigm in which the quality of service requirements are specified as deadlines on performing and finishing tasks. At this level we developed techniques to verify that these requirements are satisfied. This research has opened the way to a new approach to modeling and analysis of a range of applications such as continuous planning in the context of logistics software in a dynamic environment as well as developing software for multi-core systems. Industrial companies (DEAL services) and research centers (the Uppsala Programming for Multicore Architectures Resrearch Center UPMARC) have already shown interest in the results of this thesis.
Promotor: Supervisor: Boer F.S. de Co-Supervisor: Chothia T.
Faculty: Faculty of Science
University: Leiden University
Uri: urn:isbn:9789064644450
Handle: http://hdl.handle.net/1887/16260
 

Files in this item

Description Size View
application/pdf Cover 3.330Mb View/Open
application/pdf Full Text 2.711Mb View/Open
application/pdf Propositions 38.33Kb View/Open
application/pdf Links to published articles 13.22Kb View/Open

This item appears in the following Collection(s)