Detail projektu

AQUAS: Aggregated Quality Assurance for Systems

Období řešení: 01.05.2017 — 30.04.2020

O projektu

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.

Popis česky
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ů.

Klíčová slova
Co-engineering, System evolution, System Integration, Safety, Security, Performance, Complexity, Certification, Standards, Product Life-cycle, Traceability

Označení

8A17001

Originální jazyk

angličtina

Řešitelé

Robinson Charles
- hlavní řešitel (01.05.2017 - 30.04.2020)
Barabas Maroš, Ing., Ph.D.
- spoluřešitel (01.05.2017 - 30.04.2020)
Hanáček Petr, doc. Dr. Ing.
- spoluřešitel (01.05.2017 - 30.04.2020)
Hrubý Martin, Ing., Ph.D.
- spoluřešitel (01.05.2017 - 30.04.2020)
Křena Bohuslav, Ing., Ph.D.
- spoluřešitel (01.05.2017 - 30.04.2020)
Lengál Ondřej, Ing., Ph.D.
- spoluřešitel (01.05.2017 - 30.04.2020)
Smrčka Aleš, Ing., Ph.D.
- spoluřešitel (01.05.2017 - 30.04.2020)
Zemčík Pavel, prof. Dr. Ing.
- spoluřešitel (01.05.2017 - 30.04.2020)

Útvary

Ústav inteligentních systémů
- spolupříjemce (06.05.2015 - 30.04.2020)
Thales Research & Technology France
- spolupříjemce (06.05.2015 - 30.04.2020)
Ústav počítačové grafiky a multimédií
- spolupříjemce (06.05.2015 - 30.04.2020)

Zdroje financování

Evropská unie - Horizon 2020
- plně financující (2017-05-01 - 2020-04-30)
Ministerstvo školství, mládeže a tělovýchovy ČR - Společná technologická iniciativa ECSEL
- plně financující (2017-05-01 - 2020-04-30)

Výsledky

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

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

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

FUJDIAK, R.; MLÝNEK, P.; BLAŽEK, P.; BARABAS, M.; MRNUŠTÍK, P. Seeking the Relation between Performance and Security in Modern Systems: Metrics and Measures. In 41st International Conference on Telecommunications and Signal Processing (TSP). International Conference on Telecommunications and Signal Processing (TSP). 2018. p. 288-293. ISBN: 978-1-5386-4695-3. ISSN: 1805-5435.
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

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

POMANTE, L.; KŘENA, B.; VOJNAR, T.; 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

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: sloth; Sloth: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/sloth/ (http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/) a https://github.com/uuverifiers/sloth. URL: https://www.fit.vut.cz/research/product/563/. (software)
Detail

FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: ranger; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/ranger/ a https://pajda.fit.vutbr.cz/ifiedortom/forester-resource-bounds. URL: https://www.fit.vut.cz/research/product/562/. (software)
Detail

HOLÍK, L.; TUROŇOVÁ, L.; VOJNAR, T.: mina; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/. URL: https://www.fit.vut.cz/research/product/559/. (software)
Detail

Odkaz