Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology

合作研究：以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释

• 批准号: 0926200
• 负责人: Nancy Griffeth
• 金额: $ 58.77万
• 依托单位: Research Foundation Of The City University Of New York (Lehman)
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0926200&HistoricalAwards=false
• 关键词: Collaborative; Research; Next; Generation; Model

"This award is funded under the American Recovery and Reinvestment Act of 2009(Public Law 111-5)."Summary: Formal Analysis of Complex SystemsA Collaborative Proposal Involving CMU, CUNY, NYU, Stony Brook, UMD, Cornell, JPLThis Expedition, under the directorship of Lead PI Edmund M. Clarke, will develop new computational tools to help scientists and engineers analyze and understand the behavior of the complex models they develop for application domains ranging from systems biology to embedded control. Building on the success of model checking and abstract interpretation (MCAI), two well-established methods for automatically verifying properties of digital circuit designs and embedded software, this research project will extend the MCAI paradigm to systems with complex continuous dynamics and probabilistic behaviors. Challenge problems providing technology drivers and testbeds for the research include: understanding the precursors and course of pancreatic cancer; predicting the onset of atrial fibrillation; and obtaining deep design-time insights into the behavior of automotive and aerospace control systems. Ultimately, this Expedition is expected to provide vital tools that will enable health-care researchers to discover better treatments for disease and will allow engineers to build safer aircraft and other complex systems.The world-class team of scientists and engineers assembled for this Expedition includes two Turing Award winners, a recipient of the National Medal of Science, and awardees of other prestigious research prizes. Outreach consists of the development of a new, highly ambitious and highly cross-discipline educational program called Complex Systems Science Engineering, an annual Minority-Focused Intersession Workshop for Undergraduates on Understanding and Analyzing Complex Embedded and Biological Systems to be hosted at member institution Lehman College, CUNY; substantial financial support for undergraduate research; student involvement in the NASA JPL Research Affiliates Program; and other research opportunities for undergraduate and graduate students and postdoctoral trainees.More information: http://www.mcai2.org/

“该奖项是根据 2009 年美国复苏和再投资法案（公法 111-5）提供资金的。”摘要：复杂系统的正式分析涉及卡内基梅隆大学、纽约市立大学、纽约大学、石溪分校、UMD、康奈尔大学、喷气推进实验室的合作提案这次探险在首席 PI Edmund M. Clarke 的领导下，将开发新的计算工具，帮助科学家和工程师分析和理解复杂系统的行为他们开发的应用模型 领域涵盖从系统生物学到嵌入式控制。 基于模型检查和抽象解释（MCAI）这两种自动验证数字电路设计和嵌入式软件属性的成熟方法的成功，该研究项目将把 MCAI 范式扩展到具有复杂连续动态和概率行为的系统。为研究提供技术驱动和测试平台的挑战问题包括：了解胰腺癌的前兆和病程；预测心房颤动的发作；并在设计时深入了解汽车和航空航天控制系统的行为。最终，这次探险预计将提供重要的工具，使医疗保健研究人员能够发现更好的疾病治疗方法，并使工程师能够建造更安全的飞机和其他复杂系统。为本次探险聚集的世界一流的科学家和工程师团队包括两名图灵奖获得者、一名国家科学奖章获得者以及其他著名研究奖项的获得者。外展活动包括开发一个新的、雄心勃勃的、高度跨学科的教育项目，称为复杂系统科学工程，一年一度的以少数族裔为重点的本科生闭会期间研讨会，了解和分析复杂的嵌入式和生物系统，将在纽约市立大学雷曼学院举办；为本科生研究提供大量财政支持；学生参与 NASA JPL 研究附属项目；以及为本科生、研究生和博士后实习生提供的其他研究机会。更多信息：http://www.mcai2.org/