Files in this item



application/pdfRahmaniheris_Maryam.pdf (552kB)
(no description provided)PDF


Title:A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems
Author(s):Rahmaniheris, Maryam
Advisor(s):Sha, Lui R.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Embedded Systems
Dependency Model
Abstract:Safety-critical embedded-system designs are typically both complex and expensive. Domains, such as medical devices, however, require safety but also demand affordability. However, conventional safety and reliability engineering methods, including redundancy or conventional dependency analysis, often lead to expensive and complex system designs. In this work, we propose a multi-layer dependency framework to analyze safety-critical systems. This framework captures fine-grained dependencies in safety-critical systems compared with traditional dependency graph analysis. Due to this new approach, we are able to verify the safety of systems with a reduced degree of redundancy, compared with conventional reliability engineering methods. To show the effectiveness of the multi-layer dependency framework, we apply it to four applications in the medical and control domains. These studies show a reduction in the complexity of the associated safety subsystems, which translates to both a reduction in cost and a reliability improvement for the safety subsystem. We specifically discuss the the applicability of our dependency framework to distributed medical systems where the conventional two-layer dependency model is unable to analyze the safety of complicated supervisory frameworks for such systems.
Issue Date:2011-05-25
Rights Information:Copyright 2011 Maryam Rahmaniheris
Date Available in IDEALS:2011-05-25
Date Deposited:2011-05

This item appears in the following Collection(s)

Item Statistics