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

信息物理系统高可信度软件平台新研究方向研讨会

• 批准号: 0649761
• 负责人: Douglas Schmidt
• 金额: $ 4.94万
• 依托单位: Vanderbilt University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-10-15 至 2007-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0649761&HistoricalAwards=false
• 关键词: New; Research; Directions; Confidence; Software

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.

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