Formal Verification of Physical Aspects of Smart System


 These days smart systems are increasingly being used in many safety-critical domains, such as medicine equipment and automated transportation systems. This fact makes the accuracy of their functional and performance analysis very important as an uncaught system bug may endanger human life or lead to a significant financial loss. Traditionally, the verification of these systems has predominantly been accomplished by computer simulation. However, it does not ascertain 100% correctness of analysis, especially when dealing with the physical aspects of smart systems, and thus has primarily been responsible for many unfortunate incidents that happened due to an erroneous smart system deployed in a safety-critical domain. The primary focus of this talk is on using formal methods, which are based on mathematical techniques and thus unlike simulation ensure complete results, for the analysis and verification of smart systems. In particular, we focus on the specific components of smart systems that exhibit continuous or random nature or interact with continuous or random physical environments.


2021 October 19 (Tuesday)


09:30 -11:00 Iran UTC+ 3:30

Registration Deadline (Extended):

2021 October 18, 23:59 Iran UTC+ 3:30

Eligibility qualification for the participants:

Faculty members, researchers, MSc/PhD students and Researchers

Main presenter:

Prof. Osman Hasan

Prof. Osman Hasan (Senior Member, IEEE) received the B.Eng. (Hons.) degree from the University of Engineering and Technology, Peshawar, Pakistan, in 1997, and the M.Eng. and Ph.D. degrees from Concordia University, Montreal, QC, Canada, in 2001 and 2008, respectively. Before, his Ph.D., he worked as an ASIC Design Engineer with LSI Logic, San Jose, CA, USA, from 2001 to 2004. He worked as a Postdoctoral Fellow with the Hardware Verification Group (HVG), Concordia University, for one year until August 2009. He is currently an Associate Professor and the Dean of the School of Electrical Engineering and Computer Science, National University of Science and Technology, Islamabad, Pakistan, where he is the Founder and the Director of System Analysis and Verification Lab, which mainly focuses on the design and formal verification of energy, embedded, and e-health related systems. He has received several awards and distinctions, including Pakistan’s Higher Education Commission’s Best University Teacher in 2010, the Best Young Researcher Award 2011, and the President’s Gold Medal for the Best Teacher of the University from NUST in 2015. He is a member of ACM, Association for Automated Reasoning, and the Pakistan Engineering Council.

Registration fee:

It should be kept in mind that although the enrollment will be free of charge, the registration form submission and subsequently the confirmation email reception is obligatory for the attendees.

© 2020 International Academy. All rights reserved.