摘要：作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。

摘要：针对国家和军队信息化建设中需求工程面临的挑战,考虑需求工程对人员的技术能力、交流协调能力、问题分析能力、社会知识基础的综合要求较高,结合软件工程知识体(SWEBOK)、软件工程教育知识体(SEEK)等规范最新进展,对软件需求工程本科和研究生课程的建设进行了思考,针对课程内容建设、教学实践环节设计、考核方式等提出一系列改进措施,并对这些措施的具体实施进行讨论。

摘要：软件失效模式及影响分析(FMEA)是一种提高软件安全性和可靠性的有效方法。本文提出基于程序依赖关系的面向对象软件程序级FMEA方法,在详细设计及代码实现阶段,通过构造系统依赖图描述代码间存在的复杂的依赖关系,并采用切片技术提高失效原因和影响分析的效率。

摘要：IP多媒体子系统(IMS)运维管理平台管理设备数量多,运行维护压力大,且现行的IMS运维管理平台运行维护方式无法完成对故障的智能化处理。为解决该问题,对IMS运维管理平台进行优化,设计智能化故障处理功能,在分析IMS运维管理平台总体架构和部署架构的基础上完成网络信令和业务的监控。介绍故障处理的总流程及核心网故障分析、 IAD监测、关键用户保障的流程,并对IMS运维管理平台智能化故障处理功能进行应用。该功能的实现为IMS运行、维护、管理提供有效支撑,具有推广意义。