9201590
A Reliable OS Kernel for Smart Sensors
17996623
Fault tolerant scheduling for fixed-priority tasks with preemption threshold
Fixed-priority with preemption threshold (FPPT) is an important form of real-time scheduling algorithm, which fills the gap between fixed-priority preemptive (FPP) and fixed-priority non-preemptive (FPNP). However, this scheduling scheme together with the requirements of fault tolerance makes the prediction of a real-time system's behaviors more difficult than traditional scheduling scheme. The major contribution of this work is twofold. First, we present an appropriate schedulability analysis, based on response time analysis, for supporting fault-tolerant FPPT scheduling in hard real-time systems. The error-recovery techniques are considered to be used to carry out fault tolerance. Second, we propose the optimal priority assignment algorithm which can be used, together with the schedulability analysis, to improve system fault resilience.
35136972
Exact Best-Case End-to-End Response Time Analysis for Hard Real-Time Distributed Systems
The prediction of best-case response time is quite necessary to guarantee control accuracy and stability of distributed hard real-time systems. Published time analysis techniques can precisely dealt with the precedence relations between tasks on different processors, but usually ignored or inaccurately estimated the effects from the precedence relations between tasks on the same processor. This leads to a pessimistic analysis. This paper presents an algorithm to analyze the best-case end-to-end response time for hard real-time distributed systems. This algorithm extends the traditional analysis technique by exploiting the precedence relations between tasks on both different processors and the same processor and achieves a more accurate analysis. Simulation results have shown that this algorithm can achieve more accurate results than existing methods.
35028524
SmartOSEK: A Real-Time Operating System for Automotive Electronics
This paper puts forward SmartOSEK, a dependable platform for automobile electronics, which consists of an operating system compliant with OSEK/VDX specifications and an integrated development environment (IDE) that consists of many convenient tools, such as visual designer, system generator, time analyst, scheduling analyst, and running tracer. In the operating system, SmartOSEK OS and SmartOSEK COM are presented. In the IDE, we apply the graphic design, automatic code generation and time analysis to help developers devote their mind to the modeling of the applications. A design example of automated transmission system based on SmartOSEK platform is given, and good results are achieved.
206594316
An OSEK COM Compliant Communication Model for Smart Vehicle Environment
Smart Vehicle Environment (SVE) is an important application of the idea of smart spaces. This paper presents Smart Vehicle Multi-Agent System (SVMAS) to achieve the goal of SVE and put forwards a commutation model for SVMAS based on SmartOSEK COM [1] to support data exchange. The paper also presents an approach to encapsulate the message to transport by CAN bus, and bring forward a simulator model for SVMAS. Finally the paper gives an example of the communication model which implements a dialogue between two agents and analyzes the performance. The contribution of our work is threefold. First, we adopt Knowledge Query and Manipulation Language (KQML) to describe the communication in vehicles. Second, we develop SmartOSEK COM to implement communication in vehicles. Third, we define the ACLcan protocol to transform the message from SmartOSEK COM to CAN frame.
28662296
A Service Oriented Implementation of Distributed Status Monitoring and Fault Diagnosis Systems
The service-oriented architecture (SOA) can greatly improve the collaboration of devices in a distributed environment. With this architecture, human can be liberated from the burdensome configuration and management of distributed systems, especially when the nodes of the systems are dynamically changed. In this paper, we present a method to implement service-oriented distributed systems in industry. As a case study, we present a service-oriented Status Monitoring and Fault Diagnosis Systems (SMFDS) for large equipment. Our work is based on the UPnP (Universal Plug and Play) technology. Through abstracting the interfaces of devices and providing service middleware in an independent thread or process, the SOA can be easily implemented on an existing system with the least modifications. This characteristic is very useful when upgrading an existing system, for cost and risk consideration.
28474910
Low voltage 2-path SC bandpass /spl Delta//spl Sigma/ modulator without bootstrapper
A 1.5V fully differential, 2-path fourth order switched capacitor bandpass /spl Delta/-/spl Sigma/ modulator was designed and fabricated in 1.2/spl mu/m CMOS without using any on-chip voltage multiplier. The effective clock frequency is 10 MHz. The Basic building blocks of the modulator are auto-zeroed differentiators. The signal bandwidth is 50kHz centered at the intermediate frequency of 2.5MHz. Tested results demonstrated that SNR=65dB for the full-scale input of 1.1V/sub p/. IM3=-75dB. The common mode input voltage is from rail to rail.
368510
A Performance Model for Domino Mail Server
Using performance model to analyze the Internet service is prevailing. However, the research of the performance model for mail server retrains in the immature status. In this paper, based on the queue theory, we propose a performance model for Domino mail server. The verification and analysis of the model are also presented. The experimental results show that this model characterizes the behavior of Domino mail server well and prove that it is useful for the qualitative performance measurement of Domino mail server.
11066290
Robust multi-level video representation using mean shift analysis
A robust method for multi-level video representation based on the mean shift analysis (MSA) of low-level visual features is proposed in this paper. By tuning the bandwidth of MSA, video representation from the coarse level to the fine level can be achieved. This representation form provides a flexible scheme for content-based video analysis such as summarization, classification, and retrieval. Compared with the conventional k-means or fuzzy c-means algorithms, our method can adjust the resolution of representation in a more straightforward way, and is more robust since it does not need to initialize the cluster centers
205393463
A new algorithm for solving classical Blasius equation
In this paper, a reliable algorithm is employed to investigate the classical Blasius equation. The algorithm is based mainly on applying the Adomian decomposition method to the transformation of the Blasius equation. The results demonstrate reliability and efficiency of the proposed algorithm.
4774721
An Efficient Algorithm for the Longest Pattern Subsequence Problem
A fire sensing system utilizing fiber optics to extend the physical range of radiation sensing elements into areas and environments which are physically inaccessible to, and/or destructive of, such sensors and their associated electronic circuitry. The fiber optics are combined with signal processing circuitry to achieve reliable fire sensing systems which present particular advantages in special applications.