W rozprawie przedstawiono algebraiczno-graficzny język

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, zarówno w wersji elementarnej
jak i rozszerzonej (z przesyłaniem danych) oraz algebry XCCS, 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.
Design and analysis of embedded systems with XCCS process algebra.
In dissertation an algebraic/visual modeling language XCCS based on CCS was
introduced, both elementary and extended version (with value passing). This language is
an extension of CCS algebras and can be automatically transformed to CCS model.
Presented language was designed for modeling and verification of embedded systems.
Dissertation consists of CSS and XCCS algebras description, both basic and value
passing extended versions. Moreover the Inez software is presented which is a tool for
editing and transforming XCCS models. Last part of a dissertation is a practical
application of presented methods and tools. An internal controller of the Hexor II robot
is modeled and verified. Also an example implementation based on developed model is
introduced.