新疆大学学报(自然科学版)

2018, v.35;No.150(02) 188-194

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

一种中断驱动系统的时间约束验证方法
A Method to Verify Time Constraints of Interrupt-Driven System

鞠秀芳;

摘要(Abstract):

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

关键词(KeyWords): 中断驱动的系统;时间约束;验证;线性混成自动机

Abstract:

Keywords:

基金项目(Foundation): 国家社会科学基金项目“基于引文分析的期刊非正常引用行为研究”(13CTQ034)

作者(Author): 鞠秀芳;

Email:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享