Aviation Software Systems: Design for Certification Workshop

该奖项是对将于2006年10月5-6日在弗吉尼亚州亚历山大市举办的主题为“航空软件系统：可认证可靠系统的设计”的研讨会的奖励。这是与NSTC网络和信息技术研究与开发(NITRD)小组委员会下的高信心软件和系统(HCSS)协调小组(CG)合作主办的一系列活动中的几个研讨会之一。研讨会的目的是为来自行业、政府、研究实验室和学术界的关注航空软件和系统的领导人和有远见的人提供一个开放的工作论坛，目标是制定路线图，以克服航空软件系统的规范、设计、认证和测试所面临的关键航空软件和系统问题和挑战。

This award is for a workshop on the topic of "Aviation Software Systems: Design for Certifiably Dependable Systems" to be held in Alexandria Virginia on October 5-6, 2006. This one of several workshops in a series of activities concerned with high-confidence and certifiable software and systems, 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 concerned with Aviation Software and Systems from industry, government, research laboratories, and academia, with the goal of developing a roadmap to overcome crucial aviation software and systems issues and challenges facing the specification, design, certification, and testing of aviation software systems.