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).