2015 International Symposium on System and Software Reliability (IS3R)
发布时间:2015-11-10 浏览量:37

December 09-13, 2015

Math Building 201

Zhongbei Campus

East China Normal University

#3663 Zhong Shan Road (North), Shanghai 200062, China

 

Sponsor

 

  • IEEE Reliability Society (RS-IEEE)
  • East China Normal University( ECNU)

 

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. 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.

 

  1. 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

华东师范大学软件工程学院
学院地址:上海中山北路3663号理科大楼
院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
sei.ecnu.edu.cn Copyright Software Engineering Institute