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.

Analysis and Comparison of Five Kinds of Typical Device-Level Embedded Operating Systems

Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system is gradually penetrated into all fields of human society, and ubiquitous embedded applications constitute the 'ubiquitous' computing era. Embedded operating system is the core of the em-bedded system, and it directly affects the performance of the whole system. Our Liaoning Provincial Key Laboratory of Embedded Technology has successfully developed five kinds of device-level embedded operating systems by more than ten years’ efforts, and these systems are Webit 5.0, Worix, μKernel, iDCX 128 and μc/os-II 128. This paper mainly analyses and compares the implementation mechanism and performance of these five kinds of device-level embedded operating systems in detail.

A Concept of Dynamically Reconfigurable Real-time Vision System for Autonomous Mobile Robotics

This paper describes specific constraints of vision systems that are dedicated to be embedded in mobile robots. If PC-based hardware architecture is convenient in this field because of its versatility, flexibility, performance, and cost, current real-time operating systems are not completely adapted to long processing with varying duration, and it is often necessary to oversize the system to guarantee fail-safe functioning. Also, interactions with other robotic tasks having more priority are difficult to handle. To answer this problem, we have developed a dynamically reconfigurable vision processing system, based on the innovative features of Cleopatre real-time applicative layer concerning scheduling and fault tolerance. This framework allows to define emergency and optional tasks to ensure a minimal quality of service for the other subsystems of the robot, while allowing to adapt dynamically vision processing chain to an exceptional overlasting vision process or processor overload. Thus, it allows a better cohabitation of several subsystems in a single hardware, and to develop less expensive but safe systems, as they will be designed for the regular case and not rare exceptional ones. Finally, it brings a new way to think and develop vision systems, with pairs of complementary operators.

Research and Development of an Embedded Numerical Control System

This paper puts forward a new scheme of Embedded Numerical Control System based on ARM and DSP,which is at the base of research on traditional numerical control system and embedded technology.And the paper also describes the develop- ment of hardware and software platform.All the development and realization are based on the idea of module design.The embed- ded numerical control system,using ARM and DSP to construct the main control platform,realizes the real-time operation of sys- tem and improves the stability and reliability with the modular designing ideas of hardware and software and with the support of embedded real-time operating system(uc/os-Ⅱ).And the system could realize the multi-network supporting,which is also accord with the development of modularization,flexibility and latticing of numerical control system.

Monitor System for Protection Device Based on Embedded RTOS

For the purpose of the monitor system in digital protection, the embedded real-time operating system (RTOS) and the embedded GUI (Graphical User Interface) is introduced to design the monitor system. Combining the necessity and the application value of the operation system, the choice of embedded Linux and Qt/Embedded is completely viable for the monitor system in digital protection for generator-transformer sets. The design with embedded Linux and embedded GUI enriches system information, increases developing efficiency and improve the generality.

Development of a novel MLS controller based on embedde d ARM

The controller plays an important rol e in microwave landing system(MLS) navigation equipment.The embedded advanced reduced-instruction-set-computing(RISC) machine(ARM) is introduced to de velop a new MLS controller based on the functional requirements.A design includ ing hardware and software of an ARM system is given.The hardware design involve s a ARM smallest system and its interface.μC/OS-II,a good real-time operating system(RTOS),is i ntroduced in the software design.The task partitioning and management are also i nvolved.The experimental results demonstrate that the embedded ARM technique is an effective way in the complex multi-task system,and it meets the high inte gration and real-time processing requirements of the navigation equipment.

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.