Detail projektu

AQUAS: Aggregated Quality Assurance for Systems

Období řešení: 1. 5. 2017 – 30. 4. 2020

Typ projektu: grant

Kód: 8A17001, 737475

Agentura: Evropská unie

Program: Horizon 2020

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

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

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 (FIT) – hlavní řešitel
Barabas Maroš, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (UITS)
Hrubý Martin, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Lengál Ondřej, doc. Ing., Ph.D. (UITS)
Smrčka Aleš, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (UPGM)
Publikační výsledky

2022

  • BAŘINA, D.; ŠOLONY, M.; CHLUBNA, T.; DLABAJA, D.; KLÍMA, O.; ZEMČÍK, P. Comparison of light field compression methods. MULTIMEDIA TOOLS AND APPLICATIONS, 2022, vol. 81, no. 2, p. 2517-2528. ISSN: 1573-7721. Detail

2021

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

2020

  • BAŘINA, D.; KLÍMA, O. JPEG 2000: Guide for Digital Libraries. Digital Library Perspectives, 2020, vol. 36, no. 3, p. 249-263. ISSN: 2059-5816. Detail
  • HRUBÝ, M.; GONZÁLES, A.; RUIZ NOLASCO, R.; SHARMAN, K.; SÁEZ, S. Simulation Infrastructure for Automated Anesthesia During Operations. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020. p. 474-481. ISBN: 978-3-030-45092-2. Detail

2019

  • HARTEL, P.; HOMOLIAK, I.; REIJSBERGEN, D. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, 2019, vol. 07, no. 12, p. 177539-177555. ISSN: 2169-3536. Detail
  • HOMOLIAK, I.; TOFFALINI, F.; GUARNIZO, J.; ELOVICI, Y.; OCHOA, M. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, 2019, vol. 52, no. 2, p. 1-40. ISSN: 0360-0300. Detail
  • POMANTE, L.; MUTTILLO, V.; KŘENA, B.; VOJNAR, T.; VELJKOVIĆ, F.; MAGNIN, P.; MATSCHNIG, M.; FISCHER, B.; MARTINEZ, J.; GRUBER, T. The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. MICROPROCESSORS AND MICROSYSTEMS, 2019, vol. 2019, no. 69, p. 54-67. ISSN: 0141-9331. Detail

2018

  • HOMOLIAK, I.; TEKNŐS, M.; BREITENBACHER, D.; HANÁČEK, P. Improving Network Intrusion Detection Classifiers by Non-Payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. EAI Endorsed Transactions on Security and Safety, 2018, vol. 5, no. 17, p. 1-15. ISSN: 2032-9393. Detail
  • LOURENCO, J.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. Discovering Concurrency Errors. In Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018. p. 34-60. ISBN: 978-3-319-75632-5. Detail
  • VOJNAR, T.; POMANTE, L.; KŘENA, B.; VELJKOVIĆ, F.; MAGNIN, P. The AQUAS ECSEL Project. In Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018. p. 592-599. ISBN: 978-1-5386-7376-8. Detail

2017

  • HOMOLIAK, I.; TEKNŐS, M.; BARABAS, M.; HANÁČEK, P. 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. p. 770-773. ISBN: 978-3-319-59607-5. Detail
  • KOZÁK, D.; KŘENA, B.; ŠIMKOVÁ, H.; VOJNAR, T. 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. p. 25-25. Detail
Aplikované výsledky

2020

2019

2018

Nahoru