New Research Directions in High Confidence Software Platforms for Cyber Physical Systems Workshop

该奖项是为了表彰将于2006年11月30日至12月1日在弗吉尼亚州亚历山大市举办的主题为“网络物理系统高可信软件平台的新研究方向”的研讨会。这是一系列活动中的几个研讨会之一，重点是高信心和可认证的软件和系统。这些研讨会是与NSTC网络和信息技术研究与开发(NITRD)小组委员会下的高可信软件和系统(HCSS)协调小组(CG)合作主办的。研讨会的目的是为来自工业、政府、研究实验室和学术界的领导人和有远见的人提供一个开放的工作论坛，他们关注实时嵌入式传感和控制系统的系统软件技术平台。研讨会将解决当前实时嵌入式系统软件无法解决的挑战：实时操作系统(RTOS)、中间件(MW)和虚拟机(VM)。研讨会将评估目前的实时技术基础在支持未来复杂的物理和工程系统方面的不足。研讨会还将评估研究需求并制定研究路线图，以实现从根本上实现新方法和网络技术，以支持新一代网络物理系统。

This award is for a workshop on the topic of "New Research Directions in High Confidence Software Platforms for Cyber Physical Systems" to be held in Alexandria, Virginia, on November 30-December 1, 2006. This one of several workshops in a series of activities that focus on high-confidence and certifiable software and systems. These workshops are sponsored in cooperation with the High Confidence Software and Systems (HCSS) Coordinating Group (CG) under the NSTC Networking and Information Technology Research and Development (NITRD) Subcommittee.The purpose of the workshop is to provide an open, working forum for leaders and visionaries from industry, government, research laboratories, and academia, who are concerned with systems software technology platforms for real-time embedded sensing and control systems. The workshop will address challenges that are not resolved by current real-time embedded systems software: real-time operating systems (RTOS), middleware (MW), and virtual machines (VM). The workshop will assess the inadequacy of the current real-time technology base to support future complex physical and engineered systems. The workshop also will assess research needs and develop a research roadmap for achieve fundamentally new approaches and cyber technology to support a new generation of cyber-physical systems.