会议简介
会议信息
会议安排
相关链接

                    第十六届全国容错计算学术会议程序


时间:2015年7月17日~19日

7月17日 08:30~22:00 报到注册 同济大学迎宾馆一楼大厅
15:00~17:00 容错计算三十年座谈会 同济大学迎宾馆会议室
17:15~18:45 晚餐 同济大学迎宾馆餐厅
19:00~22:00 CCF容错专委会会议 同济大学迎宾馆会议室
7月18 08:40~09:20 开幕式 同济大学中法中心C201
09:20~10:00 大会报告:K-T. Tim Cheng(Professor,University of  Califomia,Santa Barbara)
10:00~10:25 参会人员合影  
10:25~10:40 茶歇 同济大学中法中心一楼大厅
10:40~11:20 大会报告:Gang Qu (Professor, University of Maryland) 同济大学中法中心C201
11:20~12:00 大会报告:宫云战(教授,北京邮电大学)
12:10~13:30 午餐 同济大学迎宾馆餐厅
14:00~15:00 专题讨论会 主题:容错计算三十年 同济大学中法中心C201
15:00~16:30 分会场报告 分会场1A:硬件安全 同济大学中法中心C201
分会场1B:故障诊断 同济大学中法中心C401
16:30~16:50 茶歇 同济大学中法中心一楼大厅
16:50~18:20 分会场报告 分会场2A:网络安全 同济大学中法中心C201
分会场2B:低功耗测试与可靠设计 同济大学中法中心C401
18:30~20:00 晚餐 同济大学迎宾馆餐厅
7月19日 08:30~10:00 分会场报告 分会场3A:可靠器件 同济大学中法中心C201
分会场3B:软件可靠性 同济大学中法中心C401
10:00~10:20 茶歇 同济大学中法中心一楼大厅
10:20~11:50 分会场报告 分会场4A:电路与网络容错 同济大学中法中心C201
分会场4B:软件测试 同济大学中法中心C401
12:00~13:30 午餐 同济大学迎宾馆餐厅
13:50~15:20 分会场报告 分会场5A:虚拟机与Web服务容错 同济大学中法中心C201
分会场5B:设计验证与故障分析 同济大学中法中心C401
15:20~15:40 茶歇 同济大学中法中心一楼大厅
15:40~17:10 分会场报告 分会场6A:容错技术应用 同济大学中法中心C201
分会场6B:芯片、可重构系统与网络 同济大学中法中心C401
18:00~20:00 晚餐 同济大学迎宾馆餐厅
       

大会报告:
主席: 李晓维(研究员,中国科学院计算技术研究所)
地点:同济大学中法中心C201
时间: 2015年7月18日,09:20~10:00,10:40~12:00

序号 论文
1

Big Data for Test

