Detail projektu

AQUAS: Aggregated Quality Assurance for Systems

Období řešení: 1. 5. 2017 - 30. 6. 2020

Typ projektu: grant

Kód: 8A17001, 737475

Agentura: ECSEL Joint Undertaking

Program: Společná technologická iniciativa ECSEL

Název česky
AQUAS: Agregované metody řízení kvality
Typ
grant
Abstrakt

Projekt se zaměřuje na vývoj metod a nástrojů pro agregované řízení kvality pokrývající spolehlivost, bezpečnost i výkonnost počítačem řízených systémů. V projektu vyvíjené metody a nástroje budou ověřovány na případových studiích z oblasti letectví, kosmické techniky, automobilového průmyslu, vlaků a medicínských přístrojů.

Řešitelé
Robinson Charles, Dr. (Thales Research) , hlavní řešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Barabas Maroš, Ing., Ph.D. (UITS FIT VUT)
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Zemčík Pavel, prof. Dr. Ing. (UPGM FIT VUT)
Publikace

2022

  • BAŘINA David, ŠOLONY Marek, CHLUBNA Tomáš, DLABAJA Drahomír, KLÍMA Ondřej a ZEMČÍK Pavel. Comparison of light field compression methods. Multimedia Tools and Applications, roč. 81, č. 2, 2022, s. 2517-2528. ISSN 1573-7721. Detail

2021

  • BAŘINA David. Real-time wavelet transform for infinite image strips. Journal of Real-Time Image Processing, roč. 18, č. 3, 2021, s. 585-591. ISSN 1861-8200. Detail

2020

  • BAŘINA David a KLÍMA Ondřej. JPEG 2000: Guide for Digital Libraries. Digital Library Perspectives, roč. 36, č. 3, 2020, s. 249-263. ISSN 2059-5816. Detail
  • HRUBÝ Martin, GONZÁLES Antonio, RUIZ Nolasco Ricardo, SHARMAN Ken a SÁEZ Sergio. Simulation Infrastructure for Automated Anesthesia During Operations. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, roč. 12013. Cham: Springer Verlag, 2020, s. 474-481. ISBN 978-3-030-45092-2. Detail

2019

  • HARTEL Pieter H., HOMOLIAK Ivan a REIJSBERGEN Daniel. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, roč. 07, č. 12, 2019, s. 177539-177555. ISSN 2169-3536. Detail
  • HOMOLIAK Ivan, TOFFALINI Flavio, GUARNIZO Juan D., ELOVICI Yuval a OCHOA Martín. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, roč. 52, č. 2, 2019, s. 1-40. ISSN 0360-0300. Detail
  • FUJDIAK Radek, BLAŽEK Petr, APVRILLE Ludovic, MARTINÁSEK Zdeněk, MLÝNEK Petr, PACALET Redaud, SMÉKAL David, MRNUŠTÍK Pavel, BARABAS Maroš a ZOOR Maysam. Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle. In: Mediterranean Conference on Embedded Computing. New York: Institute of Electrical and Electronics Engineers, 2019, s. 92-97. ISBN 978-1-7281-1739-3. Detail
  • POMANTE Luigi, MUTTILLO Vittoriano, KŘENA Bohuslav, VOJNAR Tomáš, VELJKOVIĆ Filip, MAGNIN Pacôme, MATSCHNIG Martin, FISCHER Bernhard, MARTINEZ Jabier a GRUBER Thomas. The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocessors and Microsystems, roč. 2019, č. 69, s. 54-67. ISSN 0141-9331. Detail

2018

  • LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, s. 34-60. ISBN 978-3-319-75632-5. Detail
  • HOMOLIAK Ivan, TEKNŐS Martin, BREITENBACHER Dominik a HANÁČEK Petr. Improving Network Intrusion Detection Classifiers by Non-Payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. EAI Endorsed Transactions on Security and Safety, roč. 5, č. 17, 2018, s. 1-15. ISSN 2032-9393. Detail
  • VOJNAR Tomáš, POMANTE Luigi, KŘENA Bohuslav, VELJKOVIĆ Filip a MAGNIN Pacôme. The AQUAS ECSEL Project. In: Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018, s. 592-599. ISBN 978-1-5386-7376-8. Detail

2017

  • HOMOLIAK Ivan, TEKNŐS Martin, BARABAS Maroš a HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Guangzhou: Springer International Publishing, 2017, s. 770-773. ISBN 978-3-319-59607-5. Detail
  • KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017. Detail
Produkty

2020

  • ANaConDA: Prostředí pro analýzu vícevláknových C/C++ programů na binární úrovni, verze 0.4, software, 2020
    Autoři: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail
  • Anesteziologický model pacienta, software, 2020
    Autoři: Hrubý Martin Detail
  • Atomer: detektor porušení atomičnosti, verze 1.0, software, 2020
    Autoři: Harmim Dominik, Vojnar Tomáš Detail
  • L2D2: nízko-úrovňový detektor uváznutí, verze 1.0, software, 2020
    Autoři: Marcin Vladimír, Vojnar Tomáš Detail
  • Looper: analyzátor nejhorší ceny, verze 1.0, software, 2020
    Autoři: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam Detail
  • OSLC adaptér pro nástroj ANaConDA Adapter, verze 1.0, software, 2020
    Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail
  • Perun: Systém pro verzování výkonu, verze 0.18.3, software, 2020
    Autoři: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš Detail

2019

  • Pluginy pro statickou analýzu vyvíjené skupinou VeriFIT, software, 2019
    Autoři: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam Detail

2018

  • Lenochod - SMT solver pro řetězcová omezení, software, 2018
    Autoři: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš Detail
  • MINA: Nástroj pro verifikaci programů s neomezeným počtem vláken, software, 2018
    Autoři: Holík Lukáš, Holíková Lenka, Vojnar Tomáš Detail
  • Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou, software, 2018
    Autoři: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian Detail
Nahoru