Seminar on Using UML State Machines for Graphical Specification of Reconfigurable Cyber-Physical Systems Implemented in FPGAs

#cyber-physical #systems
Share

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_To_Calendar_icon Add Event to Calendar

Loading virtual attendance info...

  • Newark, New Jersey
  • United States

  • Contact Event Hosts
  • Starts 22 August 2026 04:00 AM UTC
  • Ends 22 September 2026 04:00 AM UTC
  • No Admission Charge