Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Permalink

https://hdl.handle.net/2142/11472 Copy

Description

Title

Architectural Reference Models For Safety-Critical Systems

Author(s)

Crenshaw, Tanya L.

Issue Date

2008-07

Keyword(s)

architecture

Abstract

"In 2001, Lui Sha published a paper entitled ""Using Simplicity to Control Complexity."" It describes an architecture that switches between a high-assurance control subsystem and a high-performance-control subsystem. But his solution is much bigger and can be more widely applied; the Simplex architecture is a solution-creating technique for combining two algorithms such that a system retains the safety of the first while gaining the features of the second. Using this architecture has been difficult because it has not been clear what kinds of problems the Simplex architecture solves; neither has it been clear in what ways developers can describe Simplex to conduct an early analysis of their own Simplex-based designs. Simply put, my work is as much about Simplex as it is about describing Simplex architectures. This dissertation provides a collection of precise, logical descriptions of the Simplex architecture in four different modeling paradigms. I also describe my implementation of a Simplex architecture in a distributed control environment."

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11472

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections