Date of Award
8-2020
Degree Name
Master of Science
Department
Computer Science
First Advisor
Dr. Wuwei Shen
Second Advisor
Dr. Elise de Doncker
Third Advisor
Dr. Alvis Fong
Keywords
Cyber-physical system, certification, assurance case, Dempster-Shafer, self-adaptive system
Access Setting
Masters Thesis-Open Access
Abstract
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.
Recommended Citation
Nearchou, Ioannis, "A Framework to Support Automatic Certification for Self-Adaptive Systems" (2020). Masters Theses. 5171.
https://scholarworks.wmich.edu/masters_theses/5171