Solve/Address the Issue of Trustworthiness in Embedded Systems

该项目研究了可信赖的网络嵌入式系统（内斯）应用程序的设计，建模，（重新）配置和验证，这些应用程序支持用户的隐私，数据的机密性和完整性，所提供服务的可用性，同时通过开发安全网络嵌入式系统的基本新科学及其对新兴网络的影响，基础设施演进 必须保护内斯应用程序免受恶意攻击，这些攻击利用网络嵌入式系统的特定漏洞和特性。 这些必须拥有可信数据的关键支持应用程序包括设备和过程控制（航空电子设备、车辆电子设备、通信和SCADA/DCS系统）和环境监测（污染和化学/生物制剂检测）。该项目寻求以下三项创新：（1）一套数学模型，以支持可信的内斯应用程序的开发和验证，（2）高可信度的中间件组件，以保证内斯应用的适应性和生存性;（3）大规模的测试床，以验证这些模型和方法在实际内斯应用环境中的适用性。 加州伯克利大学对分布式混合和嵌入式系统理论和平台进行了建模，并解决了可信内斯中的隐私问题。UCB正在构建一个由大约103个嵌入式网络设备（Motes）组成的大规模测试平台网络，以探索内斯应用程序在现实环境中的可信度问题，并通过实验验证项目中所有团队开发的建模和组件如何保护关键任务内斯应用程序免受潜在滥用。 范德比尔特大学带来了他们在内斯应用程序的功能能力建模方面的丰富经验，这为他们带来了新的系统理论和具有概率元素的高置信度组合中间件框架。 SRI研究内斯应用程序的可信方面建模，并开发方法和工具，以支持基于模型的协同设计，可以使可信度与功能应用程序和中间件的系统和可预测的交织。

This project investigates the design, modeling, (re)configuration, and validation of trustworthy networked embedded systems (NES) applications that support the privacy of their users, the confidentiality and integrity of the data, the availability of the provided services, while implementing the required functionality and quality of service by developing the fundamental new science of secure network embedded systems and its implications for the emerging infrastructure. NES applications must be protected against malicious attacks that exploit specific vulnerabilities and characteristics of networked embedded systems. Such critical support applications that must have trusted data include equipment and process control (avionics, veitronics, communications, and SCADA/DCS systems) and environmental monitoring (pollution and chem/bio agent detection).This project seeks the following three innovations: (1) A suite of mathematical models to support the development and validation of trustworthy NES applications, (2) high confidence middleware components to assure the adaptability and survivability of NES applications, and (3) a large-scale test-bed to validate the suitability of these models and methods in a realistic NES application environment.The work is a cooperative effort of three organizations. The University of California Berkeley models distributed hybrid and embedded systems theory and platforms and addresses issues of privacy in trusted NES. UCB is building a large-scale testbed network of around 103 embedded network devices (Motes) to explore issues of NES application trustworthiness in a realistic environment and experimentally validate how the modeling and components developed by all groups in the project can protect mission-critical NES applications from potential abuses. Vanderbilt University brings their extensive experience in modeling functional capabilities of NES applications, which yields new systems theory and high confidence composable middleware frameworks with probabilistic elements to them. SRI conducts research in modeling the trustworthy aspects of NES applications and on developing methods and tools to support model-based co-design that can enable the systematic and predictable interweaving of trustworthiness with the functional applications and middleware.