CAREER: Supporting Patterns for Embedded Network Systems

职业：嵌入式网络系统的支持模式

• 批准号: 1545705
• 负责人: Jason Hallstrom
• 金额: $ 2.53万
• 依托单位: Florida Atlantic University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-12-15 至 2016-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1545705&HistoricalAwards=false
• 关键词: CAREER; Supporting; Patterns; Embedded; Network

Embedded network systems are transforming the planetary compute fabric, changing the way we coordinate with peers, safeguard natural resources, and protect local communities. Ensuring the correctness and performance of these systems has immediate relevance to the health and welfare of the planet. The objective of this CAREER project is to develop the theoretical and applied foundations necessary to ensure these properties and to instill the requisite skills in the next generation of embedded network system engineers. The project relies on a pattern-centric approach motivated by the profound impact of design patterns on software reliability and programmer productivity in other domains and the observation that these benefits can be amplified through the development of formal foundations and supporting software tools. There are four project components: First, the team is codifying expert knowledge in the form of new patterns for embedded network system design and implementation. Second, the team is developing a specification and reasoning formalism to capture pattern requirements precisely and to validate the correctness of pattern implementations. Third, the team is developing static analysis techniques and supporting software tools to automate the detection of pattern implementation errors. Finally, the team is applying these techniques and tools to reverse-engineering and code generation tasks, extending the benefits of model-based software engineering to this new domain. The dissemination and outreach program includes publication, undergraduate and graduate curriculum integration, undergraduate research involvement, high-school outreach and engagement, academic and dissemination to industry, and mini-workshops for evaluation and promulgation of findings, methods and tools.

嵌入式网络系统正在改变地球的计算结构，改变我们与同行协调、保护自然资源和当地社区的方式。确保这些系统的正确性和性能与地球的健康和福祉直接相关。该职业项目的目标是开发确保这些特性所需的理论和应用基础，并向下一代嵌入式网络系统工程师灌输必要的技能。该项目依赖于以模式为中心的方法，其动机是设计模式对其他领域的软件可靠性和程序员生产力的深远影响，并且观察到这些好处可以通过开发正式基础和支持软件工具来放大。项目有四个组成部分：首先，团队正在以嵌入式网络系统设计和实现的新模式的形式整理专家知识。其次，团队正在开发规范和推理形式，以精确捕获模式需求并验证模式实现的正确性。第三，该团队正在开发静态分析技术和支持软件工具，以自动检测模式实现错误。最后，该团队将这些技术和工具应用于逆向工程和代码生成任务，将基于模型的软件工程的优势扩展到这个新领域。传播和推广计划包括出版、本科生和研究生课程整合、本科生研究参与、高中推广和参与、学术和行业传播，以及评估和传播研究结果、方法和工具的小型研讨会。