Files in this item



application/pdfArchitectural R ... afety-Critical Systems.pdf (2MB)
(no description provided)PDF


Title:Architectural Reference Models For Safety-Critical Systems
Author(s):Crenshaw, Tanya L.
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.
Issue Date:2008-07
Genre:Technical Report
Other Identifier(s):UIUCDCS-R-2008-2984
Rights 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).
Date Available in IDEALS:2009-04-23

This item appears in the following Collection(s)

Item Statistics