资料下载
安全关键系统的防危性技术研究
分享资料个
为设计高防危性的安全关键系统，阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制，其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言——Open C++的实现机制，为防危核的实现探索了新的途径，也为安全关键系统探索了有效的防危新机制。
关 键 词 安全关键; 防危性; 防危核; 反射; 可信性
Abstract In order to design the high safety of safety critical systems, in the paper, the nature of safety of safety critical systems was narrated in detail, established good theory foundation for designing high dependability safety critical systems. At the same time, realization mechanisms of safety were deeply discussed, and high safety safeguard technology based on safety kernel was emphatically researched. In order to realize safety kernel, a kind of programming language based on reflective theory——Open C++ was brought forward, exploring a new approach used to realize safety kernel, at the same time, a novel safeguard mechanism based on safety kernel is adaptable for other safety critical systems.
Key words safety critical；safety；safety kernel；reflection；dependability
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
- 相关下载
- 相关文章