K.-T. Tim Cheng (Professor, University of California, Santa Barbara
2

When Fault Tolerant (Circuit) Design Meets the Internet of Things

Gang Qu (Professor, University of Maryland)
3

代码分析技术

宫云战(教授,北京邮电大学)

专题研讨会:容错计算三十年
主席:杨士元(教授,清华大学)
地点:同济大学中法中心C201
时间: 2015年7月18日,14:00~15:00

序号 论文
1

容错计算在国防科技大学

金士尧(国防科技大学)
2

四十二年的坚守:1973-2015 哈工大的容错计算

杨孝宗(哈尔滨工业大学)
3

Quality Vs. Faults -- Rising to the 30 years’ challenge of faults

徐拾义(上海大学)

分会场1A:硬件安全
主席:徐强(副教授,香港中文大学)
地点:同济大学中法中心C201
时间: 2015年7月18日,15:00~16:30
报告人:Gang Qu, University of Maryland
         韩银和,中国科学院计算技术研究所
         刘强,天津大学
         崔爱娇,哈尔滨工业大学深圳研究生院
         吴剀劼,重庆大学
         崔小乐,北京大学深圳研究生院
         刘政林,华中科技大学
            ......

分会场1B:故障诊断
主席:李华伟(研究员,中国科学院计算技术研究所)
地点:同济大学中法中心C401
时间: 2015年7月18日, 15:00~16:30

序号 论文
1

一种含FPGA信号处理电路的自动测试生成方法

孟德永(清华大学),王红,杨士元,周冰沁
2

片上网络路由器测试外壳旁路故障的诊断方法

王伟(合肥工业大学),周梦玲,方芳,陈田,郭二辉,刘军,吴玺
3

A Test Data Compression Scheme Based on Integral Representation of Irrational Numbers

ZHAN Wenfa(安庆师范学院),ZHU Shijuan,CHENG Yifei,WU Haifeng
4

A New Decompressor on Parallel Scan Design for Reduction of Test Data

Tingting Yu (哈尔滨工业大学深圳研究生院), Aijiao Cui, Yanhui Luo, and Mengyang Li
5

一种提高 FPGA 的测试效率的方法

周苏生(北京大学),冯建华,叶红飞


分会场2A:电路与网络安全
主席:薛一波(研究员,清华大学)
地点:同济大学中法中心C201
时间: 2015年7月18日, 16:50~18:20

序号 论文
1

一种新型的基于模糊处理的抗硬件木马电路设计及检测方法

孟凡翔(北京大学),冯建华,吕垠轩,何春华,叶红飞
2

电路运行模式下基于状态转移的惰性节点的确定

崔晓通(重庆大学),邹敏辉,吴剀劼
3

基于正则表达式的复合规则集匹配方法研究

崔骁鹏(北京邮电大学),罗浩,张树壮,吴志刚
4

 


分会场2B:低功耗测试与可靠设计
主席:冯建华(副教授,北京大学)
地点:同济大学中法中心C401
时间: 2015年7月18日,16:50~18:20

序号 论文
1

一种低功耗双重测试数据压缩方案

陈田(合肥工业大学),易鑫,王伟,刘军,梁华国,任福继
2

基于聚类的异步时钟SoC测试

凌立(同济大学),江建慧
3

一种基于Viterbi的低功耗确定性测试方案

陈田(合肥工业大学),郑浏旸,王伟,刘军,梁华国,张樨山,杨冰东
4

三值数据的一种分组码及其检错纠错设计

沈云付(上海大学), 潘磊
5

基于LFSR的测试中面向重播种的功耗优化方案

Chen Tian(合肥工业大学), Shen Dandan, Yi Xin, Liang Huaguo, Wang Wei


分会场3A: 可靠器件
主席:韩银和(研究员,中科院计算所)
地点:同济大学中法中心C201
时间: 2015年7月19日,08:30~10:00

序号 论文
1

一种考虑异构多核系统 MTTF 平衡的任务调度

梁华国(合肥工业大学),戴杨阳,李军,易茂祥,许达文 
2

一种提高SRAMFPGA可靠性的选择性三模冗余方法

王子龙(中科院自动化研究所),郑美松,涂吉,王骏也,李立健
3

基于无关配置位分布的FPGA选择性三模冗余方法

郑美松(中科院自动化所),王子龙,王骏也,李立健
4

Temperature and Process Variations-aware Soft-Error Tolerant Latch

Liang Huaguo (合肥工业大学), Wang Zhi, Yan Aibin, Huang Zhengfeng
5

P型多米诺与门NBTI老化分析与防护

张林(合肥工业大学),易茂祥,袁野,甘应贤,徐辉


分会场3B:软件可靠性
主席:赵瑞莲(教授,北京化工大学)
地点:同济大学中法中心C401
时间: 2015年7月19日,08:30~10:00

序号 论文
1

How Many Failure Time Data should be used in Software Reliability Predicting

楼俊钢(湖州师范学院),蒋云良,王真,沈张果,胡文军,江建慧
2

基于改进PSOBN算法的软件缺陷预测模型

马振宇(装甲兵工程学院),张威,尹瀚泽
3

基于测试的软件可靠性模型研究

赵亮(北京系统工程研究所)
4

一种针对YAFFS2文件系统目录结构的容错技术

高翔(中国科学院计算技术研究所),胡瑜,李晓维
5

一种分布式消息队列的可靠性研究

杨冬晖(同济大学), 江建慧


分会场4A:网络容错
主席:王伟(副教授,合肥工业大学)
地点:同济大学中法中心C201
时间: 2015年7月19日,10:20~11:50

序号 论文
1

3D NoC中支持高可靠多跳传输的低延迟路由器设计

欧阳一鸣(合肥工业大学),陈奇,梁华国,黄正峰,易茂祥,李建华
2

一种新颖的故障与拥塞模型下的NoC容错路由算法

欧阳一鸣(合肥工业大学),何鑫城,梁华国,易茂祥,安鑫
3

针对三维片上网络中永久性故障的容错路由机制综述

周君(中国科学院计算技术研究所),李华伟,王天成,李晓维
4

Byzantine fault tolerant routing for largescale wireless sensor networks based on fast ECDSA

Xu Jia-wei (上海大学), Hu Feng, Bian Yang-dong, WANG Chao, XU Shi-yi, Wu Jie

5

Bit Flipping Errors in High Performance Linpack at Exascale and Beyond

谭光明(中国科学院计算技术研究所)


分会场4B:软件测试
主席:张威(教授,装甲兵工程学院)
地点:同济大学中法中心C401
时间: 2015年7月19日,10:20~11:50

序号 论文
1

基于模型代数的基本路径集的自动生成

赵会群(北方工业大学),卢飞
2

基于语义分析和区间运算的库函数约束求解模型

白玉(北京邮电大学),邢颖,王雅文,宫云战
3

基于MGGPEFSM测试数据生成效率预测模型研究

刘艳敏(北京化工大学),尚颖,赵瑞莲
4

基于函数调用路径的多缺陷定位方法研究

刘丹凤(北京信息科技大学),牟永敏
5

The technology of variable message format simulation in software testing

高飞(装甲兵工程学院),毕学军,王小振,肖庆


分会场5A: 虚拟机与Web服务容错
主席:王潮(教授,上海大学)
地点:同济大学中法中心C201
时间: 2015年7月19日,13:50~15:20

序号 论文
1

一种多目标优化虚拟机容错放置方法

陈晓(同济大学),江建慧
2

一种自适应的虚拟机异常检测算法

刘俊(重庆大学),陈蜀宇,周真,吴天舒
3

基于容错的组合Web服务可靠性模型研究与实现

冯运萍(哈尔滨工业大学),舒燕君,吴智博,左德承
4

分布式系统失效检测算法测试工具的设计与实现

陆建珲(哈尔滨工业大学),兰敬辉,贾淑绒,董剑
5

一种基于Hypervisor的软错误故障回卷恢复的实现

邱吉冰(中国航天科工集团二院706研究所),洪冯,曲新春,孔雷


分会场5B:设计验证与故障分析
主席:梁华国(教授,合肥工业大学)
地点:同济大学中法中心C401
时间:2015年7月19日,13:50~15:20

序号 论文
1

集成电路设计验证的模型检验技术综述

晁会娜(中国科学院计算技术研究所),李华伟,王天成
2

一种基于代码异常机制的故障模式提取方法

谢琼(同济大学),江建慧
3

基于FPGA的故障注入系统设计

仲广沛(哈尔滨工业大学),兰敬辉,贾淑绒,杨孝宗
4

电路可靠性分析综述

王 真(上海电力学院),楼俊钢
5

Analyzing phased-mission systems with multiple ordered performance levels

Yuhuan Gong(浙江师范大学), Yuchang Mo


分会场6A: 容错技术应用
主席:王红(副教授,清华大学)
地点:同济大学中法中心C201
时间: 2015年7月19日,15:40~17:10

序号 论文
1

轨道交通信号故障安全设计新理念:两级安全保障系统

武星(上海大学),吕海涛,徐拾义
2

一种基于BBO算法的改进支持向量机逆模型容错控制方法

张鹏飞(北京航空航天大学),蔡国飙,宋佳
3

一种新的TMR控制计算机数据表决策略

刘波(北京控制工程研究所),王勇,刘超伟,王婧,于丹,乔德治,魏高乐,黎藜
4

基于KEELOQ的安全可靠RKE系统中的双模容错控制

李欢(哈尔滨工业大学),常艳军,崔刚,王秀峰,王春萌
5

基于Kinect和智能手机的人体跌倒检测系统

许达文(合肥工业大学),马婷婷,戴雨霖,王颖,梁华国,易茂祥


分会场6B:芯片、可重构系统与网络
主席:吴百锋(教授,复旦大学)
地点:同济大学中法中心C401
时间:2015年7月19日,15:40~17:10

序号 论文
1

Efficient Scheduling Mapping Algorithm for Coarse Grained Reconfigurable Architectures

陈乃金(安徽工程大学),江建慧
2

一种粗粒度可重构体系结构多目标优化映射算法

陈乃金(安徽工程大学),江建慧
3

一种基于NetFlowIP地址明暗度分析系统

刘佳男(北京邮电大学),龚风光,吴志刚,罗浩
4

Cost Driven System Integration for Interposer based 2.5D SoC

Li Jiang (Shanghai Jiao Tong University), Guangyu Sun, Bill Eklow, Qiang Xu
5

基于ARMProfibus从站通信模块的可行性研究

周冰沁(清华大学),牛绿茵,唐骞璘,王红