Based on the corresponding publications, a survey of tools for the evaluation of the timing behavior of real-time systems is presented. Both analytical and simulation-based tools are surveyed.

Preparing the books to read every day is enjoyable for many people. However, there are still many people who also don't like reading. This is a problem. But, when you can support others to start reading, it will be better. One of the books that can be recommended for new readers is real time simulation and visualization of deformable objects. This book is not kind of difficult book to read. It ...

This paper studies how to exploit the predicted information to maximize energy efficiency (EE) of a system supporting hybrid services. To obtain an EE upper bound of predictive resource allocation, we jointly optimize resource allocation for video on-demand (VoD) and real-time (RT) services to maximize EE by exploiting perfect future large-scale channel gains. We find that the EE-optimal predic...

To combat the state-explosion problem in automatic verification, we present a method for scaling up the real-time verification tool Uppaal by complementing it with methods for abstraction and compositionality. We identify a notion of timed ready simulation which we show is a sound condition for preservation of safety properties between realtime systems, and in addition is a precongruence with r...

The static and analytic scheduling approach is very difficult to follow and is not always applicable in real-time. Most of the scheduling algorithms are designed to be established in offline environment. However, we are challenged with three characteristics in real cases: First, problem data of jobs are not known in advance. Second, most of the shop’s parameters tend to be stochastic. Third, th...