Skip to main content
Upcoming Events:

Seminar: Dr. Sofiene Tahar

Date & Time:
   Add All to Calendar

ITB 201

Cyber-Physical Systems: Design and Verification Challenges



A Cyber-Physical Systems (CPS) is primarily composed of several electronic, communication and controller modules and some physical actuators and sensors. The mix of heterogeneous underlying technologies poses a number of technical challenges to the design and more severely to the analysis of such complex infrastructure. In fact, a CPS shall adhere to strict safety, reliability, performance and security requirements, where on needs to capture both physical and random aspects of the various CPS modules and then analyze their inter-relationship. Oftentimes however, system bugs remain uncaught during the analysis and in turn cause unwanted scenarios that may have serious consequences in safety critical applications. In this talk, we discuss some of the challenges surrounding the design and verification of contemporary CPS with the advent of smart technologies. In particular, we will introduce recent developments in the use of formal methods for the modeling, analysis and verification of CPS and display a few real world CPS case studies using physical components based on photonics integrated circuits.


Sofiène Tahar received the Diploma degree in Computer Engineering from the University of Darmstadt, Germany, in 1990, and the Ph.D. degree with “distinction” in Computer Science from the University of Karlsruhe, Germany, in 1994. He is currently Professor and Research Chair in Formal Verification of Systems-on-Chip with the Department of Electrical and Computer Engineering, Concordia University, Montreal. Prof. Tahar is founder and director of the Hardware Verification Group ( at Concordia University. His research interests include formal hardware verification, system-on-chip verification, analog-and-mixed signal verification, and probabilistic, statistical, and reliability analysis of physical systems