 |
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.
Littérature citée [24 références]
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
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)