Back to results
University of Illinois at Urbana-Champaign
Architecture Reference Models for Early Safety Analysis
Abstract
dc:descriptionSimply 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.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Computer Science
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2015
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Crenshaw, Tanya
- Contributors dc:contributor
-
- Lui Sha
Subjects
dc:subject × 1Rights
- Language dc:language
- eng
Identifiers
dc:identifier.*- Identifier
- (MiAaPQ)AAI3337745
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/81827