Simulation-based schedulability analysis of RMA programms: technical report no. DCSE/TR-2005-01
| dc.contributor.author | Kačer, Jaroslav | |
| dc.contributor.author | Racek, Stanislav | |
| dc.date.accessioned | 2016-06-23T11:24:17Z | |
| dc.date.available | 2016-06-23T11:24:17Z | |
| dc.date.issued | 2005 | |
| dc.description.abstract-translated | 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. | en |
| dc.format | 15 s. | cs |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | http://www.kiv.zcu.cz/publications/ | |
| dc.identifier.uri | http://hdl.handle.net/11025/21596 | |
| dc.language.iso | en | en |
| dc.publisher | University of West Bohemia in Pilsen | en |
| dc.rights | © University of West Bohemia in Pilsen | en |
| dc.rights.access | openAccess | en |
| dc.subject | simulace | cs |
| dc.subject | Java | cs |
| dc.subject.translated | simulation | en |
| dc.subject.translated | Java | en |
| dc.title | Simulation-based schedulability analysis of RMA programms: technical report no. DCSE/TR-2005-01 | en |
| dc.type | zpráva | cs |
| dc.type | report | en |
| dc.type.version | publishedVersion | en |
Files
Original bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- Kacer.pdf
- Size:
- 722.93 KB
- Format:
- Adobe Portable Document Format
- Description:
- Plný text
License bundle
1 - 1 out of 1 results
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: