Verification and Analysis for Safety and Security of Applications in Life

grant

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 FIT VUT) , hlavní řešitel
Bobalová Martina, Mgr., Ph.D. (UI FP VUT)
Doskočil Radek, Doc. Ing., Ph.D., MSc (UI FP VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Jírovec Martin, Ing. (Děkanát FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Luhan Jan, Ing., Ph.D. MSc (UM FP VUT)
Novotná Veronika, Doc. Mgr., Ph.D. (UI FP VUT)
Širáňová Lenka, Ing., Ph.D. (UI FP VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)