Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal-enac.archives-ouvertes.fr/hal-01815208
Contributor : Laurence Porte <>
Submitted on : Wednesday, June 13, 2018 - 8:07:55 PM
Last modification on : Tuesday, February 11, 2020 - 1:55:44 PM
Document(s) archivé(s) le : Friday, September 14, 2018 - 3:13:20 PM

File

beger_afadl2018.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01815208, version 1

Collections

ENAC | LII

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⟩

Share

Metrics

Record views

163

Files downloads

109