Detail projektu

Bezpečné, spolehlivé a adaptivní počítačové systémy

Období řešení: 1.3.2010 - 31.12.2010

Kód: FIT-S-10-1

Agentura: Vysoké učení technické v Brně

Program:

Název anglicky
Secured, reliable and adaptive computer systems
Typ
grant
Abstrakt
Hlavním cílem projektu je systematicky rozvíjet koncept "návrhu pro bezpečnost, spolehlivost a adaptaci" HW/SW systémů. Projekt zahrnuje oblasti bezpečnosti IT, vestavěných systémů, jejich návrhu, modelování, simulace a diagnostiky. Zabývá se metodami automatizovaného návrhu a formální verifikace HS/SW systémů.
Řešitelé
Sekanina Lukáš, prof. Ing., Ph.D. (UPSY FIT VUT) , hlavní řešitel
Bartoš Pavel, Ing. (UPSY FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , spoluřešitel
Drábek Vladimír, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Dudka Kamil, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Radim, Ing. (UITS FIT VUT) , spoluřešitel
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , spoluřešitel
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Gach Marek, Ing. (UITS FIT VUT) , spoluřešitel
Grégr Matěj, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Hýsek Jiří, Ing. (UITS FIT VUT) , spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Kajan Michal, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštil Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kaštovský Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Kočí Radek, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Konečný Filip, Ing. (UITS FIT VUT) , spoluřešitel
Korček Pavol, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kořenek Jan, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Kraus Michal, Ing. (UITS FIT VUT) , spoluřešitel
Kreslíková Jitka, doc. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Křivánek Jan, Ing. (UPSY FIT VUT) , spoluřešitel
Kunovský Jiří, doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT) , spoluřešitel
Martínek Tomáš, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Matoušek Petr, Ing., Ph.D., M.A. (UIFS FIT VUT) , spoluřešitel
Michlovský Zbyněk, Ing. (UITS FIT VUT) , spoluřešitel
Mikušek Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Nagy Jan, Ing. (UITS FIT VUT) , spoluřešitel
Orság Filip, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Peterka Ondřej, Ing. (UIFS FIT VUT) , spoluřešitel
Polóni Pavol, Ing. (UPSY FIT VUT) , spoluřešitel
Pospíchal Petr, Ing. (UPSY FIT VUT) , spoluřešitel
Puš Viktor, Ing. (UPSY FIT VUT) , spoluřešitel
Ráb Jaroslav, Ing. (UIFS FIT VUT) , spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA (UPSY FIT VUT) , spoluřešitel
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Samek Jan, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Sedláčková Jana, RNDr. (FIT VUT) , spoluřešitel
Sehnalová Pavla, Ing. (UITS FIT VUT) , spoluřešitel
Schäfer Jiří, Ing. (UITS FIT VUT) , spoluřešitel
Schwarz Josef, doc. Ing., CSc. (UPSY FIT VUT) , spoluřešitel
Slaný Karel, Ing. (UPSY FIT VUT) , spoluřešitel
Slinták Jiří, Ing. (UIFS FIT VUT) , spoluřešitel
Straka Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Svojanovský Petr, Ing. (UIFS FIT VUT) , spoluřešitel
Šátek Václav, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Šimek Václav, Ing. (UPSY FIT VUT) , spoluřešitel
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vašíček Zdeněk, doc. Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Veselý Vladimír, Ing., Ph.D. (UIFS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Zadina Martin, Ing. (UITS FIT VUT) , spoluřešitel
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT) , spoluřešitel
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Žádník Martin, Ing., Ph.D. (UPSY FIT VUT) , spoluřešitel
Žaloudek Luděk, Ing. (UPSY FIT VUT) , spoluřešitel
Publikace

2013

2012

2011

2010

2009

Produkty

2010

Nahoru