(September 28, 2006)—College of Computing Assistant Professor Pete Manolios and Professor Mary Jean Harrold have been awarded over $250,000 to help Boeing with the development of their new airplane, the 787 Dreamliner. Specifically, Manolios is working on the hosted function allocation problem and Harrold is working on the fault propagation problem.

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. Professor Manolios is developing tools and methods, based on verification technology developed by his research group, to optimally and automatically allocate resources in a way that satisfies the numerous required constraints. Professor Harrold 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.

Pete Manolios is part of the College's Computing Science & Systems (CSS) division, as well as the Center for Experimental Research in Computer Systems (CERCS) and the Georgia Tech Information Security Center (GTISC). He is also an adjunct in Georgia Tech’s School of Electrical and Computer Engineering. His current research focuses on developing and applying formal verification techniques to help build computing systems that society can depend on.

Mary Jean Harrold is the ADVANCE Professor of Computing and part of the College's Computing Science & Systems (CSS) division, as well as the Center for Experimental Research in Computer Systems (CERCS). Her current research focus is on software engineering, particularly analysis and testing of large, evolving software systems to improve quality and reduce costs.

For more information about Pete Manolios, click here.
For more information about Mary Jean Harrold, click here.