TRAP: A Platform For Flexible Runtime Verification of Temporal Properties

Daian Yue 1, 2
1 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : La plateforme d’analyse de trace en runtime TRAP fournit un outillage dans le cadre de l’ingénierie dirigée par les modèles qui permet l’analyse et la vérification de traces pour des prototypes virtuels et des systèmes cyber-physiques. Le principal objectif est de faciliter la définition de propriétés qui doivent être satisfaites, et leur vérification soit pendant le fonctionnement du système, soit sur des traces enregistrées. Les outils de vérification proposés n’exigent pas de connaître dans les détails l’implémentation du système, et aucune recompilation ou reconstruction du système n’est nécessaire pour explorer différentes propriétés. Les langages proposés ne requièrent pas non plus de connaissance préalable de la logique temporelles pour ceux qui les manipulent. TRAP propose des Langages Spécifiques de Domaine (DSL) intégrés dans les outils Eclipse. Ces langages reposent sur le formalisme CCSL avec sa notion d’horloge logique et l’algèbre d’horloges associée. Les compilateurs des langages génèrent du code C++ qui vérifie les propriétés temporelles en faisant usage de chargement dynamique de code.
Type de document :
Rapport
[Research Report] RR-9006, INRIA. 2016, pp.46
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01417075
Contributeur : Vania Joloboff <>
Soumis le : lundi 13 février 2017 - 09:48:34
Dernière modification le : jeudi 15 novembre 2018 - 11:58:49
Document(s) archivé(s) le : dimanche 14 mai 2017 - 12:12:19

Fichier

RR-9006 (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01417075, version 1

Citation

Daian Yue. TRAP: A Platform For Flexible Runtime Verification of Temporal Properties. [Research Report] RR-9006, INRIA. 2016, pp.46. 〈hal-01417075〉

Partager

Métriques

Consultations de la notice

502

Téléchargements de fichiers

113