CAREER: Supporting Patterns for Embedded Network Systems

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

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.