Using the djnn framework to create and validate interactive components iteratively

Abstract : 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.