状态变迁矩阵相关论文
航天软件评测中心统计数据表明航天领域大型实时嵌入式软件故障80%是由中断嵌套引起的,而中断嵌套产生的原子性违背（Atomic Violati......
随着硬件技术进步和软件技术积累,软件复杂度随着软件体量日益增加。如何保证软件可靠性越来越得到人们重视。采用基于模型的形式......
随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自......
异构计算作为一种特殊的并行计算方式,能根据计算任务的特点发挥不同计算资源的能力,在提高服务器计算性能、能效比和实时性方面有......
