Skip to Main content Skip to Navigation
Patents

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.
Document type :
Patents
Complete list of metadatas

https://hal-enac.archives-ouvertes.fr/hal-01469761
Contributor : Laurence Porte <>
Submitted on : Thursday, February 16, 2017 - 5:00:00 PM
Last modification on : Tuesday, October 20, 2020 - 10:32:06 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

113