Full metadata record
DC poleHodnotaJazyk
dc.contributor.authorKačer, Jaroslav
dc.contributor.authorRacek, Stanislav
dc.date.accessioned2016-06-23T11:24:17Z
dc.date.available2016-06-23T11:24:17Z
dc.date.issued2005
dc.identifier.urihttp://www.kiv.zcu.cz/publications/
dc.identifier.urihttp://hdl.handle.net/11025/21596
dc.format15 s.cs
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherUniversity of West Bohemia in Pilsenen
dc.rights© University of West Bohemia in Pilsenen
dc.subjectsimulacecs
dc.subjectJavacs
dc.titleSimulation-based schedulability analysis of RMA programms: technical report no. DCSE/TR-2005-01en
dc.typezprávacs
dc.typereporten
dc.rights.accessopenAccessen
dc.type.versionpublishedVersionen
dc.description.abstract-translatedThis 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.subject.translatedsimulationen
dc.subject.translatedJavaen
Vyskytuje se v kolekcích:Zprávy / Reports (KIV)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
Kacer.pdfPlný text722,93 kBAdobe PDFZobrazit/otevřít


Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam: http://hdl.handle.net/11025/21596

Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.