\\

^   **DZIEKAN i RADA WYDZIAŁU**    \\    **INFORMATYKI, ELEKTRONIKI I TELEKOMUNIKACJI**    \\    **AKADEMII GÓRNICZO-HUTNICZEJ im. ST. STASZICA W KRAKOWIE**   ^^
|   zapraszają na    \\    publiczą dyskusję nad rozprawą doktorską    \\      \\   //mgr inż. Piotra Nikiela//      \\                 ||
|  ** Automating software development for distributed control systems with the OPC UA standard **  ||
^  Termin:|22 grudnia 2022 roku o godz. 9:30  |
^  Miejsce:|Obrona zdalna|
^  **PROMOTOR:**| Dr hab. inż. Krzysztof Korcyl, IFJ PAN  |
^  ** RECENZENCI:**| Dr hab. inż. Paweł Czarnul, Politechnika Gdańska  |
^  **            **| Prof. dr hab. inż. Roman Wyrzykowski, Politechnika Częstochowska  |
|  Z rozprawą doktorską i opiniami recenzentów można się zapoznać \\ w Czytelni   Biblioteki Głównej AGH, al. Mickiewicza 30  ||


\\


=== Automating software development for distributed control systems with the OPC UA standard ===

Rozwój technologii informacyjnych i elektroniki pozwala na budowę systemów sterowania o niespotykanej dotąd wielkości (rozumianej jako np. liczba zmiennych procesowych), złożoności a także wymaganiach na niezawodność, możliwość rozbudowy itp.

  
Technologia OPC UA (OPC Unified Architecture) jest jedną ze współczesnych możliwości wymiany informacji między węzłami rozproszonego systemu sterowania. OPC UA pozwala łączyć ze sobą węzły homogeniczne jak i heterogeniczne, różniące się rodzajami produkowanych i konsumowanych danych, złożonością, stopniem zaawansowania i nie tylko.

Technologia OPC UA nie definiuje sposobu, w jaki może zostać stworzone oprogramowanie węzła takiego systemu sterowania.

Zadania tego podjął się autor dysertacji o następującej tezie:


Automatyzacja tworzenia oprogramawania zgodnie z modelowaniem informacji standardu OPC UA umożliwia zachowanie spójności systemów oraz generuje oszczędności kosztu tworzenia oprogramowania w wielowęzłowych, heterogenicznych złożonych systemach sterowania o długim okresie pracy.

W ramach dysertacji autor:

  * dokonał analizy systemów jak powyżej i przedstawił ograniczenia możliwej architektury a także ich poszukiwanych właściwości
  * zaproponował konkretną architekturą ujednolicającą oprogramowanie takich systemów
  * zaproponował metodę tworzenia takiego oprogramowania
  * zaproponował notację wspomagającą modelowanie węzłów systemów a także jej binarny format
  * zaproponował framework wspomagający pracę projektantów oprogramowania który tworzy (generuje) kod źródłowy oprogramowania jak powyżej na podstawie notacji
  * wykorzystał ww. framework do syntezy wielu komponentów oprogramowania systemów sterowania, z których większość jest od 2015 roku wdrażana w systemach sterowania eksperymentami przy akceleratorze LHC w CERN (Genewa, CH)
  * dokonał pomiarów różnych aspektów tworzenia oprogramowania wedle wykazanej metody wyznaczając rozmaite metryki oraz określąc stopień automatyzacji pracy twórców oprogramowania przy użyciu proponowanej metody
  * wykazał jakościowe zalety stosowania metody