A technique for defining and extracting passage-time densities from high-level stochastic
process algebra models is presented. Our high-level formalism is PEPA, a popular …

The new paradigm of service-oriented computing facilitates easy construction of dynamic,
complex distributed systems. Recent research has shown that machine learning methods …

This paper presents a method to assess response time of automation system architectures
including industrial switched Ethernet networks using client/server protocols. The method …

This paper describes how soft performance bounds can be expressed for software systems
using stochastic probes over stochastic process algebra models. These stochastic probes …

Passage time densities and quantiles are important performance and quality of service
metrics, but their numerical derivation is, in general, computationally expensive. We present …

Recently, serious failures of complex IT systems are becoming social problems. Assurance
case has been attracted as the technique of assuring the dependability of critical systems in …

Performance evaluation is required at every stage in the life cycle of a network protocol.
Analytical modeling is the method of choice for fast and cost effective evaluation of a network …

In this paper, we propose a technique to implement communication protocols as hardware
circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of …

Using the moment sequence of a continuous probability function to regenerate the full
distribution is a mathematical problem that has been investigated for many years. One …

This paper studies optimal deployment and priorities for a class of distributed real-time
systems which have complex server tasks, many concurrent scenarios, operations with …