原子性违背相关硕士博士期刊学术论文 - 搜论网

原子性违背相关论文

嵌入式软件形式化建模与测试方法研究

航天软件评测中心统计数据表明航天领域大型实时嵌入式软件故障80%是由中断嵌套引起的,而中断嵌套产生的原子性违背（Atomic Violati......

学位

状态变迁矩阵软件测试瘦中断数据竞争原子性违背结构分解组合测试

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控......

期刊

多重中断数据竞争原子性违背偏序化简

看过本文同时还关注