节点文献

一种中断驱动系统的时间约束验证方法

免费订阅

【作者】 鞠秀芳

【Author】 JU Xiufang;Chinese Social Science Research Evaluation Center, Nanjing University;

【机构】 南京大学中国社会科学研究评价中心

【摘要】 中断是嵌入式系统进行实时响应的重要机制.以测试为基础的传统方法在处理中断驱动的系统时,由于系统可能的运行轨迹空间无穷,其有效性受到很大的影响.本文基于线性混成自动机有界验证技术提出一种对中断驱动系统的时间约束进行验证的方法,应用线性混成自动机对中断驱动的系统建模,将时间约束验证问题转换成线性混成自动机上的路径可达性判定问题,并借助模型检验工具BACH来进行验证,以周期性中断源驱动的嵌入式系统为例,说明了方法的可行性和有效性.

【基金】 国家社会科学基金项目“基于引文分析的期刊非正常引用行为研究”(13CTQ034)
【所属期刊栏目】 信息科学与技术 (2018年02期)
  • 【DOI】10.13568/j.cnki.651094.2018.02.011
  • 【分类号】TP368.1
  • 【下载频次】27
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: