Jun 07, 2016: Freek van den Berg: Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques

June 07, 2016Efficiently Computing Latency Distributions by Combined Performance Evaluation Techniques
Room: HB 2BFreek van den Berg
12:30-13:30

Service-oriented systems are designed for interconnecting with other systems. The provided services face timing constraints, the so-called latencies. We present a high-level performance evaluation technique that can be used by a system designer to obtain distributions of these latencies. This technique is capable of capturing nondeterministic, probabilistic and real-time aspects in one go. It comes with an efficient algorithm that combines basic estimates, simulation, and (probabilistic) model checking. Thereby, the techinque makes use of different underlying formalisms, such as Stochastic Timed Automata (STA), Probabilistic Timed Automata (PTA) and Timed Automata (TA).