5documents trouvés
Distributed monitoring of temporal system properties using Petri nets
O.BALDELLON, J.C.FABRE, M.ROY
TSF
Manifestation avec acte : International Symposium on Reliable Distributed Systems ( SRDS ) 2012 du 08 octobre au 11 octobre 2012, Irvine (USA), 2012, 10p. , N° 12214
Diffusable
128574Exécution répartie et temps-réel de réseaux de Petri
O.BALDELLON, M.ROY, J.C.FABRE
TSF
Manifestation avec acte : Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), La Grande Motte (France), 29 Mai - 1 Juin 2012, 4p. , N° 12212
Lien : http://hal.archives-ouvertes.fr/hal-00689991
Diffusable
Plus d'informations
Résumé
L'émergence de systèmes distribués, réactifs à l'environnement et de plus en plus complexes pose de nom- breuses problématiques scientifiques. En particulier, malgré les progrès faits pour limiter les erreurs lors de leur conception, la présence de fautes résiduelles est quasiment inévitable du fait de la complexité croissante des systèmes considérés. Il devient nécessaire d'introduire des mécanismes pour gérer les fautes potentielles lors de l'exécution ; on parle alors de supervision. Cet article introduit une approche permettant une supervision distribuée et efficace d'une propriété exprimée sous la forme d'un réseau de Petri.
Distributed evaluation of Petri nets: an out-of-order approach
O.BALDELLON, J.C.FABRE, M.ROY
TSF
Rapport LAAS N°12211, Avril 2012, 3p.
Diffusable
127070Out-of-order evaluation of timed petri nets for distributed monitoring
O.BALDELLON, M.ROY, J.C.FABRE
TSF
Rapport LAAS N°11612, Novembre 2011, 10p.
Lien : http://hal.archives-ouvertes.fr/hal-00643683/fr/
Diffusable
Plus d'informations
Abstract
Modern embedded systems for safety critical applications, found in planes or cars, are based on real-time distributed networks and require high level of robustness, reliability and adaptability. In order to complement static off-line validation of such systems, this paper introduces a novel approach for on-line verification of behavioral properties expressed as a sub-family of timed Petri nets. We show that, for the subclass of acyclic safe nets, whose expressivity matches real-time systems constraints, it is possible to define a commutative and associative operation on states that enables out-of-order evaluation of the state of the Petri net, and thus a fully distributed evaluation of the behavior of the system under supervision. Additionally, when provided with a mapping between events and nodes of the distributed system, we show how to efficiently distribute the monitoring system on top of the applicative system, and provide algorithms for local evaluation and merging of information in order to detect as soon as possible when the system deviates from its specification.
Distributed monitoring of real-time properties: an introduction to abstraction trees
O.BALDELLON, M.ROY
TSF
Rapport LAAS N°11386, Juillet 2011, 7p.
Diffusable
124985