CSR-EHCS (EHS), SM: Run-Time Assurances for High Confidence Embedded Systems

CSR-EHCS (EHS)、SM：高可信度嵌入式系统的运行时保证

• 批准号: 0834299
• 负责人: John Stankovic
• 金额: $ 22.34万
• 依托单位: University of Virginia Main Campus
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-01 至 2011-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0834299&HistoricalAwards=false
• 关键词: CSR; EHCS; EHS; SM; Run

Project AbstractA common vision of the future is one where our everyday environments are replete with smart cyber physical objects networked to form complicated systems of systems. People will interact with these embedded systems both explicitly and implicitly. The systems will be heterogeneous, need to exist for many years, and operate in the context of real world communication, sensing and failure realities. Many of the systems will be unattended (at least for large periods of time) and often performing very important tasks. The systems will be open in the sense that they will permit access to their functions from humans and other cyber physical systems. The current rapid development and deployment of wireless sensor networks and ubiquitous computing systems and their interactions are exacerbating the need for high confidence embedded systems.Achieving high confidence embedded systems will require new assurance technologies both off-line and on-line. This work addresses on-line run-time assurance. Comprehensive solutions for run time assurances in high confidence embedded systems are developed. The main intellectual contributions are determining how to specify and support at run time a collection of solutions that enable embedded systems to improve confidence and demonstrate application operability. The broad impact of this work is extensive since there is a proliferation of embedded systems being deployed or contemplated for critical applications such as fire fighting, pollution control, disaster response, tracking, military surveillance, and medical assistance.

项目摘要未来的一个共同愿景是，我们的日常环境中充满了智能网络物理对象，这些对象联网形成复杂的系统。人们将与这些嵌入式系统进行显式和隐式的交互。这些系统将是异构的，需要存在多年，并在现实世界的通信、传感和故障现实的背景下运行。许多系统将无人值守（至少在很长一段时间内），并且经常执行非常重要的任务。这些系统将是开放的，因为它们将允许人类和其他网络物理系统访问其功能。当前无线传感器网络和普适计算系统及其交互的快速发展和部署加剧了对高可信度嵌入式系统的需求。实现高可信度嵌入式系统将需要新的离线和在线保证技术。这项工作解决了在线运行时保证问题。开发了用于高可信度嵌入式系统中运行时保证的综合解决方案。主要的智力贡献是确定如何在运行时指定和支持一系列解决方案，使嵌入式系统能够提高信心并展示应用程序的可操作性。这项工作的广泛影响是广泛的，因为正在部署或考虑用于消防、污染控制、灾难响应、跟踪、军事监视和医疗援助等关键应用的嵌入式系统不断增加。