Date of Award
Master of Science
Dr. Wuwei Shen
Dr. Elise de Doncker
Dr. Alvis Fong
Cyber-physical system, certification, assurance case, Dempster-Shafer, self-adaptive system
Masters Thesis-Open Access
Presently, cyber-physical systems are increasingly being integrated into societies, from the economic sector to the nuclear energy sector. Cyber-physical systems are systems that combine physical, digital, human, and other components, which operate through physical means and software. When system errors occur, the consequences of malfunction could negatively impact human life. Academic studies have relied on the MAPE-K feedback loop model to develop various system components to satisfy the self-adaptive features, such that violation of the safety requirements can be minimized. Assurance of system requirement satisfaction is argued through an industrial standard form, called an assurance case, which is usually applied at design time. I propose a novel framework to approximate a human certifier’s analysis of a cyber-physical system’s assurance case. In this framework, the Dempster-Shafer theory is integrated into the MAPE-K model as a measure of an assurance case denoting trustworthiness of a cyber physical system with self-adaptive features. Two case studies are presented, inspired by the ENTRUST methodology, to evaluate the framework based on randomized evidence scores which support the arguments of each case study.
Nearchou, Ioannis, "A Framework to Support Automatic Certification for Self-Adaptive Systems" (2020). Master's Theses. 5171.