DocumentCode :
685524
Title :
A Formal Coloured Petri Net Model for Hazard Detection in Large Event Flows
Author :
Carle, Patrice ; Choppy, Christine ; Kervarc, Romain ; Piel, Alexander
Author_Institution :
French Aerosp. Lab., ONERA, Palaiseau, France
Volume :
1
fYear :
2013
fDate :
2-5 Dec. 2013
Firstpage :
323
Lastpage :
330
Abstract :
This paper deals with a formal approach for the detection of situations in the context of complex event processing, which is a technique particularly employed in the aerospace field. Indeed, aerospace systems generally involve numerous interacting agents, to each of which are associated various possible events, thus yielding a huge flow of events. A common issue when dealing with the safety of such systems consists in being able to detect in this flow certain event correlations, from which one may then deduce that the system is in a particular (often critical or hazardous) state. This work is based on a situation description language called chronicles, and provides for it a formal recognition model based on coloured Petri nets. A two-layer compositional model is provided: a concurrent, nondeterministic recognition model for each chronicle construct, together with additional control structures allowing to overview the recognition treatments performed on the event flow.
Keywords :
Petri nets; aerospace computing; pattern recognition; aerospace field; chronicles; complex event processing; concurrent nondeterministic recognition model; control structures; event flows; formal coloured Petri net model; formal recognition model; hazard detection; situation description language; two-layer compositional model; Color; Computational modeling; Concurrent computing; Context; Inhibitors; Petri nets; Radiation detectors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference (APSEC), 2013 20th Asia-Pacific
Conference_Location :
Bangkok
ISSN :
1530-1362
Print_ISBN :
978-1-4799-2143-0
Type :
conf
DOI :
10.1109/APSEC.2013.51
Filename :
6805422
Link To Document :
بازگشت