在未来计算大会可信计算Panel的发.ppt

Panel presentation理清思路搞可信计算 闵应骅 Fellow of IEEE 中国科学院计算技术研究所 CFC2010 长沙，2010/6/18 IT产业的三个层次 不同层次对可信有不同要求 可靠和安全是两回事 全部麻烦就在于人加入了系统。 可靠性是高性能的指标之一 超级计算机不应该光谈千万亿次 性能：①运算速度 ②功耗 ③MTTF 怎么评估？ Dependability benchmarking for computer systems 在故障注入环境下运行LINPACK 纳米芯片的容错 串扰、生产过程变差、信噪比 最后一关是容错 检查点做到微操作一级 平行编程 方便性和正确性 云计算需要高可靠 软件可靠性 虚拟机的可靠性 用户和云通讯可靠性 海量存储的可靠性和可用性 灾难情况下的可生存性 ----- 异地备份 物联网需要高可靠 基础设施的可靠性对物联网很重要 传感器不但要节能、灵敏、小型化，还必须可靠、长寿命、抗恶劣环境、可维修性 但常不被国人重视 大型无线自组传感网信息传输的可靠性、路由的可靠性？ 特别是在某些传感器节点故障的条件下 无线自组网的故障检测和诊断 了解各传感器的状态 真正要有效益，而不是请奖的话，可靠性第一重要。 物联网建设，先做软件 软件失效的教训（2005 IEEE Spectrum） 2004年10月，一家英国食品上市公司注销了一个5.