资源配置是综合模块化航空电子系统(IMA)设计的重要环节,配置信息的安全性分析是保障整个航空电子系统安全性的关键。传统的安全性......

针对媒体系统芯片的不同仿真和验证要求，提出了一种基于FPGA平台的媒体系统芯片验证框架。采用层次化的方法设计软件平台，实现了软件......

在Web开发中,繁琐的表单验证会花费大量的时间与精力,本文简要介绍了一种综合利用正则表达式和XML技术的通用验证框架,可以基本满......

模型驱动体系结构（Model Driven Architecture，MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的......

随着国家和社会对软件的依赖程度日益增长，软件的安全性越来越受到关注，软件的安全性主要包括saflety和security两个方面。Safety是......

在信息时代,计算机软件技术得到了广泛的应用。然而,随着软件功能越来越强大,软件本身也变得愈发复杂,软件的可靠性和安全性越来越......

由于故障预测与健康管理系统(PHM)是涉及多层次、多领域、耦合度高的复杂系统,很难从整体对PHM系统进行设计和验证,所以始终没有成......

在社会逐渐走入信息时代的今天,社会的各个层面,包括工业界、政府机关、学校、商业部门等,都和计算机软件等信息系统结合越来越紧......

采用与电机相同材料制作包装验证框架,用不同的防锈材料包装,进行盐雾试验,验证电机包装方案中所使用的气相防锈膜、防锈油、防锈......

介绍了国外空间信息网络的发展及相关项目演示验证情况,针对我国空间信息网络的体系架构及网络体系特点,对关键技术及验证需求进行......