Title: | Simulation-based schedulability analysis of RMA programms: technical report no. DCSE/TR-2005-01 |
Authors: | Kačer, Jaroslav Racek, Stanislav |
Issue Date: | 2005 |
Publisher: | University of West Bohemia in Pilsen |
Document type: | zpráva report |
URI: | http://www.kiv.zcu.cz/publications/ http://hdl.handle.net/11025/21596 |
Keywords: | simulace;Java |
Keywords in different language: | simulation;Java |
Abstract in different language: | This paper describes the very first version of the UWB/ Apogee RMA Toolkit. The goal of the toolkit is to provide a simulation-based way to verify schedulability properties of real-time Java programs. The initial version described in this paper - version 0.1.0 - is a purely theory-based solution with no direct relation to Real-Time Java. Properties of a real-time program are described by means of its tasks' characteristics, such as period length, deadline, cost, and (optionally) priority, and by means of the system's properties, such as the number of available priority levels and the preemption latency. The output of a simulation execution is a sequence of decisions assigning processor time to tasks and reports whether tasks complete before their deadlines or not. |
Rights: | © University of West Bohemia in Pilsen |
Appears in Collections: | Zprávy / Reports (KIV) |
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11025/21596
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.