Modeling and Analysis of Concurrent Systems

Back to list BaDAP profile
Description
The team deals with the topics connected to modeling, formal analysis and verification of the parallel discrete systems, first of all the asynchronous embedded devices and systems and the real-time control systems. In the research work a wide range of the formal models is applied, including the finite and timed automata, graph models, classical Petri nts and various generalized nets, such as timed, colored, RTCP-nets, different kinds of interpreted Petri nets. The Alvis language, a formal language for modeling the parallel systems, is developed in the team.
Cooperation:
University of Stavanger, Faculty of Science and Technology
NOVA University Lisbon, School of Science and Technology
University of Zielona Góra, Faculty of Engineering and Technical Sciences

Contact

Andrei Karatkevich
al. A. Mickiewicza 30, Pawilon C-2, pok. 305
12 617 52 02

Leading unit

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering - Department of Applied Computer Science

Team leader

Karatkevich Andrei

Team members

  • Baniewicz Jarosław
  • Szpyrka Marcin
  • Zaworski Konrad

IDUB research areas

  • Intelligent information, telecommunication, computer, and control and operation technologies

Keywords

system analysis and designconcurrent systemsPetri netsreal-time systemsmodel checkingdeadlockscontrol systemsAlvis languageembedded systemsmanufacturing systemsformal languagessystem verificationformal languages