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

Projekt 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.

Češka Milan, doc. RNDr., Ph.D. (UITS) – hlavní řešitel
Andriushchenko Roman, Ing. (UITS)
Bobalová Martina, Mgr., Ph.D. (ÚI)
Dacík Tomáš, Ing. (UITS)
Doskočil Radek, doc. Ing., Ph.D., MSc (ÚI)
Fiedor Jan, Ing., Ph.D. (UITS)
Jírovec Martin, Ing. (DFIT-děkan)
Karas Michal, doc. Ing., Ph.D. (ÚF)
Křena Bohuslav, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
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. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Žižka Josef, Ing. (UPGM)