A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems
Rahmaniheris, Maryam
Loading…
Permalink
https://hdl.handle.net/2142/24480
Description
Title
A Multi-layer Dependency Model for Analysis of Safety-critical Embedded Systems
Author(s)
Rahmaniheris, Maryam
Issue Date
2011-05-25T14:26:24Z
Director of Research (if dissertation) or Advisor (if thesis)
Sha, Lui R.
Department of Study
Computer Science
Discipline
Computer Science
Degree Granting Institution
University of Illinois at Urbana-Champaign
Degree Name
M.S.
Degree Level
Thesis
Keyword(s)
Safety-critical
Embedded Systems
Dependency Model
Reliability
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.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
