Verification and Analysis for Safety and Security of Applications in Life

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.