Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
main-final.pdf (150.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01903730 , version 1 (24-10-2018)

Identifiants

Citer

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. pp.284-290, ⟨10.1007/978-3-030-00244-2_19⟩. ⟨hal-01903730⟩
79 Consultations
263 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More