Department of Computer Graphics and Multimedia

AQUAS: Aggregated Quality Assurance for Systems

Czech title:AQUAS: Agregované metody řízení kvality
Reseach leader:Robinson Charles (Thales Research), Vojnar Tomáš
Team members:Barabas Maroš, Hanáček Petr, Hrubý Martin, Křena Bohuslav, Lengál Ondřej, Smrčka Aleš, Zemčík Pavel
Agency:ECSEL Joint Undertaking - Horizon 2020
Code:8A17001, 737475
Keywords:Co-engineering, System evolution, System Integration, Safety, Security, Performance, Complexity, Certification, Standards, Product Life-cycle, Traceability
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.


2018MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
Authors: Holík Lukáš, Turoňová Lenka, Vojnar Tomáš


2017HOMOLIAK Ivan, 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. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]