funded by the U.S. Office of Naval Research
Large software systems are developed by integrating software components. Unfortunately, many complex software components often contain defects. On the other hand, the technology exists to develop modest-size software components with a high degree of confidence. Flight control software is an example. This research focuses on algorithms and architectures that can leverage simple high-assurance components to ensure the integrity of large distributed real-time systems in spite of faults in complex software components.