SGER: Semi-Formal Design Validation with Swarm Intelligence

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

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.