|
|
| |
 |
 |
| |
Instytut Podstaw Informatyki PAN
laureatem konkursu
Jakość Roku 2010
|
|
|
|
| |
Kapituła programu przyznała tytuł Jakość Roku 2010
Instytutowi Podstaw Informatyki PAN w kategorii projekty badawcze
za system VerICS.
|
|
|
|
| |
VerICS
jest oryginalnym produktem
IPI PAN,
który został opracowany i zaimplementowany przez
zespół naukowców i programistów z IPI PAN
pod kierunkiem
prof. W. Penczka,
oraz ich współpracowników z polskich uczelni w Częstochowie,
Łodzi, Białymstoku, Siedlcach i Warszawie. VerICS jest narzędziem służącym do weryfikacji
poprawności systemów czasu rzeczywistego, systemów wielo-agentowych,
oraz systemów specyfikowanych w językach programowania, jak Estelle, Java, Promela i UML.
Główna oryginalność systemu polega na nowatorskim zastosowaniu metody
ograniczonej weryfikacji modelowej, polegającej na sprowadzeniu weryfikacji
do problemu testowania spełnialności formuł zdaniowych (SAT), opisujących model,
bądź jego fragment, oraz badaną własność, a następnie wykorzystaniu SAT-testerów.
Weryfikowane własności mogą być specyfikowane w językach logiki temporalnej
czasu rozgałęzionego (CTL), jej czasowej wersji (TCTL), lub rozszerzenia o operatory wiedzowe (CTLK).
Ponadto, najnowsza wersja systemu VerICS wspiera weryfikację parametryczną,
umożliwiającą szukanie parametrów modelu lub własności, które spełnią kryteria poprawności zadane w języku specyfikacji PRTECTL.
System VerICS stanowi konkurencję dla zagranicznych systemów weryfikacyjnych,
obecnych na rynku, takich jak: UppAl, KRONOS, MCMAS, RED, Rabbit i inne.
|
|
|
|
| |
Zdjęcia z uroczystej Gali Finałowej:
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
|
