Project Details

AQUAS: Aggregated Quality Assurance for Systems

Project Period: 1. 5. 2017 - 30. 6. 2020

Project Type: grant

Code: 8A17001, 737475

Agency: ECSEL Joint Undertaking

Program: Společná technologická iniciativa ECSEL

Czech title
AQUAS: Agregované metody řízení kvality
Type
grant
Keywords

Co-engineering, System evolution, System Integration, Safety, Security, Performance, Complexity, Certification, Standards, Product Life-cycle, Traceability

Abstract

The project targets development of methods and tools for aggregated quality assurance covering safety, security, as well as performance of computer-controlled systems. The methods and tools being developed in the project will be evaluated on case studies from the areas of aerospace, space, automotive, rail, as well as medical machines.

Team members
Robinson Charles, Dr. (Thales Research) , research leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader
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)
Publications

2022

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

2021

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

2020

  • BAŘINA David and KLÍMA Ondřej. JPEG 2000: Guide for Digital Libraries. Digital Library Perspectives, vol. 36, no. 3, 2020, pp. 249-263. ISSN 2059-5816. Detail
  • HRUBÝ Martin, GONZÁLES Antonio, RUIZ Nolasco Ricardo, SHARMAN Ken and 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, vol. 12013. Cham: Springer Verlag, 2020, pp. 474-481. ISBN 978-3-030-45092-2. Detail

2019

  • HARTEL Pieter H., HOMOLIAK Ivan and REIJSBERGEN Daniel. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, vol. 07, no. 12, 2019, pp. 177539-177555. ISSN 2169-3536. Detail
  • HOMOLIAK Ivan, TOFFALINI Flavio, GUARNIZO Juan D., ELOVICI Yuval and OCHOA Martín. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, vol. 52, no. 2, 2019, pp. 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š and 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, pp. 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 and GRUBER Thomas. The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocessors and Microsystems, vol. 2019, no. 69, pp. 54-67. ISSN 0141-9331. Detail

2018

  • LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and 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, pp. 34-60. ISBN 978-3-319-75632-5. Detail
  • HOMOLIAK Ivan, TEKNŐS Martin, BREITENBACHER Dominik and 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, vol. 5, no. 17, 2018, pp. 1-15. ISSN 2032-9393. Detail
  • VOJNAR Tomáš, POMANTE Luigi, KŘENA Bohuslav, VELJKOVIĆ Filip and 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, pp. 592-599. ISBN 978-1-5386-7376-8. Detail

2017

  • HOMOLIAK Ivan, TEKNŐS Martin, BARABAS Maroš and 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, pp. 770-773. ISBN 978-3-319-59607-5. Detail
  • KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and 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
Products

2020

  • ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software, 2020
    Authors: Fiedor Jan, Vašíček Ondřej, Mužikovská Monika, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail
  • Anestesiologic Model of Patient, software, 2020
    Authors: Hrubý Martin Detail
  • Atomer: Atomicity Violations Analyser, Version 1.0, software, 2020
    Authors: Harmim Dominik, Vojnar Tomáš Detail
  • L2D2: A Low Level Deadlock Detector, Version 1.0, software, 2020
    Authors: Marcin Vladimír, Vojnar Tomáš Detail
  • Looper: A Worst Case Cost Analyser, Version 1.0, software, 2020
    Authors: Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam Detail
  • OSLC ANaConDA Adapter, Version 1.0, software, 2020
    Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail
  • Perun: Lightweight Performance Version System, Version 0.18.3, software, 2020
    Authors: Fiedor Tomáš, Pavela Jiří, Podola Radim, Stupinský Šimon, Liščinský Matúš, Rogalewicz Adam, Vojnar Tomáš Detail

2019

  • VeriFIT Static Analysis Plugins, software, 2019
    Authors: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam Detail

2018

  • MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
    Authors: Holík Lukáš, Holíková Lenka, Vojnar Tomáš Detail
  • Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software, 2018
    Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian Detail
  • Sloth: An SMT Solver for String Constraints, software, 2018
    Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš Detail
Back to top