Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems

Résumé

Due to the increase of complexity in real-time safety-critical systems, verification and validation costs have significantly increased. A straightforward way to reduce costs is to reuse existing systems, adapting them to new requirements, so as to avoid new costly developments. Our aim is to verify during the development strategy definition phase whether the existing products can be reused and adapted for a new customer, by identifying key parameters to be tuned in order to reuse existing products. Performing efficient verification is therefore crucial. In this paper, we focus on the performance requirement aspects. Nowadays , model-checking techniques have improved significantly to verify the performances of real-time systems. However, model-checking cannot address real-time systems where some timing constants are unknown or uncertain. Parametric model-checking leverage this shortcoming by identifying parameter ranges for which the system is correct. We report here on an experiment of the evaluation of the use of these formal techniques applied to automatize the synthesis of good parameter ranges for system reuse in the setting of the environment requirements for an aerial video tracking system.
Fichier principal
Vignette du fichier
parquier-FTSCS-16.pdf (816.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02538041 , version 1 (09-04-2020)

Identifiants

Citer

Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier Henri Roux, et al.. Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems. 5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩. ⟨hal-02538041⟩
39 Consultations
84 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More