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

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

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.