Model Checking of Control-User Component-Based Parametrised Systems

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Ověřování parametrizovaných komponentových systémú
Autoři	MORAVCOVÁ VAŘEKOVÁ Pavlína ČERNÁ Ivana
Rok publikování	2008
Druh	Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Mnohé komponentové systémy mají specifickou architekturu. Skládají se z fixní řídící části a (libovolného počtu) uživatelských komponent. Modely takových systémú jsou parametrizovány počtem uživatelských komponent a tedy potenciálně nekonečné. Ověřování je možné pro specifické instance systémů. Článek popisuje algoritmy pro verifikace vlasností bezpečnosti pro systémy vykazující symetrické chování.
Související projekty:	Realistická aplikace formálních metod v komponentových systémech