Przegląd Elektrotechniczny

Najstarsze czasopismo elektryków polskich. Ukazuje się od 1919 roku.

strona w języku polskim english page



Numer: 12a/2011 Str. 47

Autorzy: Iwona Grobelna :

Tytuł: Formalna weryfikacja specyfikacji wbudowanych sterowników logicznych z wykorzystaniem wnioskowania komputerowego w logice temporalnej

Streszczenie: Artykuł przedstawia nowatorskie podejście do formalnej weryfikacji specyfikacji sterownika logicznego. Zaproponowany został regułowy model logiczny, który jest dogodny zarówno do formalnej weryfikacji (weryfikacja modelowa w narzędziu NuSMV), jak również do syntezy logicznej (z użyciem języku opisu sprzętu VHDL). Program sterownika logicznego (jego implementacja) będzie zatem poprawny względem początkowej specyfikacji.

Słowa kluczowe: formalna weryfikacja, wbudowane sterowniki logiczne, logika temporalna.

wstecz