Testing Java software for embedded devices using J-Sim and serialization of threads

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F04%3A00000125" target="_blank" >RIV/49777513:23520/04:00000125 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Testing Java software for embedded devices using J-Sim and serialization of threads
Original language description
The paper presents a method of testing Java concurrent programs for embedded devices. It is based on time serialization of threads. The model of the surrounding environment is created using the J-Sim library.
Czech name
Testování Java softwaru pro vestavěná zařízení za použití knihovny J-Sim a serializace vláken
Czech description
Článek popisuje metodu testování paralelních Java programů pro vestavěná zařízení. Metoda je založena na časové serializaci vláken programu. Model okolního prostředí je vytvořen za použití knihovny J-Sim.

Project
<a href="/en/project/GA102%2F03%2F0672" target="_blank" >GA102/03/0672: Research of methods and tools for verification of embedded computer system fault tolerance</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Result description