Detail výsledku
Usage of simulators in testing system
DOLÍHAL, L.; HRUŠKA, T.; MASAŘÍK, K. Usage of simulators in testing system. Industrial Simulation Conference. Brno: EUROSIS, 2012. p. 74-78. ISBN: 978-90-77381-71-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Dolíhal Luděk, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., CIS ‒ Kancelář ředitele (CIS), UIFS (FIT)
Masařík Karel, Ing., Ph.D., UIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., CIS ‒ Kancelář ředitele (CIS), UIFS (FIT)
Masařík Karel, Ing., Ph.D., UIFS (FIT)
Abstrakt
We use simulators for testing of the automaticaly generated compiler. This article describes the steps that have to be performed.
Klíčová slova
HW/SW codesign, testing system, embedded systems, Codal language, simulation, compiler testing, library porting.
Rok
2012
Strany
74–78
Sborník
Industrial Simulation Conference
Konference
The Industrial Simulation Conference (ISC)
ISBN
978-90-77381-71-7
Vydavatel
EUROSIS
Místo
Brno
BibTeX
@inproceedings{BUT97004,
author="Luděk {Dolíhal} and Tomáš {Hruška} and Karel {Masařík}",
title="Usage of simulators in testing system",
booktitle="Industrial Simulation Conference",
year="2012",
pages="74--78",
publisher="EUROSIS",
address="Brno",
isbn="978-90-77381-71-7"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, zahájení: 2010-02-01, ukončení: 2013-01-31, řešení
Rozpoznávání a prezentace informací z multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, zahájení: 2010-04-01, ukončení: 2010-12-31, ukončen
Systém pro programování a realizaci vestavěných systémů, MPO, TIP, FR-TI1/038, zahájení: 2009-07-01, ukončení: 2013-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, zahájení: 2010-02-01, ukončení: 2013-01-31, řešení
Rozpoznávání a prezentace informací z multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, zahájení: 2010-04-01, ukončení: 2010-12-31, ukončen
Systém pro programování a realizaci vestavěných systémů, MPO, TIP, FR-TI1/038, zahájení: 2009-07-01, ukončení: 2013-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Hardware-Software Codesign (VZ LISSOM)
Pracoviště