Detail projektu
Automatická analýza a verifikace transakčních pamětí
Období řešení: 1. 1. 2014 - 31. 12. 2014
Typ projektu: grant
Kód: LD14001
Agentura: COST, European Cooperation in Science and Technology
Program: COST CZ (2011-2017)
transakční paměti, paralelní programy, chyby v synchronizaci, monitorování programů, testování programů, statická a dynamická analýza programů, vkládání šumu
Cílem projektu je navrhnout efektivní metody automatizovaného testování a analýzy paralelních programů využívajících novou a vysoce perspektivní technologii transakčních pamětí. Výzkum vedoucí k tomuto cíli bude realizován v koordinaci s COST akcí IC1001. Projekt se soustředí na návrh algoritmů vhodných pro detekci chyb specifických pro programy s transakční pamětí, konkrétně na chyby vznikající při vzájemné interakci mezi jednotlivými transakcemi a na chyby vznikající při interakci transakcí s jinými synchronizačními mechanismy. Jako základ pro testování a analýzu programů využívajících transakční paměti budou vyvinuty metody pro monitorování těchto programů, jež minimálně ovlivní jejich původní chování, ale přesto budou schopny poskytnout přesné informace o jejich běhu. Vysoké efektivity studovaných metod pro testování a analýzu programů využívajících transakční paměti bude dosaženo návrhem jejich kombinace s technikami pro vkládání šumu, které zvýší pravděpodobnost nalezení chyb v analyzovaných programech.
Dudka Vendula, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
2015
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2015, s. 177-178. ISBN 978-84-606-5438-4. Detail
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Lecture Notes in Computer Science, roč. 9520. Heidelberg: Springer Verlag, 2015, s. 555-564. ISBN 978-3-319-27339-6. Detail
- FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao a VOJNAR Tomáš. On Monitoring C/C++ Transactional Memory Programs. In: Proceedings of MEMICS'14. Lecture Notes in Computer Science, roč. 8934. Heidelberg: Springer Verlag, 2015, s. 73-87. ISBN 978-3-319-14895-3. Detail