论文标题
检查实时一致性的增量方法
Incremental methods for checking real-time consistency
论文作者
论文摘要
需求工程是开发过程中的关键阶段。确保要求一致至关重要，因此它们不会冲突并承认实施。我们考虑对RT一致性的正式验证，这强加了应预期要求的确定性错误以及部分一致性的必然性，最近将其作为更有效的检查引入。我们将这两个概念概括为离散的定时自动机，开发三种增量算法，并提出实验结果。
Requirements engineering is a key phase in the development process. Ensuring that requirements are consistent is essential so that they do not conflict and admit implementations. We consider the formal verification of rt-consistency, which imposes that the inevitability of definitive errors of a requirement should be anticipated, and that of partial consistency, which was recently introduced as a more effective check. We generalize and formalize both notions for discrete-time timed automata, develop three incremental algorithms, and present experimental results.
