Repairing Real-Time Requirements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Repairing Real-Time Requirements


We consider the problem of repairing inconsistent real-time requirements with respect to two consistency notions: non-vacuity, which means that each requirement can be realized without violating other ones, and rt-consistency, which means that inevitable violations are detected immediately. We provide an iterative algorithm, based on solving SMT queries, to replace designated parameters of real-time requirements with new Boolean expressions and time constraints, so that the resulting set of requirements becomes consistent.
Fichier principal
Vignette du fichier
atva2022-NSJMM.pdf (440.78 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03777464 , version 1 (14-09-2022)


  • HAL Id : hal-03777464 , version 1


Reiya Noguchi, Ocan Sankur, Thierry Jéron, Nicolas Markey, David Mentré. Repairing Real-Time Requirements. ATVA 2022 - 20th International Symposium on Automated Technology for Verification and Analysis, Oct 2022, Beijing, China. pp.1-16. ⟨hal-03777464⟩
28 View
58 Download


Gmail Facebook Twitter LinkedIn More