Abstract
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. © IFIP International Federation for Information Processing 2005.
Cite
CITATION STYLE
Yamane, S. (2005). Automata-theoretic performance analysis method of soft real-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3823 LNCS, pp. 1211–1224). https://doi.org/10.1007/11596042_123
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
