Seminar on Using UML State Machines for Graphical Specification of Reconfigurable Cyber-Physical Systems Implemented in FPGAs
IEEE North Jersey Section RAS/SMC Chapter Seminar on
Using UML State Machines for Graphical Specification of Reconfigurable Cyber-Physical Systems Implemented in FPGAs
Grzegorz Bazydło, Ph.D. & Assistant Professor
Institute of Control & Computation Engineering, University of Zielona Góra
Time: 7:30pm, Tue., September 22, 2026
Place: CKB 204, NJIT, Newark, NJ
Zoom:
https://njit-edu.zoom.us/j/9735966282?pwd=QlZtZFlOZ2FMZjlXemQwNmVUci9yUT09
Abstract
Examples of cyber-physical systems (CPSs) can nowadays be found in many sectors, including transportation, healthcare, and manufacturing, as well as in everyday life. One of the important features of modern CPSs is their ability to adapt to changing conditions. To address this need for adaptation, the presentation introduces the concept of a reconfigurable cyber-physical system (RCPS). The term “reconfigurable” refers to CPSs in which the control part (the “cyber” component) is implemented in FPGA device, enabling the use of dynamic partial reconfiguration to modify part of the control algorithm on the fly, without shutting down the system. To enable such reconfiguration, an appropriate behavioral model based on UML State Machines is developed, with the static and reconfigurable parts identified and the so-called “safety states” defined. The presentation will discuss a complete design workflow covering all these aspects—from defining the requirements of a RCPS, through its modeling and specification, to hardware-based validation of the resulting system. The proposed solution follows a Model-Driven Development (MDD) approach and is based on model transformations performed in accordance with the Model-Driven Architecture (MDA).
Bio: Grzegorz Bazydło was born in 1978 in Zielona Góra, Poland. He obtained his B.Sc. degree in Computer Engineering from the Technical University of Zielona Góra in 2001, and his M.Sc. and Ph.D. degrees in Computer Science from the University of Zielona Góra (UZ) in 2003 and 2010, respectively. He currently works as an Assistant Professor at the Institute of Control & Computation Engineering (UZ). He is a member of the Polish Committee for Standardization (Technical Committee 182 for Information Protection in ICT Systems), the Institute of Electrical and Electronics Engineers (IEEE), where he is a Senior Member, and the Information and Communication Technology Discipline Council at the University of Zielona Góra. He also serves as an Associate Editor of the prestigious journal IEEE Transactions on Systems, Man, and Cybernetics: Systems. His research focuses on the design of cyber-physical systems, including their modeling, analysis, and implementation. In particular, he is interested in modeling the control part of reconfigurable CPSs using graphical methods and languages, such as UML State Machine diagrams, Petri nets, and the Lingua Franca language. In 2022, he completed a research internship under the supervision of Prof. Edward A. Lee, a leading expert in cyber-physical systems design, at the University of California, Berkeley. He has published more than 60 scientific works, including a postdoctoral monograph and more than 20 journal papers and book chapters. Outside of work, he is an active sports enthusiast, especially jogging. He has also been involved in scouting for more than 30 years as a member and instructor of the Polish Scouting and Guiding Association (ZHP), and teaches first aid courses for young people. In 2007, he obtained the professional title of paramedic and earned a bachelor's degree from the Faculty of Public Health at Wrocław Medical University.
Please contact this seminar’s host (esp. if you need a free visitor’s parking slot at Lot 7 of NJIT): Mengchu Zhou, Ph.D. & Dist. Professor, zhou@njit.edu
Date and Time
Location
Hosts
Registration
-
Add Event to Calendar