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

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

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.