Ecole Nationale De L'aviation Civile

Intuilab

Stéphane Chatty

Alban Hermet-Chavanne

Mathieu Magnaudet

Daniel Prun

The invention relates to a method to generate computer instructions to control a representation of one or more objects, said representation being defined at least by attributes of said one or more objects, said method comprising: representing, in a graphical form, a source attribute of an object, possible values of the source attribute and one or more target attributes of said one or more objects; allowing a user to select a subset of the possible values of the source attribute; allowing a user to define a rule of transformation of the subset of the possible values of said source attribute into values of target attributes of said one or more objects; generating computer instructions configured to cause a processor to execute the rule of transformation.

Graphical interface to generate instructions to control a representation by an output interface of one or more objects

The invention relates to the verification of properties of an interactive component having a recursive tree structure of subcomponents. The verification comprises creating an oriented graph from the tree, said oriented graph comprising arcs for the child relationships of the tree, and arcs for couplings creating upon couplings between the components. The verification comprises creating a second graph representative of the property, and verifying if the second graph is exhibited within the first oriented graph.

Growing community of inventors

Toulouse, France

Stéphane Chatty