A key step in concurrent real-time system development is to build a model from which the implementation is synthesized. It is thus important to understand the relation between the properties of a model and its corresponding implementation. In this paper, we first build two relations: 1) 2-weakening relations on MITLR formulas, which are used to express real-time properties of the system, and 2)...

Real-time systems are traditionally classified into hard real-time and soft real-time: in the first category we have safety critical real-time systems where missing a deadline can have catastrophic consequences, whereas in the second class we find systems for which we need to optimise the Quality of service provided to the user. However, the frontier between these two classes is thinner than on...

Title of Dissertation: PROVIDING QOS WITH REDUCED ENERGY CONSUMPTION VIA REAL-TIME VOLTAGE SCALING ON EMBEDDED SYSTEMS Shaoxiong Hua, Doctor of Philosophy, 2004 Dissertation directed by: Professor Gang Qu Department of Electrical and Computer Engineering Low energy consumption has emerged as one of the most important design objectives for many modern embedded systems, particularly the battery-o...

This paper introduces an analytical method for approximating the performability of a firm realtime system modeled by a multi-server queue. The service discipline in the queue is earliestdeadline- first (EDF), which is an optimal scheduling algorithm. Real-time jobs with exponentially distributed relative deadlines arrive according to a Poisson process. All jobs have deadlines until the end of s...

A real-time music system is responsible for deciding what happens when, when each task runs and each message takes effect. This question becomes acute when there are several classes of tasks running and intercommunicating: user interface, control processing, and audio, for example. We briefly examine and classify past approaches and their applicability to distributed systems, then propose and d...