Detail projektu

AQUAS: Aggregated Quality Assurance for Systems

Období řešení: 01.05.2017 — 30.04.2020

Zdroje financování

Evropská unie - Horizon 2020

- plně financující (2017-05-01 - 2020-06-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)

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í

737475

Originální jazyk

angličtina

Řešitelé

Útvary

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

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

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

MLÝNEK, P.; FUJDIAK, R.; KŘENA, B.; MRNUŠTÍK, P.; APVRILLE, L. Co-Engineering Gap Analysis of ANSI/ISA‑62443‑3‑3. International Journal of Advances in Telecommunications, Electrotechnics, Signals and Systems, 2020, vol. 9, no. 1, p. 1-9. ISSN: 1805-5443.
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

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

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

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

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

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

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

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

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

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

PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: Looper 1.0; Looper: A Worst Case Cost Analyser, Version 1.0. https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. URL: https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip. (software)
Detail

HARMIM, D.; VOJNAR, T.: Atomer 1.0; Atomer: Atomicity Violations Analyser, Version 1.0. https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz. URL: https://github.com/harmim/vut-ibt/raw/master/atomer-v1.0.tgz. (software)
Detail

MARCIN, V.; VOJNAR, T.: L2D2 1.0; L2D2: A Low Level Deadlock Detector, Version 1.0. https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131. URL: https://pajda.fit.vutbr.cz/xmarci10/fbinfer_concurrency/-/tree/c533ea95e8a9a222ee6b9040e104e7ce2d27b131. (software)
Detail

HRUBÝ, M.: AnPaSim; Anesteziologický model pacienta. ZDE. (software)
Detail

HOLÍK, L.; HOLÍKOVÁ, 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

VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: OSLC ANaConDA 1.0; OSLC ANaConDA Adapter, Version 1.0. http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (software)
Detail

FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: ANaConDA 0.4; ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (software)
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

FIEDOR, T.; PAVELA, J.; PODOLA, R.; STUPINSKÝ, Š.; LIŠČINSKÝ, M.; ROGALEWICZ, A.; VOJNAR, T.: Perun 0.18.3; Perun: Lightweight Performance Version System, Version 0.18.3. https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. URL: https://github.com/tfiedor/perun/archive/0.18.3-hotfix2.zip. (software)
Detail

Odkaz