载人航天工程软件工程化技术标准若干技术探讨

根据载人航天软件系统的新要求、新特点,针对载人航天工程软件工程化技术标准,从工程应用角度探讨软件系统设计、软件系统验证、软件安全性等技术问题,为标准的执行和进一步完善提供参考。