CAREER: Automated Synthesis of Embedded Control Software

职业：嵌入式控制软件的自动综合

• 批准号: 0717188
• 负责人: Paulo Tabuada
• 金额: $ 30.83万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-08-22 至 2010-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0717188&HistoricalAwards=false
• 关键词: CAREER; Automated; Synthesis; Embedded; Control

This NSF CAREER project represents an effort towards the development of embedded control software that is correct by design. The pursuit of this ambitious objective relies on novel ideas fostering a paradigm shift in embedded software design by integrating control with software design. In particular, through the use of finite abstractions of continuous control systems, control theoretic ideas are being applied to the design of software enforcing dynamic constraints (control), software constraints (e.g., shared resources, real-time properties) and hardware constraints (e.g., power consumption, execution times). In addition to alleviating the need for testing and formal verification this research is also developing automated synthesis methods allowing for faster design cycles and an increase in functionality and complexity of embedded applications. This correct by construction approach to embedded control software design has immediate technological, economical and societal consequences triggered by a reduction in software development time and cost. Furthermore, the research outcome of this project is also contributing to the advancement in functionality, robustness and dependability of the large networks of embedded systems that are becoming essential infrastructures of our society. Important contributions to graduate and undergraduate education complement the research component of the project. A new graduate course on verification and synthesis of embedded control systems is being offered at Notre Dame. The lecture notes supporting this course will be published to further disseminate the novel ideas developed in the context of this project and to promote the creation of similar courses in other universities. Undergraduate education at Notre Dame is being improved through the participation of undergraduate students in research and by revising the laboratorial component of the introductory course to electrical networks in order to familiarize second year electrical engineering students with embedded systems and basic skills in embedded programming.

这个 NSF CAREER 项目代表了开发设计正确的嵌入式控制软件的努力。实现这一雄心勃勃的目标依赖于新颖的想法，通过将控制与软件设计相结合，促进嵌入式软件设计的范式转变。特别是，通过使用连续控制系统的有限抽象，控制理论思想被应用于强制执行动态约束（控制）、软件约束（例如共享资源、实时属性）和硬件约束（例如硬件约束）的软件设计。 、功耗、执行时间）。除了减轻测试和形式验证的需要之外，这项研究还开发了自动综合方法，可以加快设计周期并增加嵌入式应用的功能和复杂性。这种正确的嵌入式控制软件设计构建方法通过减少软件开发时间和成本而产生直接的技术、经济和社会后果。此外，该项目的研究成果还有助于提高嵌入式系统大型网络的功能、稳健性和可靠性，这些网络正在成为我们社会的重要基础设施。对研究生和本科生教育的重要贡献补充了该项目的研究部分。圣母大学正在开设一门关于嵌入式控制系统验证和综合的新研究生课程。支持该课程的讲义将被出版，以进一步传播在该项目背景下开发的新颖想法，并促进其他大学创建类似课程。圣母大学的本科教育正在通过本科生参与研究和修改电气网络入门课程的实验室部分来改进，以使二年级电气工程学生熟悉嵌入式系统和嵌入式编程的基本技能。