Vers la certification de programmes interactifs Djnn - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Vers la certification de programmes interactifs Djnn

(1) , (1) , (1)
1
Pascal Béger
  • Fonction : Auteur
  • PersonId : 1033132
Sébastien Leriche
  • Fonction : Auteur
  • PersonId : 981599
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486

Résumé

Les systèmes critiques, particulièrement aéronautiques, contiennent de nouveaux dispositifs hautement interactifs. Pour certifier les logiciels qui les exploitent, les approches de vérification existantes ne sont pas toujours adaptées. Dans ce papier court, nous introduisons notre approche de construction d’applications interactives au moyen de Djnn (le modèle et l’API) et Smala (le langage réactif de haut niveau) puis nous discutons de la pertinence des outils et méthodes de vérifications dans ce contexte. Nous présentons enfin nos premiers résultats et perspectives de vérification formelle de programmes interactifs Djnn.
Fichier principal
Vignette du fichier
beger_afadl2018.pdf (227.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01815208 , version 1 (13-06-2018)

Identifiants

  • HAL Id : hal-01815208 , version 1

Citer

Pascal Béger, Sébastien Leriche, Daniel Prun. Vers la certification de programmes interactifs Djnn. Afadl 2018, 17èmes journées Approches Formelles dans l’Assistance au Developpement de Logiciels, Jun 2018, Grenoble, France. ⟨hal-01815208⟩

Collections

ENAC LII ANR
181 Consultations
126 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More