Safety kernel is tested and validated in uClinux platform.
7.在嵌入式系统平台上,对安全核进行了测试,验证了安全核的功能。
参考来源 - 基于嵌入式系统的车站信号安全软件设计与实现·2,447,543篇论文数据，部分数据来源于NoteExpress
安全核是安全关键系统的一种新的安全保障机制。
Safety kernel is a new mechanism providing safety assurance in safety-critical system.
安全核正是应运而生的一种新安全保障概念，其实施技术是当前的研究热点之一。
The safety kernel is a novel method for safety application, the realization of safety kernel technology is one of the hottest study recently.
忧思科学家联盟是一个要求安全核工厂的组织，其成员大卫·洛克博姆曾是一名核电厂工程师。
David Lochbaum of the Union of Concerned Scientists, a group that presses for safer nuclear plants, is a former plant engineer.
应用推荐