中国安全计算机论坛

西门子移情别恋为那般？-- 欧洲核能工业变局剖析 http://www.atominfo.com.cn/forum/forum_posts.asp?TID=2460 西门子旗下的KWU（电站联盟），在

Erlang Erlang最为并行的Prolog，始于20年前。Joe Armstrong发明了它，并成为推动它发展的主要人物。Joe Armstrong在Erickson公司工作，Erickson是

前所未有的RTOS LynxOS-178 介绍LynxOS-178 中文介绍 - 高可靠性，高安全性嵌入式实时多任务操作系统（RTOS） 新特性低风险严格通过著名的美国军标DO-178B 最高级A级认证

safety-...@cs.york.ac.uk

http://www.fs-china.org/

http://www.esterel.com.cn/technology/handbooks/iec-61508.htm

http://blog.cechina.cn/jessica/163207/message.aspx#28446

综合运用：功能安全国际标准IEC61508 2008-9-4 【大 中 小】【打印】 1.基本情况 近年来，在铁路、航空航天、核应用、采矿等行业提 出了很多安全理论和国际标准，其IEc61508——电气

http://www.cechina.cn/special/safety/index.aspx

这类控制系统的要求是安全性要求极高，比较常见的参照标准有IEC61508和EN50129，DO178B和DO254等标准。

本论坛以节约时间，鼓励交流，深入探讨有关技术原理为宗旨。