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
Osman Hasan received in 1997 the BEng (Hons) degree from the N-W.F.P University of Engineering and Technology, Pakistan, and in 2001 and 2008 the MEng and PhD degrees from Concordia University, Montreal, Quebec, Canada, respectively. He worked as a postdoctoral fellow at the Hardware Verification Group (HVG) of Concordia University for one year until August 2009. Currently, he is an Associate Professor and the Head of Department of Electrical Engineering at the School of Electrical Engineering and Computer Science, National University of Science and Technology (NUST), Islamabad, Pakistan. He is the founder and director of System Analysis and Verification (SAVe) Lab at NUST, which mainly focuses on the design and formal verification of energy, embedded and e-health related systems. Since joining NUST, he has been able to acquire over 1 million US$. in research grants and has published over 200 research papers in various reputable conferences and journals. He is currently collaborating with various academic institutes and research organizations of USA, Canada, Germany, Austria, and UAE. He has received several awards and distinctions, including the Pakistan’s Higher Education Commission’s Best University Teacher (2010) and Best Young Researcher Award (2011) and the President’s gold medal for the best teacher of the University from NUST in 2015. Dr. Hasan is a senior member of IEEE, member of the ACM, Association for Automated Reasoning (AAR) and the Pakistan Engineering Council.