The Design And Implementation Of Key Technologies In Satellite-carried Parallel Embedded Operating System

In recent years, the design and development of embedded system is very hot in the research and application of computer system. In this article, we introduce the design and implementation of key technologies in PEMS(Parallel Embedded Multiprocessing System), which is the operating system of the satellite-carried parallel computer system.PEMS is a parallel-embedded operating system, which is designed for the satellite-carried parallel computer system. The design of PEMS refers to the real time operating system RTEMS.In this article, we study the key technologies of PEMS and focus on implementing of the multiprocessor communication mechanism, which make it possible for PEMS to support coarse-grained parallel programming pattern. In addition, we implement the simulator of the satellite-carried embedded computer system for PEMS. Based on the model of designing highly portable device driver, we implement the design of 1553B deviece driver on PEMS. At last, we draw out some core modules of PEMS. Directed by theories and methods of software reliability, we use static check tools PC-Lint and splint to check those modules, and write some programs to test them. The result of static check and test shows that RTEMS gets a nice score in reliability, but it also needs to be promoted.