Based On The Reflection Of Anti-crisis Nuclear Research

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 security and dependability also add day by day. Security and dependability are two concepts connecting 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, and that, safety kernel is an important technical to assure software dependability of embedded system.At first, this dissertation introduces basic theory of safety kernel and relational research work domestically and abroad. Next, dissertation analyzes basic concept, speciality of open implementation, reflection and relationship between them.And then, dissertation gives a new real-time reflection tower model. In this model, thesis makes basic function of real-time system as basic layer of reflection tower, and other parts to assure dependability of system as each sub layer of meta layer of reflection tower. Basic layer and meta layer are independent each other. Meta layer can be configured, changed and scaled in dynamic according to requirement. On the basic of real-time reflection tower model, furthermore, this thesis discusses safety meta sub layer, especially the structure, advantage and disadvantage of several new ways to complete safety kernel: safety kernel model basic on configurable policy, safety kernel model basic on safety module library and safety kernel inner layered. Aim at safety kernel basic on configurable policy, this thesis fulfills detailed design and achievement, then it gives testing and analyzing result. Test and analysis are finished in terms of two safety control model: traffic light control model and nuclear safety control model. In the end, dissertation summarizes works achieved and important creative hits, it also brings forth some new research thinking in future.