Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools

Sophie Quinton 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : The verification of real-time systems has been an active area of research for several decades now. Some results have been successfully transferred to industry. Still, many obstacles remain that hinder a smooth integration of academic research and industrial application. In this extended abstract, we discuss some of these obstacles and ongoing research and community efforts to bridge this gap. In particular, we present several experimental and theoretical methods to evaluate and compare real-time systems analysis methods and tools.
Type de document :
Communication dans un congrès
FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. Springer, 11119, pp.284-290, LNCS. 〈10.1007/978-3-030-00244-2_19〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01903730
Contributeur : Sophie Quinton <>
Soumis le : mercredi 24 octobre 2018 - 15:42:46
Dernière modification le : vendredi 26 octobre 2018 - 08:49:38
Document(s) archivé(s) le : vendredi 25 janvier 2019 - 14:40:20

Fichier

main-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Sophie Quinton. Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. Springer, 11119, pp.284-290, LNCS. 〈10.1007/978-3-030-00244-2_19〉. 〈hal-01903730〉

Partager

Métriques

Consultations de la notice

64

Téléchargements de fichiers

47