Full metadata record
DC poleHodnotaJazyk
dc.contributor.authorKačer, Jaroslav
dc.contributor.authorRacek, Stanislav
dc.date.accessioned2016-06-24T05:29:26Z
dc.date.available2016-06-24T05:29:26Z
dc.date.issued2004
dc.identifier.urihttp://www.kiv.zcu.cz/publications/
dc.identifier.urihttp://hdl.handle.net/11025/21602
dc.format50 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.subjectJavacs
dc.subjecttestovánícs
dc.subjectvestavěný systémcs
dc.titleModel-based development of Java embedded applications: technical report no. DCSE/TR-2004-03en
dc.typezprávacs
dc.typereporten
dc.rights.accessopenAccessen
dc.type.versionpublishedVersionen
dc.description.abstract-translatedThis 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.translatedJavaen
dc.subject.translatedtestingen
dc.subject.translatedembedded systemen
Vyskytuje se v kolekcích:Zprávy / Reports (KIV)

Soubory připojené k záznamu:
Soubor Popis VelikostFormát 
Kacer.pdfPlný text943,59 kBAdobe PDFZobrazit/otevřít
Zobrazit minimální záznam Zobrazit statistiky


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.

hledání
navigace
  1. DSpace at University of West Bohemia
  2. Publikační činnost / Publications
  3. Fakulta aplikovaných věd / Faculty of Applied Sciences
  4. Katedra informatiky a výpočetní techniky / Department of Computer Science and Engineering
  5. Zprávy / Reports (KIV)