A Timed Automata Formalism for Modeling Resource Management and Quality of Service in Real-Time Contexts
Magnus Persson, Lei Feng, Martin Törngren · 2009
Quality of service (QoS) and resource management play important roles in embeddedsystems. In this report, a formalism to describe QoS properties in real-time systemsis presented. The formal model i ...