University of Illinois Urbana-Champaign

Architectural Reference Models For Safety-Critical Systems

Crenshaw, Tanya L.

Content Files
Architectural Reference Models For Safety-Critical Systems.pdf

Permalink

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

Description

Title
Architectural Reference Models For Safety-Critical Systems
Author(s)
Crenshaw, Tanya L.
Issue Date
2008-07
Keyword(s)
architecture
Date of Ingest
2009-04-23T14:45:11Z
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
Genre of Resource
Technical Report
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

Research and Tech Reports - Computer Science PRIMARY