Přístupnostní navigace
E-application
Search Search Close
Project detail
Duration: 01.06.2024 — 31.05.2027
Funding resources
Evropská unie - HORIZON EUROPE
- whole funder (2024-06-01 - 2027-05-31)
On the project
VASSAL project focuses on leveraging the scientific excellence and innovation capacity of the consortium in the field of software engineering to support safety and security of digitised economies and societies. The key objective is to bring together expertise of the consortium in specific domains to enhance and create a new knowledge for robust and resilient SW engineering through scientific strategy combining model-based design, formal methods and economics for source-codes and systems. As SW becomes more complex, ensuring its safety and security (vulnerabilities free) becomes increasingly challenging and vital, not only in safety-critical systems but across various operation systems and IoT as well. Formal methods and model-based design are taking an increasingly significant role, building upon its already widespread use in safety-critical applications, such as automotive or aerospace. As basic building blocks in engineering process, they enable to build robust and resilient SW and HW systems (security-/safe-by-design) ensuring the reliability and correctness, leveraging cybersecurity, and improving the development life-cycle, that lead to savings in operational costs of systems. The economic assessment and implications of advanced SW engineering tools are not commonly available. VASSAL will deliver a rare opportunity to explore and document the potential benefits of and challenges in deployment in order to leverage the awareness and make inroads to broader exploitation by end-users (especially SMEs) in segments, where these issues are being overlooked due to the alleged non-returnability of the investment.
Description in CzechProjekt VASSAL se zaměřuje na využití vědecké excelence a inovační kapacity konsorcia v oblasti softwarového inženýrství k podpoře bezpečnosti a zabezpečení digitalizovaných ekonomik a společností. Klíčovým cílem je spojit odborné znalosti konsorcia v konkrétních oblastech za účelem posílení a vytvoření nových znalostí pro robustní a odolné SW inženýrství prostřednictvím vědecké strategie kombinující návrh založený na modelu, formální metody a ekonomiku pro zdrojové kódy a systémy. Jak se SW stává složitějším, zajištění jeho bezpečnosti a zabezpečení (bez zranitelností) je stále náročnější a životnější, a to nejen v systémech kritických pro bezpečnost, ale i v různých operačních systémech a také v IoT. Formální metody a design založený na modelech hrají stále významnější roli a staví na jejich již rozšířeném použití v aplikacích kritických z hlediska bezpečnosti, jako je automobilový průmysl nebo letecký průmysl. Jako základní stavební kameny v inženýrském procesu umožňují vybudovat robustní a odolné SW a HW systémy (security-/safe-by-design) zajišťující spolehlivost a správnost, využívající kybernetickou bezpečnost a zlepšování životního cyklu vývoje, které vedou k úsporám. v provozních nákladech systémů. Ekonomické posouzení a důsledky pokročilých nástrojů SW inženýrství nejsou běžně dostupné. VASSAL poskytne vzácnou příležitost prozkoumat a zdokumentovat potenciální přínosy a výzvy při zavádění s cílem zvýšit povědomí a proniknout k širšímu využití ze strany koncových uživatelů (zejména malých a středních podniků) v segmentech, kde jsou tyto problémy přehlíženy z důvodu údajné nenávratnosti investice.
KeywordsFormal methods, model-based-design, safety and security of software, economics of software tools, software engineering
Mark
SEP-210979090
Default language
English
People responsible
Andriushchenko Roman, Ing. - fellow researcherBobalová Martina, Mgr., Ph.D. - fellow researcherDacík Tomáš, Ing. - fellow researcherDoskočil Radek, doc. Ing., Ph.D., MSc - fellow researcherFiedor Jan, Ing., Ph.D. - fellow researcherJírovec Martin, Ing. - fellow researcherKaras Michal, doc. Ing., Ph.D. - fellow researcherKřena Bohuslav, Ing., Ph.D. - fellow researcherLengál Ondřej, Ing., Ph.D. - fellow researcherLuhan Jan, Ing., Ph.D., MSc - fellow researcherNovotná Veronika, doc. Mgr., Ph.D. - fellow researcherŠiráňová Lenka, Ing., Ph.D. - fellow researcherVeselá Sára, Ing. - fellow researcherVojnar Tomáš, prof. Ing., Ph.D. - fellow researcherŽižka Josef, Ing. - fellow researcherČeška Milan, doc. RNDr., Ph.D. - principal person responsible
Units
Department of Intelligent Systems- beneficiary (2023-09-25 - 2027-05-31)Faculty of Business and Management- co-beneficiary (2023-09-25 - 2027-05-31)French Alternative Energies and Atomic Energy Commission- co-beneficiary (2023-09-25 - 2027-05-31)The Pennsylvania State University- co-beneficiary (2023-09-25 - 2027-05-31)Vienna University of Technology- co-beneficiary (2023-09-25 - 2027-05-31)