摘要
可调整时间自动机在时间自动机的基础上扩展了时钟调整形式,是一种有效描述实时系统行为的计算模型,借助这种模型对实时系统进行分析、设计、验证能够保证较高的可靠性。研究其可达性算法是保证系统可靠性的理论基础,文中给出适用于时钟调整形式的EDBM操作并提出一种可达性算法,针对对角线约束情况给出一种对角线约束筛选算法保证了算法的正确性。
Updatable timed automata extends time automata with updates, which is an efficient computational model to describe the behavior of real-time system, using this model for real-time system when analyzing, designing and verifying ensures high reliability. The study on reachability algorithm is the theoretical foundation of system reliability. This paper provides the EDBM operation with updates and a reachability algorithm, a selection algorithm of diagonal constraints ensures the correctness of updatable timed automata with diagonal constraints.
出处
《信息技术》
2014年第9期4-7,共4页
Information Technology
基金
国家自然科学基金(NSFC 61100052)
