Incremental methods for checking real-time consistency - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Incremental methods for checking real-time consistency


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.

Dates and versions

hal-02894772 , version 1 (09-07-2020)



Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi, Ocan Sankur. Incremental methods for checking real-time consistency. FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18. ⟨hal-02894772⟩
51 View
3 Download



Gmail Facebook X LinkedIn More