Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Vers la certification de programmes interactifs Djnn

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal-enac.archives-ouvertes.fr/hal-01815208
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : mercredi 13 juin 2018 - 20:07:55
Dernière modification le : mercredi 3 novembre 2021 - 05:38:15
Archivage à long terme le : : vendredi 14 septembre 2018 - 15:13:20

Fichier

beger_afadl2018.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01815208, version 1

Collections

ENAC | LII | ANR

Citation

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⟩

Partager

Métriques

Consultations de la notice

176

Téléchargements de fichiers

123