Projekt integruje pracovníky a doktorandy tří ústavů Fakulty informačních technologií VUT v Brně, jejichž výzkumná činnost spadá do oblasti bezpečnosti a spolehlivosti HW-SW systémů, včetně návrhu, modelování, simulace, diagnostiky a formální verifikace takovýchto systémů. Podstatou projektu je systematicky rozvíjet koncept "návrhu pro bezpečnost, spolehlivost a adaptaci" HW/SW systémů.

Popis anglicky
TBD

FIT-S-11-1

čeština

Sekanina Lukáš, prof. Ing., Ph.D. - hlavní řešitel
Barabas Maroš, Ing., Ph.D. - spoluřešitel
Bartoš Pavel, Ing. - spoluřešitel
Bidlo Michal, doc. Ing., Ph.D. - spoluřešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Dittrich Petr, Ing., Ph.D. - spoluřešitel
Dluhoš Ondřej, Ing. - spoluřešitel
Doležel Michal, Ing. - spoluřešitel
Drábek Vladimír, doc. Ing., CSc. - spoluřešitel
Drahanský Martin, prof. Ing., Ph.D. - spoluřešitel
Drozd Michal, Ing. - spoluřešitel
Dudka Kamil, Ing. - spoluřešitel
Dudka Vendula, Ing. - spoluřešitel
Dvořák Radim, Ing., Ph.D. - spoluřešitel
Fajkus Jan, Ing. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Fučík Otto, doc. Dr. Ing. - spoluřešitel
Gach Marek, Ing. - spoluřešitel
Grégr Matěj, Ing., Ph.D. - spoluřešitel
Hájek Josef, Ing., Ph.D. - spoluřešitel

Ústav počítačových systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Ústav informačních systémů
- interní (1.1.2012 - 31.12.2014)
Ústav inteligentních systémů
- interní (1.1.2012 - 31.12.2014)
Ústav počítačových systémů
- interní (1.1.2012 - 31.12.2014)
Fakulta informačních technologií
- příjemce (1.1.2012 - 31.12.2014)

POLČÁK, L. Challenges in Identification in Future Computer Networks. ICETE 2014 Doctoral Consortium. Wien: SciTePress - Science and Technology Publications, 2014. p. 15-24.
Detail

KOŘENEK, J. Hardware Acceleration of Algorithms in Computer Networks using FPGA. 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Brno: IEEE Computer Society, 2013. p. 11-11. ISBN: 978-1-4673-6133-0.
Detail

SZURMAN, K.; KAŠTIL, J.; STRAKA, M.; KOTÁSEK, Z. Fault Tolerant CAN Bus Control System Implemented into FPGA. IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2013. Karlovy Vary: IEEE Computer Society, 2013. p. 289-292. ISBN: 978-1-4673-6136-1.
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Lecture Notes in Computer Science, 2012, vol. 2013, no. 7857, p. 266-273. ISSN: 0302-9743.
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. FIT-TR-2012-03, Brno: Faculty of Information Technology BUT, 2012. p. 0-0.
Detail

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno: 2012. p. 0-0.
Detail

SAMEK, J. Důvěra a reputace v distribuovaných systémech. Brno: 2012. s. 0-0.
Detail

DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
Detail

ZACHARIÁŠOVÁ, M.; LENGÁL, O.; KAJAN, M. HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. FIT-TR-2011-05, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
Detail

ABDULLA, P.; CHEN, Y.; CLEMENTE, L.; HOLÍK, L.; HONG, C.; MAYR, R.; VOJNAR, T. Advanced Ramsey-based Büchi Automata Inclusion Testing. FIT-TR-2011-03, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
Detail

KORČEK, P.; SEKANINA, L.; FUČÍK, O. A Scalable Cellular Automata Based Microscopic Traffic Simulation. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2011. p. 1 (1 s.). ISBN: 978-80-214-4305-1.
Detail

BARTOŠ, P.; KOTÁSEK, Z.; DOHNAL, J. Decreasing Test Time by Scan Chain Reorganization. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011. p. 108-108. ISBN: 978-80-214-4305-1.
Detail

HOLÍK, L.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T. Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata. FIT-TR-2011-04, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
Detail

DRAHOŠOVÁ, M.; SEKANINA, L. Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2012. p. 121-121. ISBN: 978-80-87342-15-2.
Detail

MATOUŠEK, J. Addressing Issues in Research on Packet Classification in Core Networks. Brno: Faculty of Information Technology BUT, 2019. p. 0-0.
Detail

VESELÝ, V. Map-cache Synchronization for Locator/ID Split Protocol. Proceedings of the 19th Conference Student EEICT 2013 Volume 3. Brno: Fakulta informačních technologií VUT v Brně, 2013. s. 234-239. ISBN: 978-80-214-4695-3.
Detail

POURSABERI, A.; VÁŇA, J.; MRÁČEK, Š.; DVOŘÁK, R.; YANUSHKEVICH, S.; DRAHANSKÝ, M.; SHMERKO, V.; GAVRILOVA, M. Facial biometrics for situational awareness systems. IET Biometrics, 2013, vol. 2, no. 2, p. 35-47. ISSN: 2047-4938.
Detail

PODIVÍNSKÝ, J.; ZACHARIÁŠOVÁ, M.; KOTÁSEK, Z. Complex Control System for Testing Fault-Tolerance Methodologies. Proceedings of The Third Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale. Dresden: COST, European Cooperation in Science and Technology, 2014. p. 24-27. ISBN: 978-2-11-129175-1.
Detail

LEXA, M.; MARTÍNEK, T.; BRÁZDOVÁ, M. Uneven distribution of potential triplex sequences in the human genome: In silico study using the R/Bioconductor package triplex. In Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms. Angers: SciTePress - Science and Technology Publications, 2014. p. 80-88. ISBN: 978-989-758-012-3.
Detail

POLČÁK, L.; HOLKOVIČ, M.; MATOUŠEK, P. Host Identity Detection in IPv6 Networks. In E-Business and Telecommunications. Communications in Computer and Information Science. Berlin: Springer Verlag, 2014. p. 74-89. ISBN: 978-3-662-44787-1. ISSN: 1865-0929.
Detail

Odpovědnost: Sekanina Lukáš, prof. Ing., Ph.D.