|
高安全系统的软件开发与验证技术工信部重点实验室
Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology |
|
本实验室在建设过程中得到了学校和上级主管部门的大力支持,先后获得了江苏省优势学科、江苏省重点学科、条件保障、重点实验室建设经费、江苏省软件协同创新中心等建设项目的支持,本年度学校和学院共投入经费100万元用于实验室建设。通过建设,学科建成海量数据分析平台系统软件、综合航电系统开发环境和国防软件测试和认证等学科平台等,形成了本实验室的基础。经过近年学校的重点投入和建设,实验室已成为具有鲜明特色的高安全软件技术的研究基地。 依托于实验室,与八家科研院所建立了省级研究生工作站,对于每个项目组学校和企业分别配备富有工程实践经验的导师、辅助教师和现场技术指导,为学生的社会实践创造良好条件。除与地方企业进行合作外,学校还与从事国防软件工程研发的各大科研院所(如28所、中科院电子所苏州研究院等)建立了广泛的合作关系。许多研究生参与了国防预研项目及型号研制任务,提高了学生的科研能力,为毕业生更好地服务国防事业奠定了基础。 |
联系人:陶传奇,谢健 编码:211106 地址:江苏省南京市将军大道29号南航计算机科学技术学院 |
电话:025-84892848 传真:025-84892848 E-mail:taochuanqi@nuaa.edu.cn, xiejian_5@nuaa.edu.cn |
|||||
友情链接: | 站内文章检索: | |||||
版权所有(C)南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室 | |