A Survey on Chronicles and other Behavior Detection Techniques

Until recently, the processing of a rapidly changing dataflow used to be very costly in terms of computation duration. Thus, the extraction of semantic information, requiring complex correlations of events in a temporal pattern, was not possible in real time. Computer performance has sufficiently improved to now allow such processing to take place, with, obviously, a very broad range of interesting applications. Various underlying formal frameworks exist to perform this kind of analysis, and this paper is aimed at reviewing the various (families of) such formalisms, and at comparing them according to a series of general features. It also provides a detailed example of the kind of analysis that can be performed with these formalisms in aeronautics, where the recent evolution of air traffic management, the potential introduction of unmanned aircraft in general air traffic, and various other recent trends form a general context pointing toward a much wider use of dataflow exchanges.