CCF长沙分部-CCF YOCSEF-湖南省计算机学会-长沙联合论坛
CCF Young Computer Scientists & Engineers Forum & Hunan Computer Federation ---Changsha Branch
CCF长沙分部
CCF YOCSEF长沙
湖南省计算机学会
于2014年10月11日（星期六）上午9:00-12:00
湖南大学复临舍报告厅
举行专题报告会，敬请光临
报告会主题
嵌入式系统与物联网技术研究进展学术报告会
物联网被称为继计算机、互联网之后，世界信息产业的第三次浪潮，是在计算机互联网的基础上，将各种信息传感设备等与互联网结合起来，构造一个覆盖世界上各种事物的网络。随着物联网技术的不断发展和产业链的不断成熟，物联网的应用将呈现多样化的趋势，物联网应用将逐步从行业应用向个人应用、家庭应用拓展，物联网将会使我们的生活变得更加智能和舒适。嵌入式系统已经广泛渗透到科学研究、工程设计、军事技术、各类产业以及人们的日常生活中。物联网的实现需要嵌入式技术的支持，RFID技术、传感器技术以及嵌入式智能技术是物联网的底层技术，物联网就是基于互联网的嵌入式系统。本学术报告会邀请国内外学术界的知名专家和学者就嵌入式系统与物联网技术中的若干关键问题进行学术研讨。我们期望本次报告会能够有效推动物联网技术的未来发展，使得物联网技术在不久的将来能够真正惠及广大普通民众。敬请各位光临指导。
程 序
8:30 签到
9:00 报告会开始
特邀讲者：高田広章 博士，名古屋大学教授
演讲题目：车载嵌入式系统开发的现状和挑战及TOPPERS项目介绍
特邀讲者：陈仪香 博士，华东师范大学软件工程学院教授
演讲题目：软硬件协同设计体系的可信架构设计
特邀讲者：王文杰 博士，英特尔资深软件架构师
演讲题目：Edison与Galileo开发平台及其物联网应用
执行主席：李东升博士，国防科技大学计算机学院
YOCSEF 长沙分论坛AC委员、2013年度主席
执行主席：刘建勋博士，湖南科技大学计算机科学与工程学院
YOCSEF 长沙分论坛AC委员、2012年度主席
执行主席：李肯立博士，湖南大学信息科学与工程学院
YOCSEF 长沙分论坛AC委员、CCF长沙副主席、湖南省计算机学 会秘书长
特邀报告内容和报告人简介
报告1：车载嵌入式系统开发的现状和挑战及TOPPERS项目介绍
特邀讲者：高田広章
高田广章教授1989年毕业于东京大学，信息学专业博士。现为名古屋大学教授，名古屋大学嵌入式系统研究中心创办人及主任，TOPPERS协会创始人及会长，嵌入式系统开发技术研究会会长，车载嵌入式系统论坛会长，日本宇宙航空研究开发机构客座教授。高田广章教授长期致力于嵌入式实时操作系统的研究开发和推广工作。其主要研究成果包括13本专著，150多篇期刊和会议论文，16个专利申请，以及一系列嵌入式操作系统内核软件。其开发的嵌入式操作系统软件通过非盈利组织TOPPERS开源软件项目向社会和企业无偿公开。目前该组织拥有111个企业正式会员，涵盖了日本主要的电子和软件产业的相关企业。其应用成果包括家用，工业电子产品，汽车，人造卫星等。近年来，高田教授还与丰田汽车公司为代表的汽车企业进行了广泛和深入的合作，在车载汽车电子软件设计和验证方面取得了明显的成果。高田教授因其在嵌入式实时操作系统方面的杰出贡献，在日本被誉为该领域的第一人。报告提要：
此次报告将对车载嵌入式系统Toppers的相关情况进行介绍。并介绍在嵌入系统不断向大规模化及复杂化发展，且要求具备更高的可靠性及安全性的新形势下，如何来对嵌入式操作系统进行扩展。
报告2：软硬件协同设计体系的可信架构设计
特邀讲者：陈仪香
华东师范大学软件工程学院教授， 软件工程博士生导师，教育部软硬件协同设计技术与应用工程中心主任。 1995年毕业于四川大学数学专业，获理学博士学位从事软件形式化方法、可信软件度量与评估、实时系统需求规范建模、软硬件协同设计体系架构等领域研究。主持国家973物联网课题（软件物化理论）、国家863软件可信度量模型等科研项目。指导博士后、博士研究生和硕士生20余名。获2011年度教育部自然科学一等奖。 报告提要：
报告将介绍当前嵌入式系统设计和开发方法的新阶段--软硬件协同设计体系框架，为了保证系统的安全性，在软硬件协同设计中引入形式化方法对系统的需求规范进行形式化描述， 在此基础上进行软硬件划分，并通过FPGA和Matlab/Simulink工具进行仿真和验证。
报告3： Edison与Galileo开发平台及其物联网应用
特邀讲者：王文杰
英特尔资深软件架构师。本科毕业于北京大学计算机科学技术系，在美国密歇根大学取得博士学位。研究兴趣包括大规模自组织网络，数据采集分析，建模，p2p网络，视频服务，应用组播，互联网协议，系统分析等。报告提要：
报告将介绍基于英特尔夸克技术的计算平台Edison及Galileo 开发板。Edison支持多个操作系统，内置无线功能，表明英特尔将进入可穿戴式设备和物联网领域。同时也将推出一些Edison平台和Galileo 开发板的应用模板。
执行主席 ：李东升
博士，YOCSEF长沙分论坛AC委员，国防科技大学计算机学院研究员、博士生导师、并行与分布处理国家级重点实验室副主任。2005年获国防科技大学计算机科学技术专业博士学位，2008年获全国优秀博士学位论文，2012年获国家自然基金委首届优秀青年基金项目资助。主要研究方向为分布式计算和大规模数据处理等。先后主持或参与国家973计划、863计划、国家自然科学基金等10余项课题，在IEEE TKDE 、JSAC、TPDS、FGCS等学术期刊以及IEEE INFOCOM、ICDCS、ICPP等国际会议上发表学术论文60 余篇，获国家科技进步二等奖1项、省部级自然科学一等奖1项。曾任CCF YOCSEF长沙分论坛2013-2014年度主席。执行主席：刘建勋
博士、教授，现为湖南科技大学知识网格实验室常务副主任，湖南科技大学网络中心主任，入选教育部新世纪优秀人才，获得湖南省新世纪121人才工程、湖南省普通高校青年骨干教师，现为湖南省制造业信息化专家组专家，湘潭市制造业信息化专家组副组长，湖南省计算机学会常务理事。现主持承担国家自然科学基金面项目、湖南省杰出青年基金及其它省部级与企业合作项目10多项，在国内外学术刊物以及国际会议上发表学术论文60多篇，应邀担任20余个国际学术会议的程序委员会委员。执行主席：李肯立
教授，博士生导师，国家超级计算长沙中心副主任，湖南大学信息科学与工程学院副院长，CCF长沙副主席，CCF杰出会员，YOCSEF长沙分论坛AC委员，中国计算机学会高性能计算专业委员会常务委员，中国软件行业协会数学软件分会常务理事、湖南省计算机学会秘书长、曾任YOCSEF长沙分论坛主席。主要研究领域为并行分布式处理、云计算和生物计算技术等。作为项目负责人主持或完成了国家和省部级项目13项. 获湖南省科技进步一等奖、教育部科技进步二等奖和湖南省自然科学二等奖各1 次。在IEEE TOC、IEEE TPDS、IEEE TSP、IEEE TETC、JPDC、PC、中国科学等学术刊物上发表论文90余篇。联系人：
曹步清博士，湖南科技大学计算机科学与工程学院
E-MAIL: cao6990050@163.com, Mobile: 13047225827
唐卓博士，湖南大学信息科学与工程学院
E-MAIL: hust_tz@126.com, Mobile: 18627568501
杨科华博士，湖南大学信息科学与工程学院
E-MAIL: khyang@hnu.edu.cn, Mobile: 13203129298
京公网安备 11010802032778号