Architecture for Efficient and Trusty Embedded Systems

Feron，EricCCR-0208831麻省理工学院正在开发一种名为“高效和可靠的嵌入式系统架构”的ARETES，这是一个统一的框架，用于设计安全和高效的嵌入式系统的关键控制和通信基础设施支持。ARETES有四个组成部分：开发用于评估感兴趣系统的安全性和效率的数学框架，设计计算效率高的算法，开发必要的软件模块，以及模拟案例研究。为了满足安全性和效率要求，ARETES采用了控制理论方法。我们的想法是使用和创新现有的理论，通过三个方面的方法来考虑性能目标和资源约束，同时防止环境中的不确定性，组件级的缺陷，以及组件间通信的故障。作为第一个方面，现有的乘数理论将被扩展，以保证最坏情况下的性能资源受限的系统。为了给出一些具体的例子，最适合的积分二次约束（IQC）特性将推导出的固有的不确定性，带宽饱和和延迟的约束所施加的组件间协调。作为第二个方面，将编制一个基本模块数据库，以近似这种系统的混合模型。乘数理论和混合动力系统的分析方法之间的联系将建立通过新的概念，如“强大的混合自动机”。作为第三个关键方面，一组参数化的测试问题将被开发，以表征任务调度和上述缺陷对在线软件复杂性和离线软件验证过程的影响。ARETES的目的是推导出这些规范模型的分析性能界限，并将开发一个可扩展的软件模块库，以方便仿真studies.The理论的进步正在追求的ARETES包括鲁棒控制理论，因为最适合的IQC特性，有利于最保守的输入输出稳定性分析。该系统还将发展投入产出混合系统分析方法和乘数理论方法之间的联系。规范模型和相关的算法库将直接用于推导各种感兴趣场景的分析性能界限。除了与研究机构和工业界的相关性外，这将在学术界具有重要的技术价值。 ARTEES正在开发的技术在提供各种应用程序所需的关键基础设施支持方面具有巨大的效用，这些应用程序涉及完全或部分自主的协调代理。这种应用的例子包括协调入侵警报系统、危险地形的监测、空中交通管制系统、智能车辆高速公路的减速警告系统、采用协调智能无生命物体的团队的动画行业应用、科学探索中的协调目标跟踪以及教育项目，例如实验室环境中的一组迷你直升机的复杂轨迹规划，

Feron, EricCCR-0208831MIT is developing ARETES, an 'Architecture for Efficient and Trusty Embedded Systems', which is a unified framework to design the critical control and communication infrastructure support for safe and efficient embedded systems. ARETES has four components to it: development of a mathematical framework for assessing safety and efficiency of the systems of interest, design of computationally efficient algorithms, development of the necessary software modules, and simulation case studies.To meet the safety and efficiency requirements, ARETES is adopting a control theoretic approach. The idea is to use and innovate upon the existing theory via three-faceted approach to account for the performance objective and resource constraints while safeguarding against uncertainty in the environment, component level imperfections, and faults in the inter-component communications. As the first facet, the existing multiplier theory will be extended to guarantee the worst case performance for resource constrained systems. To give some specific examples, the best fit integral quadratic constraint (IQC) characterization will be derived for the inherent uncertainties, and for the bandwidth saturation and delay constraints imposed by the inter-component coordination. As the second facet, a database of elementary blocks to approximate the hybrid models of such systems will be compiled. Links between the multiplier theory and hybrid systems analysis methods will be established via novel concepts such as a 'robust hybrid automaton'. As the third key facet, a set of parameterized test problems will be developed to characterize the impact of task scheduling and the above mentioned imperfections on the online software complexity and the offline software verification process. ARETES aims at deriving analytical performance bounds for these canonical models and will develop a library of scalable software modules to facilitate the simulation studies.The theoretical advances being pursued in ARETES include robust control theory since the best fit IQC characterization facilitates the least conservative input-output stability analysis. ARETES will also develop links between the input-output hybrid system analysis approach and the multiplier theory approach. The canonical models and the associated library of algorithms will be directly useful in deriving analytical performance bounds for various scenarios of interest. Besides its relevance to research organizations and industry, this will have a significant technological value in academia. Technology being developed in ARETES has immense utility in providing the critical infrastructure support necessary in various applications involving coordinated agents that are either fully or partially autonomous. Examples of such applications include coordinated intrusion alert systems, monitoring of hazardous terrains, air traffic control systems, slowdown warning systems for intelligent vehicle highways, animation industry applications employing teams of coordinated intelligent inanimate objects, coordinated target tracking in scientific explorations, and educative projects such as the complex trajectory planning of a team of mini-helicopters in a laboratory setting,