{"51662":{"#nid":"51662","#data":{"type":"news","title":"Manolios \u0026 Harrold Help Boeing With 787 Dreamliner","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003E(September 28, 2006)\u2014\u003C\/strong\u003ECollege 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.\u003C\/p\u003E\n\u003Cp\u003EModern 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.\u003C\/p\u003E\n\u003Cp\u003EPete Manolios is part of the College\u0027s Computing Science \u0026amp; 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\u2019s 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.\u003C\/p\u003E\n\u003Cp\u003EMary Jean Harrold is the ADVANCE Professor of Computing and part of the College\u0027s Computing Science \u0026amp; 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.\u003C\/p\u003E\n\u003Cp\u003EFor more information about Pete Manolios, \u003Ca href=\u0022http:\/\/www.cc.gatech.edu\/~manolios\/\u0022 target=\u0022_blank\u0022\u003Eclick here.\u003Cbr \/\u003E\u003C\/a\u003EFor more information about Mary Jean Harrold, \u003Ca href=\u0022http:\/\/www.cc.gatech.edu\/~harrold\/\u0022 target=\u0022_blank\u0022\u003Eclick here\u003C\/a\u003E.\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ECollege 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.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-09 21:46:47","changed_gmt":"2016-10-08 03:05:08","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","dateline":{"date":"2006-09-29T00:00:00-04:00","iso_date":"2006-09-29T00:00:00-04:00","tz":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[],"email":[],"slides":[],"orientation":[],"userdata":""}}}