====== Rafał Brzuchacz ======

==== Zaproszenie na obronę pracy doktorskiej ====

^   **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  |

\\
\\
==== Streszczenie ====

** 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.  
----
\\
==== Autoreferat ====


 **Pełna wersja autoreferatu**  {{:2010:brzuchacz:autoreferat.pdf|}}.

\\



==== Ważniejsze publikacje dokotoranta ====

  - Brzuchacz R.: Zastosowanie języka LOTOS do modelowania wybranych struktur metody HOOD. Elektrotechnika i Elektronika: półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie, t. 25 z. 1 s. 1–9. Kraków, 2006 
  - Brzuchacz R., Basiura A.: Zastosowanie platformy HP Open View Service Activator do budowy systemów klasy Service Provisioning. SCR'06, XIII Konferencja SYSTEMY CZASU RZECZYWISTEGO, Ustroń, 11-14 września 2006 r. 

----