| DZIEKAN i RADA WYDZIAŁU ELEKTROTECHNIKI, AUTOMATYKI, INFORMATYKI i ELEKTRONIKI AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE |
|---|
| zapraszają na publiczną dyskusję nad rozprawą doktorską mgr inż. Rafała Brzuchacza |
| ZASTOSOWANIE JĘZYKA LOTOS W PRZYROSTOWYM PROCESIE TWORZENIA OPROGRAMOWANIA SYSTEMÓW WBUDOWANYCH |
| dyskusja odbędzie się 17 listopada 2010 r. o godz. 10:00 w bud. B-1 s.4 Al. Mickiewicza 30, 30-059 Kraków |
| PROMOTOR: Prof. dr hab. inż. Tomasz Szmuc - Akademia Górniczo-Hutnicza |
| RECENZENCI: Prof. dr hab. inż. Zbigniew Huzar – Politechnika Wrocławska |
| Dr hab. Leszek Kotulski, prof. nadzw. AGH - Akademia Górniczo-Hutnicza |
| Z rozprawą doktorską i opiniami recenzentów można się zapoznać w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30 |
ZASTOSOWANIE JĘZYKA LOTOS W PRZYROSTOWYM PROCESIE TWORZENIA OPROGRAMOWANIA SYSTEMÓW WBUDOWANYCH
mgr inż. Rafał Brzuchacz
Promotor: Prof. dr hab. inż. Tomasz Szmuc - Akademia Górniczo-Hutnicza
Dyscyplina: Informatyka
W rozprawie zaprezentowano metodę budowy oprogramowania systemów wbudowanych charakteryzującą się systematyczną analizą poprawności z zastosowaniem metody formalnej. Rosnąca złożoność oprogramowania tego typu, oraz występowanie współbieżności, skłaniają do zastosowania zaawansowanych metod konstrukcji już we wczesnych etapach cyklu życia aplikacji. Przedstawione w pracy podejście opiera się na wykorzystaniu istniejącej metody formalnej, języka LOTOS, w przyrostowym i zorientowanym obiektowo procesie tworzenia systemów wbudowanych. Zastosowanie proponowanej metody specyfikowania zachowania na poziomie analizy wymagań i projektu architektury pozwala zapewnić pożądany stopień spójności opisu systemu. Spójność opisu tworzonego we wczesnych fazach cyklu życia jest warunkiem koniecznym zgodności oprogramowania ze specyfikacją, co decyduje o wysokiej jakości docelowej aplikacji.
Pełna wersja autoreferatu autoreferat.pdf.