NISlecture by Hao Wang

31. March
NISlecture 2017/3 (31.03.2017, 12.15-13.00 in K102)

Title: Software Certification for Software-intensive Safety Critical Systems

Speaker: Hao Wang, NTNU i Ålesund

Abstract: Smart devices are all around us nowadays. These little angels/devils are making our lives much easier, while also opening up a lot of security/safety holes, esp. those safety critical devices have the potential of physically harming or even killing us. In this NIS lecture, in order to demonstrate the real threats of these devices, I will use a case study of a software intensive medical device (the Insulin Pump) from one of our previous projects at the McMaster Centre for Software Certification, McMaster University, Canada. Based on the insulin pump example, I will give an overview and discuss some important aspects of the key approach to make these systems safer and more secure: software certification.

About the Speaker :

Hao Wang, Ph.D., is an associate professor and the head of the Big Data Lab in Faculty of ICT and Natural Sciences, Norwegian University of Science and Technology, Ålesund. Before this, he was a research scientist with IBM Canada R&D Centre, (still) collaborating with Profs Ridha Khedri, Mark Lawford, Tom Maibaum and Alan Wassyng in McMaster Centre for Software Certification (<>), McMaster University, Canada. McSCert leads the Software Certification Consortium, consisting of many top researchers, government regulators, and industrial companies. Hao¹s research focuses on big data&IIoT, software engineering, and safety&security and he has published 50+ peer-reviewed papers. More details can be found in his webpage