科学和工业研究委员会-国家航空航天实验室开发和认证高完整性软件