Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2016

Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC

Résumé

Ce papier présente notre travail sur l’implémentation d’un dispositif de vérification en ligne pour la surveillance d’une application qui s’exécute sur un SoPC (System on Programmable Chip). Le but est de vérifier que l’exécution de l’application est conforme à un ensemble de propriétés. Cette vérification est réalisée par des moniteurs implémentés sur le FPGA du SoPC. Ces moniteurs sont générés à partir de spécifications qui traduisent le comportement du système exprimé dans le langage formel ptLTL (past-time Linear Temporal Logic).
Fichier non déposé

Dates et versions

hal-01324796 , version 1 (01-06-2016)

Identifiants

  • HAL Id : hal-01324796 , version 1

Citer

Dimitry Solet, Sébastien Pillement, Mikaël Briday, Jean-Luc Béchennec, Sébastien Faucou. Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC. Colloque National GDR SoC-SiP, Jun 2016, Nantes, France. , paper ID#68, 2016. ⟨hal-01324796⟩
152 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More