Result Details
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.
Type
conference paper
Language
English
Authors
Dolíhal Luděk, Ing., Ph.D., DIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., CIS - Director (CIS), DIFS (FIT)
Masařík Karel, Ing., Ph.D., DIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., CIS - Director (CIS), DIFS (FIT)
Masařík Karel, Ing., Ph.D., DIFS (FIT)
Abstract
We use simulators for testing of the automaticaly generated compiler. This article describes the steps that have to be performed.
Keywords
HW/SW codesign, testing system, embedded systems, Codal language, simulation, compiler testing, library porting.
Published
2012
Pages
74–78
Proceedings
Industrial Simulation Conference
Conference
The Industrial Simulation Conference (ISC)
ISBN
978-90-77381-71-7
Publisher
EUROSIS
Place
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"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, start: 2010-02-01, end: 2013-01-31, running
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Programming and Realization of Embedded Systems, MPO, TIP, FR-TI1/038, start: 2009-07-01, end: 2013-06-30, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, start: 2010-02-01, end: 2013-01-31, running
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Programming and Realization of Embedded Systems, MPO, TIP, FR-TI1/038, start: 2009-07-01, end: 2013-06-30, completed
Research groups
Hardware-Software Codesign research group (RG LISSOM)
Departments