| Název: | Simulation-based schedulability analysis of RMA programms: technical report no. DCSE/TR-2005-01 |
| Autoři: | Kačer, Jaroslav Racek, Stanislav |
| Datum vydání: | 2005 |
| Nakladatel: | University of West Bohemia in Pilsen |
| Typ dokumentu: | zpráva report |
| URI: | http://www.kiv.zcu.cz/publications/ http://hdl.handle.net/11025/21596 |
| Klíčová slova: | simulace;Java |
| Klíčová slova v dalším jazyce: | simulation;Java |
| Abstrakt v dalším jazyce: | 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. |
| Práva: | © University of West Bohemia in Pilsen |
| Vyskytuje se v kolekcích: | Zprávy / Reports (KIV) |
Soubory připojené k záznamu:
| Soubor | Popis | Velikost | Formát | |
|---|---|---|---|---|
| Kacer.pdf | Plný text | 722,93 kB | Adobe PDF | Zobrazit/otevřít |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/21596Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.