Component Of The Research And Implementation Of Highly Credible Real-time Operating System Platform

Productivity and quality of the embedded software are crucial for success of the embedded system. The embedded software is often developed without software reuse, which doesn't meet the demand of the embedded software development. Software reuse is the realistic approach to bring about the gains of productivity and quality that the embedded software industry needs, and Component-Based Software Development (CBSD) is the most technique for software reuse. So the CBSD technology of embed-ded software has became a hot topic in the real-time software engineering.Following to application of embedded system in plenty of fields, requirements of users to embedded system have not be limited in the domain of real-time, small-size and high capability, requirements to dependability also add day by day. Dependability is a composite property, having several sub-properties, such as availability, reliability, safety, security, robustness, survivability and so on. These sub-properties connect each other closely and differentiable. They can be assured by differently ways. To dependability of embedded system, the question of software dependability is far more seriously than question of hardware dependability.Operating system is the core of embedded system, is the running support environ-ment of component-base software, and is the base of protecting the dependability of the embedded system. ERTOS, which is a high trusted hard real time operating system, im-proved the reliability, security and safety of the kernel by the techniques of fault toler-ance, temporal and spatial isolation safeguard mechanism, security kernel, safety kernel. For the other sub-property of dependability are not involved in ERTOS. On the other hand, it is difficult and low efficiency to develop applications on ERTOS due to ERTOS is not a complete component-based real time operating system. So to construct a plat-form of high dependable embedded system of component-based is the effective way to solve those problems.At first, this dissertation introduces the crisis of developing of embedded system and the relational research works domestically and abroad, points out that compo-nent-based and dependability are the inevitable trend of embedded system. Next, it dis- cusses the basic concepts and relational technology of dependability and compo-nent-based software individually. Base on this research, this dissertation designs a new high dependable platform of component-based, which is upon the operating system kernel. This platform isolates the connection between the operating system kernel and applications components, improves the dependability of embedded system, and provides high effective running support environment for applications. Integrating with ACE and design pattern, this dissertation introduces the development environment of software and hardware for Gossamer platform, and discuses the designing and implementation of Gossamer briefly. In the end, it brings forth some new research ideas about the high de-pendable platform of component-based in the future.