December 09-13, 2015
Math Building 201
Zhongbei Campus
East China Normal University
#3663 Zhong Shan Road (North), Shanghai 200062, China
Sponsor
Organizing Committee
|
|
|
|
· | Christian K. Hansen | IEEE Reliability Society | |
|
| Eastern Washington University | |
· | Jifeng He | School of Computer Science and Software Engineering | |
|
| East China Normal University | |
· | Jian Zhang | Institute of Software | |
|
| Chinese Academy of Science | |
· | W. Eric Wong | IEEE Reliability Society | |
|
| University of Texas at Dallas | |
· | Yixiang Chen | School of Computer Science and Software Engineering | |
|
| East China Normal University |
Keynoted Speaker
Christian Hansen
President, IEEE Reliability Society
c/o College of Science, Technology, Engineering and Mathematics (CSTEM)
138 Communications Building
Eastern Washington University
Title: Data Management in the Age of Big Data. Will Moores Law Continue to Apply?
Abstract: In today's data and information centered world, data is associated with everything we do,
everything we earn, own and trade, and everything we communicate through electronic media.
With the low cost of storing data, very little data is being deleted or even updated,
rather data continues to be appended with increasing data redundancies and conflicts as a result.
Mining data for actionable intelligence is becoming increasingly challenging creating a high demand
for data scientists with advanced analytical skills. With the deployment of the Internet of Things (IoT),
we expect to see a further increase in the amount of data being accumulated demanding a new paradigm for how we manage data.
In this talk we look at historical trends in data storage and how data management has changed over the course of history.
We discuss the challenges we face as the technology for data storage is becoming limited by physical constraints struggling
to keep up with the increase in data accumulation.
Tutorial speaker
- 1) Russell W Morris
Technical Fellow, SM IEEE, M-INCOSE, BSEE, MCSE
Reliability, Maintainability and System Health
The Boeing Company
- 2) Pete Rotella
Senior Technical Leader,
Cisco Systems, Inc.
Title: Excuses are Not Allowed!: Networks are Mission-critical and Must Be Reliable
Abstract: Customers are increasingly demanding of the systems we provide them.
Not only is feature velocity expected to be high, but the systems must be highly reliable and available.
Until recent years, it was sufficient to state to customers that 'the upcoming software release is healthy
and will do well in the network.' But now, we need to provide proof – 'which metrics do you, Cisco, use to prove to us that the release is at least as healthy as the last one?'
'Show us proof that these metrics correlate with customer reliability experience.'
The complexity of systems is rapidly increasing, the applications and network components are migrating to the cloud,
systems are being built with agile and continuous integration methods, and soon the 'Internet of things' will be a practical reality.
All these changes make the customers nervous – 'will reliability suffer as a result of all this churn?'
At Cisco, we have developed several reliability innovations that are enabling us to improve on system
and software reliability throughout this period of rapid change. In these lectures, we will describe the fundamental problems,
as we see them, and give detailed overviews of the models, methods,
and techniques we use to ensure the delivery of high quality releases and systems.
We will also present an overview of the problems still facing us, and the efforts underway to address these.
These topics include improving software security, system usability, and customer satisfaction.
- 3) W. Eric Wong
Vice President, IEEE Reliability Society
Professor
Director of International Outreach
Director of Advanced Research Center on Software Testing and Quality
Assurance Department of Computer Science
University of Texas at Dallas
Title:An Integrated Solution for Software Testing and Quality Assurance
Abstract : In this talk, I will discuss some fundamental issues and challenges in software testing and quality assurance,
including (1) test case generation for a single software product and a family of software products,
(2) software fault localization and bug fixing, (3) bad/negative testing – especially for software safety – versus good/positive testing, and (4) source code-based risk analysis.
Biography
Dr. Wong received his M.S. and Ph.D. in Computer Science from Purdue.
He is a Full Professor and the Founding Director of Advanced Research Center
for Software Testing and Quality Assurance in Computer Science Department at the University of Texas at Dallas (UTD).
Prior to joining UTD, he was with Telcordia Technologies (formerly Bellcore) as a
senior research scientist and the project manager in charge of Dependable Telecom Software Development.
Dr. Wong is the IEEE Reliability Society Engineer of the Year for 2014. His research focuses on helping practitioners improve
the quality of software while reducing the cost of production. In particular, he is working on software testing, debugging,
risk analysis, safety, and reliability. He has published more than 170 papers and co-edited two books.
Dr. Wong is currently serving as the Vice President for Publications of the IEEE Reliability Society,
and is the Steering Committee Chair of the IEEE International Conference on Software Quality, Reliability and Security (QRS) – a combination of SERE and QSIC. He has served as special issue guest editor for IEEE TR, JSS, SPE, IST, SQJ, IJSEKE, etc.
He is on the editorial board of IEEE Transactions on Reliability and the Journal of Systems and Software.
Invited Speaker
1) Zhenyu Chen (Software Institute, Nanjing University)
Title:Software Testing Research Driven by Industry
Abstract:Changing the industry by own research may be a dream of every software engineering researcher.
Software testing is one of the most active areas in software engineering and it is close to the industry.
In this talk, I will share our experiences and lessons learned in the roadmap to industry with our research on software logic testing
and software testing optimization. Moreover, I will share our recent work on crowdsourced software testing
with two platforms mooctest.net and kikbug.net. I will present a new direction, crowdsourced education,
by introducing real industrial tasks into teaching to improve software engineering education.
Biography
Zhenyu Chen is currently an Associate Professor at Software Institute, Nanjing University.
He received his Bachelor and Ph.D. in Mathematics from Nanjing University.
He worked as a Postdoctoral Researcher at the School of Computer Science and Engineering, Southeast University, China.
His research interests focus on software analysis and testing.
He has more than 80 publications at major venues including TOSEM, TSE, ICSE, FSE, ISSTA, ICST etc.
He served as guest editors of Journal of Systems and Software and Software Practice & Experience. He served as PC co-chairs of QSIC 2013, AST2013, IWPD2012.
His research has been successfully used in some leading companies such as Baidu, Alibaba, Huawei, etc.
- 2)Bin Gu (Beijing Control Engineering Institute)
Chief Designer of Spacecraft Control System
Beijing Institute of Control Engineering, China Academy of Space Technology
Title: A Conceptual Framework for the Building of Dependable Spacecraft Flight Control Software
Abstract: There are considerable challenges in the development of Dependable Spacecraft Flight Control Software,
particularly because the harsh space environment, what’s the characteristics and the dependable requirements of space software,
how to deal with these difficulties from the perspective of Software Engineering systematically, this talk discusses the challenges in designing such systems.
3) Donghui Guo (Department of Electronic Engineering, Xiamen University )
Professor of Electronic Engineering, IEEE Senior Member
Title: Cache Coherence Scheme for HCS-Based CMP and its System Reliability Analysis
Abstract: Abstract—In previous work, a new network switch architecture, Hybrid Circuit-Switched (HCS) network, has been proposed and evaluated. In doing so, it has been studied for use in a multi-processor systems with a focus on power and throughput.
However, cache coherence and its connection with chip reliability have not been fully studied previously for multi-processor systems.
In this work, we study this problem by discussing the implementation of cache coherence on a HCS based chip multi-processor (CMP) and present a way to model the reliability of these protocols based on fault tree analysis (FTA) and 2-terminal networking models. We focus our efforts on three cache coherence protocols: Write-Once, MESI, and MOESI, and obtain expressions for the reliability probabilities of the system.
Our results show that the Write-Once protocol is 14% less reliable than MOESI, while the MESI protocol is 2.5% less reliable than MOESI.
We also demonstrate that the reliability of these protocols are 40.22% and 59.83% better, on average,
when implemented on an HCS network rather than an elastic buffer (EB) based network or a bus based network, respectively.
4) Jian Zhang ( Institute of Software, Chinese Academy of Science)
TBD
Preliminary Program
|
|
|
| Dec. 11,2015 | Dec. 12, 2015 |
08:30-08:45 | Opening Ceremony | Tutorial 3: |
08:45-09:00 | Photo Taking | Russ Morris |
09:00-10:00 | Keynote Address |
|
| Christian Hansen |
|
10:00-10:30 | Coffee Break |
|
10:30-12:30 | Tutorial 1: | Tutorial 3 (cont’d): |
| Eric Wong | Russ Morris |
12:30-14:00 | Lunch |
|
14:00-15:00 | Jian Zhang | Bin Gu |
15:00-15:20 | Coffee Break |
|
15:20-16:20 | Tutorial 2: | Zhenyu Chen |
16:20-17:20 | Pete Rotella | Donghui Guo |
17:20-17:30 |
| Closing |
Contacts: Yixiang Chen: yxchen@sei.ecnu.edu.cn
Jianhong Zhou: jhzhou@sei.ecnu.edu.cn