SGER: Semi-Formal Design Validation with Swarm Intelligence

SGER：使用群体智能进行半形式设计验证

• 批准号: 0840936
• 负责人: Michael Hsiao
• 金额: --
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-08-01 至 2010-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0840936&HistoricalAwards=false
• 关键词: SGER; Semi; Formal; Design; Validation

Proposal ID: 0840936 PI Name: Michael S. HsiaoTitle: Semi-Formal Design Validation with Swarm IntelligenceInst: Virginia Tech Blacksburg, VA ABSTRACTThe objective of this research is to elicit the swarming power to solve the very difficult problem of design validation. This is a high-risk, high pay-off investigation on an approach that has not been done in the past. Individual knowledge acquired during the search is extracted to benefit collective effort. This is enabled via cultivation of knowledge exchange, accumulation, and utilization. The intelligent partitioning and grouping of the state variables allows for the construction of many effective abstract navigation tracks in large designs. This is a key breakthrough as the mined tracks naturally provide multiple valuable abstractions of the design upon which collective and diverse effort can be conducted. The development of new theories and algorithms will be an original contribution that will allow for transformative understanding of semi-formal verification and state space exploration, all in a rigorous framework.The theories and practice that will result from this work will not only enable us for a deeper understanding of collective effort, it will shed light on other intractable problems as well, from closely related research areas such as manufacturing test to artificial intelligence.This project will directly promote the education of the involved students. In regard to outreach to under-represented students, the PI currently advises multiple women Ph.D. students (under-represented in engineering), and this project will continue to encourage aspiring female students to participate in the research endeavor. In addition, the PI will actively recruit summer minority interns from programs within Virginia Tech to take part in this project.

提案ID：0840936 PI姓名：Michael S. HsiaoTitle：半形式化的设计验证与群集智能Inst：弗吉尼亚理工大学布莱克斯堡，弗吉尼亚州摘要本研究的目的是引出群集的力量，以解决非常困难的问题，设计验证。 这是一项高风险、高回报的调查，采用了一种过去从未做过的方法。 在搜索过程中获得的个人知识被提取出来，以利于集体努力。 这是通过培养知识交流、积累和利用来实现的。 状态变量的智能划分和分组允许在大型设计中构建许多有效的抽象导航轨迹。 这是一个关键的突破，因为开采的轨道自然提供了多个有价值的设计抽象，可以进行集体和多样化的努力。 新理论和算法的发展将是一个原创性的贡献，将允许在严格的框架内对半形式化验证和状态空间探索进行变革性的理解。这项工作产生的理论和实践不仅将使我们能够更深入地理解集体努力，它也将揭示其他棘手的问题，从紧密相关的研究领域，如制造测试到人工智能。该项目将直接促进参与学生的教育。 关于对代表性不足的学生的宣传，PI目前为多名女博士提供咨询。该项目将继续鼓励有抱负的女学生参与研究奋进。 此外，PI将积极招募弗吉尼亚理工大学项目的暑期少数族裔实习生参加该项目。