Using the djnn framework to create and validate interactive components iteratively

Stéphanie Rey (1) , Stéphane Conversy (1) , Mathieu Magnaudet (1) , Mathieu Poirier (1) , Daniel Prun (1) , Jean-Luc Vinot (1) , Stéphane Chatty (2, 3)

1 LII - ENAC - Equipe Informatique Interactive
2 PRES Université de Toulouse
3 ENAC - Ecole Nationale de l'Aviation Civile

Using a real life scenario of aircraft cockpit design, we illustrate how the model-based architecture of the djnn programming framework allows to combine the multidisciplinary and iterative processes of user interface design with the requirements of industrial system development. Treating software programs as hierarchies of interactive components allows to delegate the production of components to multiple actors, each using the tools of their trade. Components can be exchanged in various formats, refined without modifying their surroundings, and undergo automated property verifications before being integrated.

Domaines: Interface homme-machine [cs.HC]

Stéphanie Rey, Stéphane Conversy, Mathieu Magnaudet, Mathieu Poirier, Daniel Prun, et al.. Using the djnn framework to create and validate interactive components iteratively. EICS '15, 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM, Jun 2015, Duisburg, Germany. pp 230-233/978-1-4503-3646-8, ⟨10.1145/2774225.2775438⟩. ⟨hal-01166576⟩