Verification and Analysis for Safety and Security of Applications in Life

grant

Formal methods, model-based-design, safety and security of software, economics of
software tools, software engineering

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.

Češka Milan, doc. RNDr., Ph.D. (DITS) – research leader
Andriushchenko Roman, Ing. (DITS)
Bobalová Martina, Mgr., Ph.D. (ÚI)
Dacík Tomáš, Ing. (DITS)
Doskočil Radek, doc. Ing., Ph.D., MSc (ÚI)
Fiedor Jan, Ing., Ph.D. (DITS)
Jírovec Martin, Ing. (DFIT-Dean)
Karas Michal, doc. Ing., Ph.D. (ÚF)
Křena Bohuslav, Ing., Ph.D. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)
Luhan Jan, Ing., Ph.D., MSc (ÚI)
Novotná Veronika, doc. Mgr., Ph.D. (ÚI)
Širáňová Lenka, Ing., Ph.D. (ÚI)
Veselá Sára, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Žižka Josef, Ing. (DCGM)