Full metadata record
DC pole | Hodnota | Jazyk |
---|---|---|
dc.contributor.author | Kačer, Jaroslav | |
dc.contributor.author | Racek, Stanislav | |
dc.date.accessioned | 2016-06-24T05:29:26Z | |
dc.date.available | 2016-06-24T05:29:26Z | |
dc.date.issued | 2004 | |
dc.identifier.uri | http://www.kiv.zcu.cz/publications/ | |
dc.identifier.uri | http://hdl.handle.net/11025/21602 | |
dc.format | 50 s. | cs |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | University of West Bohemia in Pilsen | en |
dc.rights | © University of West Bohemia in Pilsen | en |
dc.subject | Java | cs |
dc.subject | testování | cs |
dc.subject | vestavěný systém | cs |
dc.title | Model-based development of Java embedded applications: technical report no. DCSE/TR-2004-03 | en |
dc.type | zpráva | cs |
dc.type | report | en |
dc.rights.access | openAccess | en |
dc.type.version | publishedVersion | en |
dc.description.abstract-translated | This paper presents a model based method of testing and verification of Java concurrent control programs aimed for embedded devices. Threads of the control program are mapped onto simulation processes that can be executed using discrete model-time concept. The computer surrounding environment, including the controlled device itself, is represented by a simulation model as well. Both the control program model and the device model are written as well as executed using the J-Sim simulation tool. The method allows development of the control program even before the HW platform is developed, including tests of its behavior that can be difficult to perform using a real controlled device. | en |
dc.subject.translated | Java | en |
dc.subject.translated | testing | en |
dc.subject.translated | embedded system | en |
Vyskytuje se v kolekcích: | Zprávy / Reports (KIV) |
Soubory připojené k záznamu:
Soubor | Popis | Velikost | Formát | |
---|---|---|---|---|
Kacer.pdf | Plný text | 943,59 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/21602
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.