DZIEKAN I RADA WYDZIAŁU ELEKTROTECHNIKI, AUTOMATYKI, INFORMATYKI I ELEKTRONIKI AKADEMII GÓRNICZO-HUTNICZEJ im. S. STASZICA W KRAKOWIE |
---|
zapraszają na publiczną dyskusję nad rozprawą doktorską mgr inż. Piotra Matyasika |
Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS |
Dyskusja odbędzie się 28 października 2009 roku o godz. 10:00 w sali 015 al. Mickiewicza 30, pawilon B-1 |
PROMOTOR: dr hab. Marcin Szpyrka |
RECENZENCI: Prof. dr hab. inż. Zbigniew Huzar, Politechnika Wrocławska |
Prof. dr hab. inż. Antoni Ligęza, Akademia Górniczo-Hutnicza |
Z rozprawą doktorską i opiniami recenzentów można się zapoznać w Czytelni Biblioteki Głównej AGH, al. Mickiewicza 30 |
Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS
mgr inż. Piotr Matyasik
Promotor: dr hab. Marcin Szpyrka
W rozprawie przedstawiono algebraiczno-graficzny język modelowania XCCS oparty na algebrach procesów CCS. Język ten, będący rozszerzeniem algebr CCS i pozwalający automatycznie uzyskiwać równoważne modele zapisane w algebrze CCS, został opracowany przede wszystkim do modelowania i weryfikacji dynamiki systemów wbudowanych. Poza opisem algebry CCS oraz algebry XCCS zarówno w wersji elementarnej jak i rozszerzonej (z przesyłaniem danych) w pracy podjęto próbę pokazania praktycznego aspektu zastosowania wprowadzonego języka modelowania. Opisano zaimplementowane narzędzia wspierające modelowanie z użyciem XCCS oraz pokazano przykład zastosowania XCCS do modelowania sterowania robotem kroczącym Hexor II.
Pełna wersja autoreferatu autoreferat.pdf