Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Brevet

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
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-01469761
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : jeudi 16 février 2017 - 17:00:00
Dernière modification le : mardi 19 octobre 2021 - 11:02:49

Identifiants

  • HAL Id : hal-01469761, version 1

Collections

ENAC | LII

Citation

Stéphane Chatty. Processing unit, software and method for controlling interactive components. France, Patent n° : EP 20150305949. 2016. ⟨hal-01469761⟩

Partager

Métriques

Consultations de la notice

57