Browsing by Subject "oprogramowanie - rozwój"
Now showing 1 - 1 of 1
- Results Per Page
- Sort Options
Item type:Doctoral Dissertation, Access status: Restricted , Zastosowanie języka LOTOS do wspomagania wytwarzania poprawnego oprogramowania systemów reaktywnych(Data obrony: 2005) Rogus, Grzegorz
Wydział Elektrotechniki, Automatyki, Informatyki i ElektronikiCelem pracy jest opracowanie praktycznych metod systematycznego konstruowania poprawnych, modularnych i dobrze opisanych systemów oprogramowania. Praca koncentruje się na pewnej klasie systemów tzw. systemach reaktywnych. Jako główna notacja w projektowaniu został zastosowany język SDL. Zaproponowane podejście używa języka LOTOS do wspomagania formalnego głównego nurtu projektowania. Dla modeli systemu w różnych fazach projektowych generowanych jest model formalny. Model ten podlega nastęnie weryfikacji, której wynikiem jest informacja dla projektanta o poprawności budowanego systemu. Równoległy model formalny zastosowano jako wynik prac w fazie analizy wymagań, a następnie po raz drugi sięgnięto po wspomaganie formalne po skonstruowaniu całościowego modelu w SDL (model gotowy do implementacji). Zastosowanie wspomagania formalnego ma na celu kontrolę poprawności procesu projektowego. Kontrola wykonywana jest poprzez weryfikację kluczowych aspektów budowanego systemu. Zaproponowana w pracy koncepcja weryfikacji opiera się na badaniu wybranych relacji równoważności pomiędzy modelami formalnymi wygenerowanymi w różnych fazach konstrukcji systemu.