高安全系统的软件开发与验证技术工信部重点实验室

Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology
 
依托单位
发布人:翁怡婷  发布时间:2020-10-24   浏览次数:587

本实验室在建设过程中得到了学校和上级主管部门的大力支持,先后获得了江苏省优势学科、江苏省重点学科、条件保障、重点实验室建设经费、江苏省软件协同创新中心等建设项目的支持,本年度学校和学院共投入经费100万元用于实验室建设。通过建设,学科建成海量数据分析平台系统软件、综合航电系统开发环境和国防软件测试和认证等学科平台等,形成了本实验室的基础。经过近年学校的重点投入和建设,实验室已成为具有鲜明特色的高安全软件技术的研究基地。