Project detail
AQUAS: Aggregated Quality Assurance for Systems
Duration: 1.5.2017 — 30.4.2020
Funding resources
Ministerstvo školství, mládeže a tělovýchovy ČR - Společná technologická iniciativa ECSEL
Evropská unie - Horizon 2020
On the project
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.
Description in Czech
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ů.
Keywords
Co-engineering, System evolution, System Integration, Safety, Security,
Performance, Complexity, Certification, Standards, Product Life-cycle,
Traceability
Mark
737475
Default language
English
People responsible
Robinson Charles - principal person responsible
Barabas Maroš, Ing., Ph.D. - fellow researcher
Hanáček Petr, doc. Dr. Ing. - fellow researcher
Hrubý Martin, Ing., Ph.D. - fellow researcher
Křena Bohuslav, Ing., Ph.D. - fellow researcher
Lengál Ondřej, Ing., Ph.D. - fellow researcher
Smrčka Aleš, Ing., Ph.D. - fellow researcher
Zemčík Pavel, prof. Dr. Ing., dr. h. c. - fellow researcher
Units
Department of Intelligent Systems
- responsible department (6.5.2015 - not assigned)
Department of Intelligent Systems
- responsible department (9.7.2020 - not assigned)
Automated Analysis and Verification Research Group - VeriFIT
- internal (6.5.2015 - 30.6.2020)
Department of Computer Graphics and Multimedia
- co-beneficiary (6.5.2015 - 30.6.2020)
Department of Intelligent Systems
- co-beneficiary (6.5.2015 - 30.6.2020)
Thales Research & Technology France
- co-beneficiary (6.5.2015 - 30.6.2020)
Thales Alenia Space Espana
- beneficiary (6.5.2015 - 30.6.2020)
Results
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
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
HRUBÝ, M.: AnPaSim; AnPaSim v1. ZDE. URL: https://www.fit.vut.cz/research/product/680/. (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
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
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
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.; KLÍMA, O. JPEG 2000: Guide for Digital Libraries. Digital Library Perspectives, 2020, vol. 36, no. 3, p. 249-263. ISSN: 2059-5816.
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
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
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
Link
Responsibility: Robinson Charles