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
Andriushchenko Roman, Ing. (UITS FIT VUT)
Bobalová Martina, Mgr., Ph.D. (UI FP VUT)
Dacík Tomáš, Ing. (UITS FIT VUT)
Doskočil Radek, Doc. Ing., Ph.D., MSc (UI FP VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Hudák David, Ing. (UITS FIT VUT)
Jírovec Martin, Ing. (Děkanát FIT VUT)
Karas Michal, Ing., Ph.D. (FP VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Luhan Jan, Ing., Ph.D. MSc (UM FP VUT)
Macák Filip, Ing. (UITS FIT VUT)
Novotná Veronika, Doc. Mgr., Ph.D. (UI FP VUT)
Širáňová Lenka, Ing., Ph.D. (UI FP VUT)
Valko Roderik, MSc (UITS FIT VUT)
Veselá Sára, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Žižka Josef, Ing. (UPGM FIT VUT)