Aviation Software Systems: Design for Certification Workshop

该奖项是为2006年10月5日至6日在弗吉尼亚州亚历山大举行的“航空软件系统：可认证可靠系统的设计”主题研讨会颁发的。这是与国家科学技术委员会网络和信息技术研究与发展小组委员会下属的高可信度软件和系统协调小组合作主办的一系列有关高可信度和可认证软件和系统的讲习班之一。研讨会的目的是为工业界、政府、研究实验室和学术界关注航空软件和系统的领导者和有远见的人提供一个开放的工作论坛，目标是制定路线图，以克服航空软件和系统在规范、设计、认证和测试方面面临的关键问题和挑战。

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.