面向嵌入式软件测试的仿真建模

论述了面向嵌入式软件测试的仿真建模相关理论、技术和方法,提出了基于接口的模型外特性建模、面向测试的模型内特性建模、模型驱动的测试过程。开发了自动化辅助建模工具EasyModel,提高建模效率,保证模型的正确性。该工具已成功地应用于多个型号的软件系统测试中,实验结果证明了该仿真工具的有效性。     

系统级软件FMEA计算机辅助设计研究

软件失效模式和影响分析(SFMEA)是提高软件可靠性的一种重要方法.针对人工SFMEA分析费时费力的问题,着眼于SFMEA的分析过程,对系统级SFMEA计算机辅助设计及相应辅助工具的实现展开了研究,介绍了系统级SFMEA分析的具体步骤,提出了对软件功能单元建模辅助生成软件约定层次,由已有通用失效模式库和相邻层次分析结果辅助获取软件失效模式、软件失效原因和纠正措施辅助设计等,并在此基础上开发了相应的辅助工具,从而减少SFMEA的分析工作量,提高SFMEA分析的效率.     

面向VxWorks的嵌入式软件集成开发环境研究

实现了一种嵌入式软件集成开发环境,完成面向VxWorks应用程序的开发,包括源代码的编辑、编译、链接、下载、调试等一系列功能。原理是以宿主一目标机的方式,用交叉编译器编译链接源代码,形成目标代码,用RPC方法实现下载功能,并通过远程调试器GDB与VxWorks的WDB代理通信实现源代码级调试。     

面向智能制造的工业机器人健康评估方法

以智能制造领域中最具有代表性的设备——工业机器人——为研究对象,针对其精度退化及设备故障问题,研究了工业机器人健康评估问题．首先,对工业机器人核心部件进行了失效模式及影响分析,并对现有工业机器人健康评估方法进行了综述．其次,提出了基于边－云协同和深度学习的工业机器人健康评估框架．在边缘层应用基于群组聚类和对等比较的方法进行异常检测,快速识别出发生异常的设备;在云端借助故障预测与健康管理技术以及人工智能算法对发生异常的设备进行深度健康评估．最后,对基于深度学习的工业机器人健康评估方法进行了展望．     

复杂航空软件工程化综合管理框架

为规范软件研制管理工作,满足航空软件复杂性、可靠性、安全性高的特点需求,提高软件研制质量和效率,提出一个适合复杂航空软件研制特点的软件工程化综合管理框架。按照软件工程化开发、软件质量管理和软件验证三条主线推进软件研制能力的提高,结合某航空装备软件实际项目,给出实施软件工程化的管理体系和实施方法。     

实时嵌入式系统测试脚本模型化研究

为进一步提高实时嵌入式系统仿真测试平台的实时性能,研究分析了仿真模型与测试脚本的关系和特点,提出了脚本模型化的思想,通过将测试脚本转化为模型行为,以取代测试脚本耗时的解释执行机制,加快代码执行速度。基于该思想,为GESTE平台设计了一个脚本转换器,并通过实际测试,定量地对比分析了脚本模型化对代码运行速度的提升。     

嵌入式软件仿真测试平台的建模环境设计

从嵌入式软件仿真测试平台的建模环境的特点出发,分析了嵌入式软件仿真测试平台中建模环境的功能和结构,提出了以体系结构为中心的仿真建模环境的设计方案.     

面向航电软件测试的建模描述语言研究

针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL).对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用.