Designing, developing and verifying interactive components iteratively with djnn - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Designing, developing and verifying interactive components iteratively with djnn

Mathieu Magnaudet
  • Fonction : Auteur
  • PersonId : 957733
Daniel Prun
  • Fonction : Auteur
  • PersonId : 947486
Stéphanie Rey
Mathieu Poirier
  • Fonction : Auteur
  • PersonId : 972012

Résumé

Introducing iterative user interface design methods into the development processes of safety-critical software creates technical and methodological challenges. This article describes a new programming paradigm aimed at addressing some of these challenges: interaction-oriented programming. In this paradigm any piece of software consists of a hierarchical collection of components that can interact among themselves and with their environment, and its execution consists in propagating activation through interactions between components. We first describe the principles of interaction-oriented programming, and illustrate them by describing the basic components provided by the djnn programming framework to create interactive software. We then show how interactive programming provides a basis for formulating and checking properties that capture requirements on interactive components. The rest of the article is dedicated to example design and development scenarios that illustrate how development environments could leverage interactive programming in the future so as to jointly address the requirements of modern user interface design and safety-critical software development .
Fichier principal
Vignette du fichier
paper_89.pdf (289.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01292291 , version 1 (22-03-2016)

Identifiants

  • HAL Id : hal-01292291 , version 1

Citer

Stéphane Chatty, Mathieu Magnaudet, Daniel Prun, Stéphane Conversy, Stéphanie Rey, et al.. Designing, developing and verifying interactive components iteratively with djnn. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France. ⟨hal-01292291⟩

Collections

ENAC LII ERTS2016
217 Consultations
257 Téléchargements

Partager

Gmail Facebook X LinkedIn More