Processing unit, software and method for controlling interactive components - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Brevet Année : 2016

Processing unit, software and method for controlling interactive components

Résumé

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.
Fichier non déposé

Dates et versions

hal-01469761 , version 1 (16-02-2017)

Identifiants

  • HAL Id : hal-01469761 , version 1

Citer

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

Collections

ENAC LII
58 Consultations
0 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More