Recently, the verification method of schedulability of real-time operating systems using timed automata have been developed. On the other hand, as soft real-time systems such as distributed systems and multimedia systems have been increasing, it is important to design soft real-time systems. Especially, performance analysis methods are important for soft real-time systems. In this paper, we develop the automata-theoretic performance analysis method of soft real-time systems by extending the verification method of schedulability of hard real-time systems using utility functions.
Weitere Kapitel dieses Buchs durch Wischen aufrufen
- Automata-Theoretic Performance Analysis Method of Soft Real-Time Systems
- Springer Berlin Heidelberg