Symbolic quality control for multimedia applications

We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unknown increasing functions of quality level parameters. The method allows the construction of a Controller which computes adequate action schedules and corresponding quality levels, so as to meet QoS requirements for a given platform. These include requirements for safety (action deadlines are met) as well optimality (maximization and smoothness of quality levels). The Controller consists of a Quality Manager and a Scheduler. For each action, the Controller uses a quality management policy for choosing a schedule and quality levels meeting the QoS requirements. The schedule is selected amongst a set of optimal schedules computed by the Scheduler. We extend and improve results of previous papers providing a solid theoretical basis for designing and implementing the Controller. We propose a symbolic qualit...

• Type: Journal
• Year: 2008
• Where: RTS
• Authors: Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
• Keywords: Quality Levels, Quality Management, RTS 2008, Symbolic Quality Management