Date of Award


Degree Name

Master of Science


Computer Science

First Advisor

Dr. Wuwei Shen

Second Advisor

Dr. Elise de Doncker

Third Advisor

Dr. Alvis Fong


Cyber-physical system, certification, assurance case, Dempster-Shafer, self-adaptive system

Access Setting

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.