软件验证相关论文
随着软件的发展,软件的安全问题已经受到了工业界的关注和担忧。软件验证正是其中一种可以检查软件安全的方法。近年来,由于对软件......
随着嫦娥三号、暗物质粒子探测卫星以及世界首颗量子科学实验卫星“墨子号”的成功发射,我国的空间探测技术取得了巨大进步。与此......
随着计算机软硬件系统规模的日益复杂化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问题。而当......
软件已经成为国防建设与国计民生的重要组成部分,如何提高软件的正确性、可靠性和安全性是计算机软件领域面临的重要挑战。Clarke......
随着在航空器和发动机上所用的机载系统和设备对软件的使用迅速增加，为满足适航性要求，航空无线电技术委员会(RTCA)制定了DO-178B标......
在国民经济与国防现代化建设中,计算机软件在日常生活中的应用越来越普及,软件可靠性问题日趋受到人们的重视,尤其对于一些安全关......
美国暖通工程师协会发布的ASHRAE-140标准通过一套标准测试案例,对建筑能耗模拟软件的计算性能进行认证.目前国际主流的建筑能耗模......
本文在研究卡尔曼滤波算法的基础上，将扩展卡尔曼滤波算法应用于永磁电机闭环矢量控制系统中，对电机的转速和转角进行实时在线估计。......
以一款视频图像定标器为研究对象,提出了一种适用于大规模数字集成电路的软件功能性验证平台,详细阐述了平台的结构、平台中测试向......
据统计由血栓引起的疾病已经成为全球总死亡人数第一位的疾病,在中国,患者总数已经达到一千万人以上,且血栓疾病有高致残、高复发......
基于美国暖通工程师协会ASHRAE-140国际建筑能耗模拟软件对比标准,采用对比测试法,对建筑能耗模拟软件计算内核的准确性进行全面检......
期刊
现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.......
为了确保并证明列车网络控制系统软件符合软件需求规范对软件产品在功能、安全、性能、规范等各方面的要求.需对列车网络控制系统......
