程胜，蔡铭著2012 年出版382 页ISBN：9787515902548
本书全面分析了国内外在高可靠嵌入式实时操作系统理论、技术、产品研发和应用进展，并针对研发航天高可靠嵌入式实时操作系统的理论、方法和相关技术进行了深入阐述，其中很多成果尚属国内首创。...
蔡铭，程胜，王瑞著2008 年出版374 页ISBN：9787802184244
本书针对复杂航天型号对软件高可靠性的要求，在深入分析软件故障特征的基础上，阐述当前软件调试手段与工具的技术分类体系，介绍一批最新的、具有代表性的软件调试技术，包括：程序规则分析、用户行为分析、虚拟化调...
