The Spring kernel: a new paradigm for real-time systems

A real-time operating system kernel, called the Spring kernel, that provides some of the basic support required for large, complex, next-generation real-time systems, especially in meeting timing constraints, is presented. The approach meets the need to build predictable yet flexible real-time systems. Most current real-time operating systems contain the same basic paradigms found in time-sharing operating systems and often use a basic priority-scheduling mechanism that provides no direct support for meeting timing constraints. Spring uses two criteria to classify tasks' interaction with and effects on the environment: importance and timing requirements. Implementation experience with Spring is described     

Experiences with Ozone Treatment Of Drinking Water in Yugoslavia

Ozone currently is being used in several drinking water treatment plants in Yugoslavia. The new Belgrade water treatment plant “Makis” is the largest one with 42 kg/h of installed ozone generating capacity and has been in operation since 1987. This paper describes the main features of ozone application in drinking water treatment. The experimental results of “Makis” pilot-plant investigations and a few examples of ozone application in Yugoslavia are presented.     

Scalable Video Multicast Using Expanding Window Fountain Codes

Fountain codes were introduced as an efficient and universal forward error correction (FEC) solution for data multicast over lossy packet networks. They have recently been proposed for large scale multimedia content delivery in practical multimedia distribution systems. However, standard fountain codes, such as LT or Raptor codes, are not designed to meet unequal error protection (UEP) requirements typical in real-time scalable video multicast applications. In this paper, we propose recently introduced UEP expanding window fountain (EWF) codes as a flexible and efficient solution for real-time scalable video multicast. We demonstrate that the design flexibility and UEP performance make EWF codes ideally suited for this scenario, i.e., EWF codes offer a number of design parameters to be ldquotunedrdquo at the server side to meet the different reception criteria of heterogeneous receivers. The performance analysis using both analytical results and simulation experiments of H.264 scalable video coding (SVC) multicast to heterogeneous receiver classes confirms the flexibility and efficiency of the proposed EWF-based FEC solution.     

Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach

Assessment of software COTS components is an essential part of component-based software development. Poorly chosen components may lead to solutions of low quality and that are difficult to maintain. The assessment may be based on incomplete knowledge about the COTS component itself and other aspects (e.g. vendor’s credentials, etc.), which may affect the decision of selecting COTS component(s). We argue in favor of assessment methods in which uncertainty is explicitly represented (‘uncertainty explicit’ methods) using probability distributions. We provide details of a Bayesian model, which can be used to capture the uncertainties in the simultaneous assessment of two attributes, thus, also capturing the dependencies that might exist between them. We also provide empirical data from the use of this method for the assessment of off-the-shelf database servers which illustrate the advantages of ‘uncertainty explicit’ methods over conventional methods of COTS component assessment which assume that at the end of the assessment the values of the attributes become known with certainty.     

On code design for the Slepian-Wolf problem and lossless multiterminal networks

A Slepian-Wolf coding scheme for compressing two uniform memoryless binary sources using a single channel code that can achieve arbitrary rate allocation among encoders was outlined in the work of Pradhan and Ramchandran. Inspired by this work, we address the problem of practical code design for general multiterminal lossless networks where multiple memoryless correlated binary sources are separately compressed and sent; each decoder receives a set of compressed sources and attempts to jointly reconstruct them. First, we propose a near-lossless practical code design for the Slepian-Wolf system with multiple sources. For two uniform sources, if the code approaches the capacity of the channel that models the correlation between the sources, then the system will approach the theoretical limit. Thus, the great advantage of this design method is its possibility to approach the theoretical limits with a single channel code for any rate allocation among the encoders. Based on Slepian-Wolf code constructions, we continue with providing practical designs for the general lossless multiterminal network which consists of an arbitrary number of encoders and decoders. Using irregular repeat-accumulate and turbo codes in our designs, we obtain the best results reported so far and almost reach the theoretical bounds.     

A novel method for measuring induction machine magnetizing inductance

This paper presents a novel method for measuring the magnetizing inductance of an induction machine. The approach uses a static DC excitation technique which can be employed whenever the neutral of the machine is accessible. The proposed method measures only the magnetizing inductance and not the self inductance which normally includes the effect of the stator leakage inductance. Because this test uses a DC excitation, the iron losses in the motor are considerably reduced as well and minimally influence the measurement when compared to the traditional 60-Hz no-load test. By using the proposed method for measuring only the magnetizing inductance, the stator leakage inductance can be later individually determined by performing a separate no-load test. Test results using the method are compared with theoretical values and confirm its feasibility.     

Managing deadline miss ratio and sensor data freshness in real-time databases

The demand for real-time data services is increasing in many applications including e-commerce, agile manufacturing, and telecommunications network management. In these applications, it is desirable to execute transactions within their deadlines, i.e., before the real-world status changes, using fresh (temporally consistent) data. However, meeting these fundamental requirements is challenging due to dynamic workloads and data access patterns in these applications. Further, transaction timeliness and data freshness requirements may conflict. We define average/transient deadline miss ratio and new data freshness metrics to let a database administrator specify the desired quality of real-time data services for a specific application. We also present a novel QoS management architecture for real-time databases to support the desired QoS even in the presence of unpredictable workloads and access patterns. To prevent overload and support the desired QoS, the presented architecture applies feedback control, admission control, and flexible freshness management schemes. A simulation study shows that our QoS-aware approach can achieve a near zero miss ratio and perfect freshness, meeting basic requirements for real-time transaction processing. In contrast, baseline approaches fail to support the desired miss ratio and/or freshness in the presence of unpredictable workloads and data access patterns.     

Analysis of switched quantizer based on the quadratic spline functions

In this paper, an approximation of the optimal compressor function using the quadratic spline functions with 2L?=?8 segments is described. Since the quadratic spline with 2L?=?8 segments provides better approximation of the optimal compression function than quadratic spline with 2L?=?4 segments, capitalizing on the benefits of the obtained spline approximation, quantizer designing process is firstly performed for the so assumed number of segments and the Laplacian source of a unit variance. Then, to enhance the usability of the proposed model, the switched quantization technique is applied and a beneficial analysis is derived, providing insight in the robustness of the proposed quantizer performances with respect to the mismatch in designed for and applied to variances. Reached quality has been compared to another model from the literature, and it has been shown that the proposed model outperforms the previous model by almost 1.3?dB.     

Scheduling transactions with temporal constraints: exploiting data semantics

In this paper, issues involved in the design of a real-time database which maintains data temporal consistency are discussed. The concept of data-deadline is introduced and time cognizant transaction scheduling policies are proposed. Informally, data-deadline is a deadline assigned to a transaction due to the temporal constraints of the data accessed by the transaction. Further, two time cognizant forced wait policies which improve performance significantly by forcing a transaction to delay further execution until a new version of sensor data becomes available are proposed. A way to exploit temporal data similarity to improve performance is also proposed. Finally, these policies are evaluated through detailed simulation experiments. The simulation results show that taking advantage of temporal data semantics in transaction scheduling can significantly improve the performance of user transactions in realtime database systems. In particular, it is demonstrated that under the forced wait policy, the performance can be improved significantly. Further improvements result by exploiting data similarity.