Theses most similar to A diagnostics architecture for component-based system engineering (Ouimet, Martin, 1975-; 2004) read it
Hazard elimination using backwards reachability techniques in discrete and hybrid models
Neogi, Natasha A. (Natasha Anita), 1976- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
A fault tolerant architecture for nuclear power plant control systems
Antonini, Claudio Daniel (1982)
- Advisor: David D. Lanning [and] J. W. Gosnell
- Department of Nuclear Engineering
Modeling and analysis of software specifications for an autonomous aerial vehicle
Vuong, Hon Fai, 1975- (1999)
- Advisors: Eric Feron; Mark R. Abramso
- Department of Aeronautics and Astronautics
- Advisor: Jonathan Allen
- Department of Electrical Engineering and Computer Science
- Advisor: Deyst, John J. (John Jacob)
- Department of Aeronautics and Astronautics
Simulation methods for the development of modular strategic guidance systems
Long, Stephen Michael, Ensign (2003)
- Advisors: Andrew J. Staugle; Peter M. Kachmar
- Department of Aeronautics and Astronautics
Candidate system architecture for intelligent itegrated infrastructure
Fleet, Charles O'Bryan, 1977- (2000)
- Advisor: Jerome J. Connor, Jr.
- Department of Civil and Environmental Engineering
Investigating the readability of formal specification languages
Zimmerman, Marc Kenton, 1975- (2001)
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
- Advisor: Nancy G. Leveson
- Department of Aeronautics and Astronautics
Context in the risk assessment and hazard analysis of digital instrumentation and control systems
Garrett, Christopher James (1999)
- Advisor: George E. Apostolakis
- Department of Nuclear Engineering