Timed automata are a popular formalism to model real-time systems. They were introduced
two decades ago to support formal verification. Since then they have also been used for …

Networks with hop-by-hop flow control occur in several contexts, from data centers to
systems architectures (eg, wormhole-routing networks on chip). A worst-case end-to-end …

This paper presents a compositional and hybrid approach for the performance analysis of
distributed real-time systems. The developed methodology abstracts system components by …

Research on modeling and analysis of real-time computing systems has been done in two
areas, model checking and real-time scheduling theory. In model checking, an expressive …

Component-based validation techniques for parallel and distributed embedded systems
should be able to deal with heterogeneous components, interactions, and specification …

The value of guardband reduction is a critical open issue for the semiconductor industry. For
example, due to competitive pressure, foundries have started to incent the design of …

Timing is a central concern in critical embedded systems. Such systems must interact with a
physical environment in a timely fashion. The critical point here is not average performance …

This paper advocates a rigorously formal and compositional style for obtaining key
performance and/or interface metrics of systems with real-time constraints. We propose a …

The amount of system functions realized by software drastically increased in recent years.
Software tasks of safety-critical systems like those in the automotive domain have to work in …

Nowadays, most embedded safety critical systems have to work in a timely manner in order
to deliver desired services. In such timed systems not only ordering of events but timing …