Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
42 View
90 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More