AQUAS: Aggregated Quality Assurance for Systems

Czech title:AQUAS: Agregované metody řízení kvality
Reseach leader:Robinson Charles (Thales Research)
Team members:Barabas Maroš, Hanáček Petr, Hrubý Martin, Křena Bohuslav, Lengál Ondřej, Smrčka Aleš, Vojnar Tomáš, 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áš
 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
 Sloth: An SMT Solver for String Constraints, software, 2018
Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, 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]