R. Kervarc (ONERA), A. Piel (CEA LIST, Executable Language Engineering and Optimisation Laboratory R&D Departm
Jusqu’à il y a peu, le traitement de flux de données à forte dynamique à été très coûteux en termes de durée de calcul. En conséquence, l’extraction temps réel d’information sémantique, qui demande des corrélations complexes d’évènements dans un motif temporel, n’était pas possible. La performance des ordinateurs s’est suffisamment améliorée pour que de tels traitements puissent maintenant être réalisés pour une très large gamme d’applications intéressantes. Plusieurs cadres de travail formels sous-jacents permettant de réaliser ce type d’analyse existent et cet article vise à effectuer une revue des diverses familles de tels formalismes et à les comparer suivant une série de caractéristiques générales. Il fournit également un exemple détaillé du type d’analyse qui peut être réalisée avec ces formalismes en aéronautique, où l’évolution récente de la gestion du trafic aérien, l’introduction potentielle d’avions inhabités dans le trafic ainsi que plusieurs autres tendances récentes forment un contexte général pointant vers une meilleure utilisation des échanges de flux de données.