线性混成自动机论文

中断驱动系统时间约束的建模与验证研究
论文摘要满足各种时间约束是实时嵌入式系统设计的一个重要目标。通常,时间约束要求实时系统在满足功能性需求的同时,还必须保证系统行为的时效性,即系统必须在确定的时间内执行其功能。中...