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职业项目代表了开发嵌入式控制软件的努力，该软件是正确的。对这个雄心勃勃的目标的追求依赖于通过将控制与软件设计集成到嵌入式软件设计中的范式变化的新颖想法。特别是，通过使用连续控制系统的有限抽象，控制理论思想被应用于执行动态约束（控制），软件约束（例如共享资源，实时属性）和硬件约束（例如，功耗，功耗，执行时间）的软件设计。除了减轻对测试和正式验证的需求之外，此研究还开发了自动合成方法，允许更快的设计周期以及嵌入式应用程序的功能和复杂性的提高。通过嵌入式控制软件设计的构造方法正确，这是由于减少软件开发时间和成本而触发的技术，经济和社会后果。此外，该项目的研究结果也有助于嵌入式系统的大型网络的功能，鲁棒性和可靠性的进步，这些网络已成为我们社会基础的基础设施。对研究生和本科教育的重要贡献补充了该项目的研究部分。巴黎圣母院正在提供有关嵌入式控制系统验证和合成的新研究生课程。支持本课程的讲义将发表，以进一步传播在该项目背景下发展的新思想，并促进其他大学中类似课程的创建。通过大学生参与研究，并修改电气网络入门课程的实验室组成部分，以改善了巴黎圣母院的大学教育，以便使第二年的电气工程学生熟悉嵌入式系统和嵌入式节目的基本技能。