Repairing Real-Time Requirements - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Repairing Real-Time Requirements

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-03777464 , version 1

Citer

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⟩
61 Consultations
92 Téléchargements

Partager

Gmail Facebook X LinkedIn More