Detail projektu

Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems

Období řešení: 30. 10. 2009 - 30. 10. 2013

Typ projektu: grant

Kód: IC0901

Agentura: COST, European Cooperation in Science and Technology

Program:

Název česky
Bohatý modelovací jazyk -- infrastruktura pro spolehlivé počítačové systémy
Typ
grant
Abstrakt

Projekt se zaměřuje na vývoj bohatého modelovacího jazyka a s ním spojené infrastruktury pro formální verifikaci a syntézu, přispívající k vývoji spolehlivých počítačových systémů.

Řešitelé
Kuncak Viktor (EPFL) , hlavní řešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Dudka Kamil, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Gach Marek, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hýsek Jiří, Ing. (UITS FIT VUT)
Konečný Filip, Ing. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Publikace

2012

  • KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2012. ISBN 978-80-214-4464-5. Detail
  • KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, roč. 2012, č. 7186, s. 177-192. ISSN 0302-9743. Detail
  • KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, roč. 2012, č. 7119, s. 123-131. ISSN 0302-9743. Detail
  • DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a VOJNAR Tomáš. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science, roč. 2012, č. 7515, s. 152-167. ISSN 0302-9743. Detail

2011

  • HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Lecture Notes in Computer Science, roč. 2011, č. 6806, s. 424-440. ISSN 0302-9743. Detail
  • HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. FIT-TR-2011-01, Brno: Fakulta informačních technologií VUT v Brně, 2011. Detail
  • DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. Lecture Notes in Computer Science, roč. 2011, č. 6806, s. 372-378. ISSN 0302-9743. Detail
  • DUDKA Kamil, PERINGER Petr a VOJNAR Tomáš. Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. FIT-TR-2011-02, Brno: Fakulta informačních technologií VUT v Brně, 2011. Detail

2010

  • ABDULLA Parosh A., CLEMENTE Lorenzo, HOLÍK Lukáš, HONG Chih-Duo, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 6174. Berlín: Springer Verlag, 2010, s. 132-147. ISBN 978-3-642-14294-9. Detail
  • ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 6015. Berlín: Springer Verlag, 2010, s. 158-174. ISBN 978-3-642-12001-5. Detail
Produkty

2011

  • Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
    Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Vojnar Tomáš Detail

2010

  • Forester: Nástroj pro verifikaci programů s ukazateli, software, 2010
    Autoři: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš Detail
  • libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty, software, 2010
    Autoři: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš Detail
  • Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
    Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš Detail
  • Nástroj pro verifikaci systémů popsaných formalismem Modechart, software, 2010
    Autoři: Gach Marek, Fiedor Jan, Češka Milan Detail
  • Nástroj pro verifikaci systémů specifikovaných jazykem RT-Logiky, software, 2010
    Autoři: Fiedor Jan, Gach Marek, Češka Milan Detail

2009

  • FLATA, software, 2009
    Autoři: Konečný Filip, Vojnar Tomáš, Bozga Marius, Iosif Radu Detail
  • Nástroj pro výpočet simulací, software, 2009
    Autoři: Holík Lukáš, Šimáček Jiří, Vojnar Tomáš Detail
Nahoru