Informace o publikaci
Model Checking of Control-User Component-Based Parametrised Systems
| Název česky | Ověřování parametrizovaných komponentových systémú |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.) |
| Fakulta / Pracoviště MU | |
| 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: |