Critical Time Distributed Systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets - Université Toulouse 3 Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

Critical Time Distributed Systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets

Résumé

Critical time distributed systems cannot be considered from a time point of view as Markovian processes and classical analysis methods cannot then be used.We present for analysing such systems a methodology based on the concept of the worst case(s). Such methodology is implemented thanks to the so-called “Stochastic Timed Petri Net” which allows to combine different transition firing rules.As application example, we consider a distributed producer-consumer process (the production process is periodic with a jitter; the produced data have a validity time window; the consumption request process is periodic with a jitter).
Fichier non déposé

Dates et versions

hal-00349417 , version 1 (30-12-2008)

Identifiants

Citer

Guy Juanole, Laurent Gallon. Critical Time Distributed Systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets. 8th International IFIP Conference on formal Description Techniques for Distributed Systems and Communications Protocols (FORTE/PSTV'95), Oct 1995, Montréal, Canada. pp.349-364, ⟨10.1007/978-0-387-34945-9_26⟩. ⟨hal-00349417⟩
57 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More