Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embdedded Software

题目：“协作研究：SoD-TEAM：高可靠嵌入式软件的基于反馈的体系结构”这个项目的重点是开发一个理论和体系结构框架，将反馈控制作为软件工程的主要原则。该建议开发了科学基础、工具和架构设计原则，以提高关键任务软件的可靠性并降低开发成本。确保可靠系统行为的两种常见方法是：1)确保消除错误的科学基础、工具和体系结构原则，以及2)确保容忍此类错误的基础、工具和体系结构原则。虽然第一个解决方案是足够的，但构建完全无错误的大规模系统一直是一个难以捉摸的练习，正如今天的工程工件（例如，车辆召回，级联停电等）的经验所证明的那样。因此，需要一种新的方法来实现健壮的软件设计、开发和认证，以解决当前实践中不断增加的成本和安全隐患。反馈控制已被证明是一种非常成功的工具，可以确保存在不确定性的复杂、建模不良的系统的正确行为。这个项目将反馈控制和稳定性包络的原理应用到软件系统的工程中。

Title: "Collaborative Research: SoD-TEAM: A Feedback-Based Architecture for Highly Reliable Embedded Software"The focus of this project is on developing a theory and architectural framework for incorporating feedback control as a main principle of software engineering. This proposal develops scientific foundations, tools, and architectural design principles to improve the reliability and reduce the development cost of mission-critical software. Two common approaches to ensure reliable system behavior are: 1) Scientific foundations, tools, and architectural principles for ensuring elimination of errors, and 2) foundations, tools, and architectural principles for ensuring tolerance to such errors. While the first solution is sufficient, building completely error-free large-scale systems has been an elusive exercise as evidenced by experiences with today's engineering artifacts (e.g., recalls on vehicles, cascading power blackouts, etc). Consequently, a new approach to robust software design, development and certification is needed that addresses the increasing cost and safety implications of the current practices. Feedback control has proven to be a very successful tool for ensuring correct behavior of complex, poorly modeled systems in the presence of uncertainty. This project applies principles of feedback control and stability envelopes to the engineering of software systems.