Processing unit, software and method for controlling interactive components

Abstract : 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.
Type de document :
Brevet
United States, Patent n° : 20160371168. 2016
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-01469761
Contributeur : Laurence Porte <>
Soumis le : jeudi 16 février 2017 - 17:00:00
Dernière modification le : vendredi 22 juin 2018 - 14:18:07

Identifiants

  • HAL Id : hal-01469761, version 1

Collections

ENAC | LII

Citation

Stéphane Chatty. Processing unit, software and method for controlling interactive components. United States, Patent n° : 20160371168. 2016. 〈hal-01469761〉

Partager

Métriques

Consultations de la notice

67