Modeling and Analysis of Fault Propagation for Critical Systems
Modern complex systems such as airplanes tend to consist of highly integrated environments with shared resources such as computing, network, and I/O resources. In addition, these resources are subject to a large diverse set of economic, performance, safety, redundancy, geometric, and non-functional constraints. This project is studying the problem of determining how faults of components can propagate through the highly integrated environments, and in particular how they can affect critical subsystems. The project will develop a set of techniques, including algorithms and visualizations, that will assist developers in tasks such as fault-propagation analysis, and root-cause analysis for large systems.
Boeing Aerospace Company.