Skip to Main content Skip to Navigation
Conference papers

Incremental methods for checking real-time consistency

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-02894772
Contributor : Thierry Jéron <>
Submitted on : Thursday, July 9, 2020 - 11:15:31 AM
Last modification on : Friday, January 8, 2021 - 3:40:43 AM

Links full text

Identifiers

  • HAL Id : hal-02894772, version 1
  • ARXIV : 2007.01014

Citation

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⟩

Share

Metrics

Record views

44