New Research Directions in Composition and Systems Technology for High Confidence Cyber Physical Systems

本次研讨会涉及高置信度网络物理系统的组成和系统技术的新研究方向，于2007年7月9日和10日在弗吉尼亚州阿灵顿的威斯汀网关酒店举行。 该讲习班是2006年7月和11月举办的规划讲习班的后续。 信息物理系统是一种深度嵌入的复杂系统，其中相互作用的物理组件在所有级别和规模上都受到实时网络控制软件的控制。 物理组件的设计是为了提供高度交互式的操作控制，网络组件必须支持定时和高速率的反应性交互和响应。 这些系统的连续和离散行为都必须通过非线性控制、计算、通信和资源管理策略来适应，以实现组件和子系统的连续交互。 这些技术是美国在医疗保健技术、汽车系统、航空、能源和环境控制等领域的工业进步的核心。本次研讨会的主要目的是评估与重组当前系统技术有关的研究需求和有前途的技术方法，这些技术将使我们能够获得网络物理系统（CPS）所需的高置信度软件平台。其目标是为未来可认证的可靠工程系统的网络和物理方面的深度集成提供一个合理、实用的技术基础。研讨会将产生文件，并将以最终报告的形式交付，以帮助形成国家在HCSS相关系统和保证技术方面的研究投资。这些研讨会旨在支持国家协调办公室（NCO）网络和信息技术研究与发展（NITR D）小组委员会和高置信度软件和系统（HCSS）协调小组的目标。

This workshop concerns New Research Directions in Composition and Systems Technology for High Confidence Cyber Physical Systems, held in the Westin Gateway Hotel in Arlington, VAm on July 9th and 10th, 2007. The workshop is a follow-on to earlier planning workshops held in July and November 2006. Cyber-physical systems are deeply embedded complex systems, in which interacting physical components are controlled by real-time networked control software at all levels and scales. Physical components are designed to afford highly-interactive control of their operation, and cyber components must support both timed and high-rate reactive interaction and response. Both the continuous and discrete behavior of these systems must be accommodated through nonlinear control, computation, communication, and resource management strategies for continually interacting components and subsystems. These technologies are central to progress for U.S. industrial progress in sectors such as medical and health care technology, automotive systems, aviation, energy, and environmental control.The main purpose of this workshop is to assess research needs and promising technical approaches pertaining to restructuring current systems technology that will enable us to derive the high confidence software platforms needed for cyber physical systems (CPS). The goal is to provide a sound, practical technological base for deeply integrating the cyber and physical aspects of future certifiably dependable engineered systems. The workshop will produce documentation which will be delivered in the form of a final report to help shape national research investments in HCSS-related systems and assurance technologies.These workshops are designed to support the objectives of the National Coordination Office (NCO) for Networking and Information Technology Research and Development (NITR&D) Subcommittee and the High Confidence Software and Systems (HCSS) Coordinating Group.