A Smart Phone-oriented Embedded Real-time Operating System

This article presents an embedded Smart Phone Operating System (SPOS) independently designed by ZTE Corporation. The SPOS is based on single kernel architecture with its multi-task real-time kernel supporting hardware platforms and resources of mainstream mobile phones. It has remarkable advantages such as highly efficient and dynamic power management, priority - based preemptive scheduling, fast startup, a variety of drivers, and excellent system stability and operability. For the development of upper layer communication protocols and application software, the SPOS provides wireless communication interfaces and the application program framework.

Research and analysis about embedded operating computer system

Embedded operating system EOS （Embedded Operating System） is widely used system software which in the past is mainly used in fields of industrial control and defense system. EOS is responsible for the entire software and hardware resource allocation, scheduling work and coordinating concurrent control activities; some more successful applied EOS products have been presently launched. With the development of lnternet technology, information appliances and the universal application of miniaturization and specialization of EOS, EOS started from a single weak situation to a higher professional direction with strong functions.

Development of the Embedded Protective Device Based on ARM

An embedded protective device for 35kV power line is worked out based on Philips’ LPC2292 ARM MCU. Several aspects such as embedded design technique adopted in the system framework, application of adaptive theory in data acquisition, Board Support Packet (BSP) developing and task dispatching related to operating system are discussed. Both hardware and software framework of the system are given. Advanced hardware platform and software development environment is applied in design of the system, with the advanced co-design technology.

Tailoring of onboard system software

Tailoring of an operating system and an in embedded real-time operating system in particular is es-sential for both, kernel and operation. But many of current embedded real-time operating systems provide somebasic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and de-grades their tailors. A layered modular tailoring model has been proposed together with some tailoring operationsto improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring opera-tions with the current operating system.

Embedding and Maximal Regular Differential Operators in Sobolev-Lions Spaces

This study focuses on vector-valued anisotropic Sobolev-Lions spaces associated with Banach spaces E0, E. Several conditions are found that ensure the continuity and compactness of embedding operators that are optimal regular in these spaces in terms of interpolations of spaces E0 and E. In particular, the most regular class of interpolation spaces Eα between E0, E depending on α and the order of space are found and the boundedness of differential operators D^α from this space to Eα-valued Lp,γ spaces is proved. These results are applied to partial differential-operator equations with parameters to obtain conditions that guarantee the maximal Lp,γ regularity and R-positivity uniformly with respect to these parameters.

On the Spectrum of a Class of Differential Operators and Embedding Theorems

The author considers the embedding problem of weighted Sobolev spaces Hnp in weighted Ls spaces Ls,r,and some sufficient conditions and necessary conditions are given, when weight functions satisfy certain conditions.The author uses the results obtained to the qualitative analysis of the spectrum of 2n-order weighted differential operator,and gives some sufficient conditions and necessary conditions to ensure that the spectrum is discrete.

Semantic theories of programs with nested interrupts

In the design of dependable software for embed- ded and real-time operating systems, time analysis is a cru- cial but extremely difficult issue, the challenge of which is exacerbated due to the randomness and nondeterminism of interrupt handling behaviors. Thus research into a theory that integrates interrupt behaviors and time analysis seems to be important and challenging. In this paper, we present a pro- gramming language to describe programs with interrupts that is comprised of two essential parts： main program and inter- rupt handling programs. We also explore a timed operational semantics and a denotational semantics to specify the mean- ings of our language. Furthermore, a strategy of deriving de- notational semantics from the timed operational semantics is provided to demonstrate the soundness of our operational se- mantics by showing the consistency between the derived de- notational semantics and the original denotational semantics.