Incremental methods for checking real-time consistency - Archive ouverte HAL Access content directly
Conference Papers Year : 2020

Incremental methods for checking real-time consistency

(1) , (1) , (2) , (2) , (1)


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⟩
37 View
3 Download



Gmail Facebook Twitter LinkedIn More