TITLE

Related photos download:
photos of ISSSR2016&&ESTC2016
Related presentations download:
Networks of ‘Things’_Jeff-Voas.pptx
Testing-Based Formal Verification for Algorithmic Function Theorems and..._Shaoying-Liu.pdf

Calling attendee: Please submit the title and abstract of your presentation to ISSSR2016 through submission item. Registration: The registration of 2016 International Symposium on System and Software Reliability (ISSSR) has been started. Welcome to ISSSR2016. After registing, please send your personal information, the final version of the paper, the information of the remitter, remittance number and invoice title to 1119483042@qq.com.


Software and system reliability is the probability of failure-free software and system operation for a specified period of time in a specified environment. Reliability is also an important factor affecting software and system dependence. Many life-critical systems being required to operate without a system failure for a given period of time, such examples as nuclear, aerospace, spacecraft and high-speed trains and other such systems, need the development of reliability.


This symposium provides scientists and engineers from both industry and academia a platform to present their ongoing work, relate their research outcomes and experiences, and discuss the best and most efficient techniques for the development of reliable, secure, and trustworthy systems. It also represents an excellent opportunity for the academic community to become more aware of subject areas critical to the software industry as practitioners bring their needs to the table. The 2016 ISSSR will be held from October 29 to 30, 2016, which is following the 2015 ISSSR conference held in Shanghai sponsored by East China Normal University.


The topics of interest include, but are not limited to:

  • Architecture and design based reliability and performance
  • Formalization Verification
  • Fault tolerance and diagnosis
  • Process improvement and maintenance
  • Quality and safety
  • Redundancy technology
  • Reliability analysis and optimization
  • Reliability measurement, estimation and predication
  • Reliability modeling and validation
  • Reliability requirement and growth model
  • Reliability technological models
  • Testing and simulation
  • Trustworthy Evaluation

Call for Paper


Software and system reliability is the probability of failure-free software and system operation for a specified period of time in a specified environment. Reliability is also an important factor affecting software and system dependence. Many life-critical systems being required to operate without a system failure for a given period of time, such examples as nuclear, aerospace, spacecraft and high-speed trains and other such systems, need the development of reliability.


This symposium provides scientists and engineers from both industry and academia a platform to present their ongoing work, relate their research outcomes and experiences, and discuss the best and most efficient techniques for the development of reliable, secure, and trustworthy systems. It also represents an excellent opportunity for the academic community to become more aware of subject areas critical to the software industry as practitioners bring their needs to the table. The 2016 ISSSR will be held from October 29 to 30, 2016, which is following the 2015 ISSSR conference held in Shanghai sponsored by East China Normal University.

Important Dates


  • Submission Deadline: June 30, 2016  extend July 15, 2016
  • Acceptance Date: July 31, 2016
  • Camera-ready Versions: August 20, 2016
  • Conference : October 29-30, 2016

Submission


All submissions must be in English and original works that have not been published and/or submitted for consideration of publication anywhere else. The format of the submission must follow the guidelines for IEEE conference proceedings (http://www.ieee.org/conferences_events/conferences/publishing/templates.html) with maximum of 10 pages. Each submission should also include a 150-word abstract and up to 6 keywords. Papers should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org /conferences/?conf=isssr2016.


Proceedings


The proceedings of the ISSSR2016 will include all accepted papers and will be submitted for publishing by the IEEE Computer Society Press. Papers presented at the conference will also be submitted for inclusion into the IEEE Xplore and to all of the A&I (abstracting and indexing) partners (such as the EI Compendex).


TBA

General Chair

Jifeng He School of Computer Science and Software Engineering East China Normal University, China

Steering Committee

Christian K. Hansen IEEE Reliability Society Eastern Washington University
Jian Zhang Institute of Software Chinese Academy of Science
W. Eric Wong (Co-Chair) IEEE Reliability Society University of Texas at Dallas
Yixiang Chen (Co-Chair) School of Computer Science and Software Engineering East China Normal University

Programme Co-Chairs

Yixiang Chen School of Computer Science and Software Engineering East China Normal University, China
Xiaoguang Mao School of Computer Science and Technology National University of Defense Technology, China

PC Committee

  • Xiaojuan Ban, USTB, China
  • Gang Cui Harbin Institute of Technology China
  • Liqian Cheng, NUDT, China
  • Mingson Chen, ECNU, China
  • Wei Chen, University of Edinburgh, UK
  • Xin Chen, Fudan U, China
  • Xixin Cao Peking University Chin
  • Yinong Chen Arizona State University USA
  • Yixiang Chen, ECNU, China
  • Zhenyu Chen, NJU, China
  • Yunwei Dong, NPU, China
  • Bin Guo Sichuan University China
  • Donghui Guo, XMU, China
  • Vania Joloboff, INRIA, France
  • Guoqiang Li, SHJTU, China
  • Xiaohong Li, TianJjing U, China
  • Weikai Miao, ECNU, China
  • Xiaoguang Mao, NUDT, China
  • Cong Tian, XDU, China
  • Pin Tao Tsinghua University China
  • Hao Wang, NTNU, Norway
  • Hengyang Wu, Hangzhou Dianzi University,China
  • Qing Wang, IS, CAS, China
  • Quan Wang, XDU, China
  • Wei Wang, Tongji U. China
  • James Yang, WMU, USA
  • Li Zhang, BHU, China
  • Min Zhang, ECNU.China
  • Weizhe Zhang, HIT, China
  • Qingfeng Zhuge Chongqing University China

Finacial Chair

  • W. Eric Wong, UTD, USA

Publicity Chair

  • Mingsong Chen, ECNU, China

Registration


The registration of 2016 International Symposium on System and Software Reliability (ISSSR) has been started. Regist as soon as possible to save on registration fees. The specific instructions of the registration and the fee are as follows:


一、Registration Time and Fee


Before October 15th After October 15th
student representatives 1000RMB 1200RMB
CCF Members 1000RMB 1200RMB
other representatives 1200RMB 1400RMB

二、Remittance Information


Account:     华东师范大学
Tax Registration Number:     310107425006133
Beneficiary Bank:     工行上海市金沙江路支行
Account Number:     1001247209026260113
Comment:     ISSSR2016 Fees

Note:


1) At least one author must register with the conference and pay the registration fee on October 15, 2016, otherwise your paper will not be recommended and published. Each registration fee can only be used for one paper, A number of authors of a paper, participants are required to pay registration fees.

2) Student representatives means: full-time undergraduate students, master's and doctoral students, not including post-graduate and post-doctoral.

3) The meeting only charge for the registration fee, the page charges by the journals in accordance with their standards charge separately, please the author contact with the corresponding journal.

4) About invoices, the collection of the project name can be "conference fee" or "conference registration fee" only ,can not be the "paper layout fee."

After remitting, please send personal information, the information of the remitter, remittance number and invoice title to 1119483042@qq.com.

Invited Speaker


Zhenhua Duan

Professor of Computer and Software Engineering
Director of Computing Theory and Technology
Xidian University, China

Shaoying Liu

Professor of Software Engineering
High-Quality Software Engineering Laboratory
Faculty of Computer and Information Science
Hosei University, Japan

Jeff Voas

IEEE Reliability Society and National Institute of Standards and Technology
jeffrey.m.voas@gmail.com

Yi Wang

Professor of Embedded System
Department of Information Technology
Uppsala University, Swenden

Ji Wang

Professor of Computer Science and Software Engineering
School of Computer Science and Technology
National University of Defense Technology, China

Qingfeng Zhuge

Professor of Computer Science
College of Computer Science
Chongqing University, China

2nd IEEE International Symposium on System and Software Reliability (ISSSR2016)

Program


Program.pdf
Date Time Scheduling
10.28 14:00-19:00 Registration(Math Building)
10.29 08:30-09:00 Open Ceremony (Math Building 113), take pictures
Chair:Yixiang Chen
09:00-10:30 Keynote Speech I
(Math Building 113)
Chair:Xingmian Sha
Speech 1: Jeffrey Voas, IEEE Reliability Society and NIST, USA
Title: Networks of Things, Jeffrey Voas, IEEE Reliability Society and National Institute of Standards and Technology
Speech 2: Shaoying Liu, Hosei University, Japan
Title: Testing-Based Formal Verification for Algorithmic Function Theorems and Its Application to Software Verification and Validation
10:30-10:40 Tea Break
10:40-12:00 Track 1
Math Building 202 East
12:00-13:00 Lunch
13:30-15:00 Keynote Speech II
(Math Building 113)
Chair: Quan Wang
Speech 3: Qingfeng Zhuge, Chongqing University
Title: Reliability-Considered Task Assignment and Scheduling for Heterogeneous Multiprocessors
Speech 4: Zhenhua Duan, Xidian University
Title: Verificating Temporal Properties via Dynamic Program Execution
15:00-15:20 Lunch
15:20-17:00 Track 2 Track 3
Math building 202(East) Math building 201(East)
17:30-19:00 Dinner
10.30 08:30-10:00 Track 4
Math building 202(East)
10:00-10:20 Tea Break
10:20-11:50 Keynote Speech III
(Math Building 201)
Chair: Bing Guo
Speech 5: Yi,Wang, Northeastern University
Title: A Tool for Scalable Timing Analysis and Synthesis of Embedded Software
Speech 6: Ji Wang, National University of Defense
Title: When Abstract Interpretation meets Interrupt-Driven Programs
11:50-12:10 Closing Ceremony (Best Paper, Summary, Close)
(Math building 201(East))
12:20-13:30 Lunch
14:00-15:00 IEEE Reliability Society Shanghai Chapter Meeting
(Math building 202 East)

 

Group Reports

October 29, 10:40AM-12:00AM

Track 1: Reliability and Trustworthiness          Chair: Qingguo Zhou

1.1 Research of Software Trustworthiness Measure Based on Validation
Hongwei Tao and Jie Zhao
1.2 The Quantitative Analysis of Interaction between Software and Environment
Yanfang Ma and Liang Chen
1.3 A Method of Software Trustworthiness Measurement on Trusted Evidences
Yan Li and Yixiang Chen
1.4 The Performance Analysis of Parallel Computing Framework on Embedded Multi-core trustworthy systems
Weidong Ma and Zhiying Wang

 

October 29, 3:20PM-5:00PM

Track2 : Reliability and Trustworthiness          Chair: Yunwei Dong

2.1 Temporalising Separation Logic with PPTL for Planning
Xu Lu, Cong Tian and Zhenhua Duan
2.2 A Method for Structure-Oriented Regression Test Path Generation
Yanlin Li and Junwei Du
2.3 An Investigation of Essential Topics on Software Fault-Proneness Prediction
Shou-Yu Lee, Dong Li and Yihao Li
2.4 Software Backup System Reliability in the Presence of Common Cause Failure
Wang Baohua
2.5 A new Intrusion Detection Mechanism in SELinux
Runnan Zhang, Gang Liu, Xin Yuan, Shaomin Ji and Guofang Zhang

 

Track3:Embedded Applications          Chair: Jianfeng Yang

3.1 Indoor WSN Region Localization Based on Time Window Statistics
Junping Qin, Qingxu Deng, Yuntao Wu, Haibin Tong and Xianli Su 
3.2 Controlling Non-touch Screens as Touch Screens Using Airpen-a Writing Tool with In-air Gesturing Mode
Qingcheng Li, Heng Cao, Ye Lu, Haoqiang Yan and Tao Li
3.3 Classification of Tongue Images Based on Doublets
Jie Ding, Guitao Cao and Dan Meng
3.4 High Speed Homework Data Collecting System under K-12 Education Circumstance
Qingcheng Li, Heng Cao, Haoqiang Yan and Ye Lu
3.5 Experimental Validation and Exploration of a New Kind of Synchronization in Linux
Fangfang Zhu, Yucong Chen, Jianqiang Wang, Gaofeng Zhang and Qingguo Zhou

 

October 30, 8:30AM-10:00AM

Track4: CPS & Scheduling        Chair: Weizhe Zhang

4.1 A Graphical Hierarchical CPS Architecture
Shizhong Wang, Yuanrui Zhang, Zhihua Yang and Yixiang Chen
4.2 A User-level Approach for ARINC 653 Temporal Partitioning in seL4
Qiao Kang, Cangzhou Yuan, Xin Wei, Yanhua Gao and Lei Wang
4.3 Static Thermal-Aware Task Assignment and Scheduling for Makespan Minimization in Heterogeneous Real-time MPSoCs
Kun Cao, Junlong Zhou, Min Yin, Tongquan Wei, and Mingsong Chen
4.4 Fault-Tolerant Scheduling of Primary-Alternate Version Based on Variable Workload
Yingchun Huang and Qingxu Deng
4.5 MEI: A Light Weight Memory Error Injection Tool for Validating Online Memory Testers
Xiaoqiang Wang, Xuguo Wang, Fangfang Zhu, Qingguo Zhou and Rui Zhou
4.6 Improve the Quality of ARC Systems based on the Metamorphic Testing
Jihu Zhang, Xiaochuan Jing, Wei Zhang, Haipeng Wang, Yunwei Dong
4.7 Fault Detection of Wireless Sensor Networks -- An Energy Efficiency Perspective
Yue Zhang

About Shanghai


In a country with roughly five millennia of continuous history under its belt, Shanghai is a relative newcomer. During the first few centuries of its existence it was a mere fishing village. It wasn't until the year 1074 under the Song Dynasty that it was promoted to "market town" status. And it took almost another millenium before the newly-established Republican government would finally own up and call it a "city" in 1927. Before then, it had a lowly designation as "county seat" for the Songjiang Prefecture.


Semantics aside, though, Shanghai didn't really rise to the fore until the 19th century, when the Treaty of Nanjing forcibly opened its ports up to international trade and foreign settlements. It was no doubt a humiliating stain on the dignity of one of the world's great civilizations. Nevertheless, with trade came an unprecedented prosperity which reached its apex in the 1920s and 30s.


When the Communists defeated the Kuomintang in 1949, they realigned China's trade relations with other communist nations. Shanghai faded from the global scene. It wasn't until the 1980s with Deng Xiaoping's ascent to power and his resultant reforms that Shanghai would again become a player on the world stage.


Today, it is the show pony of China's booming economy. It's the country's financial and commercial center, its largest and busiest container port and its most populous city with the most comprehensive and advanced infrastructure. It is China's gateway to the rest of the world. Shanghai is historically a city of early adopters, a place full of people eager to welcome new ideas, try new things. This evident in the preponderance of international companies -- everything from cars manufacturers to coffee shops. You see it in the restaurants they eat in and the clothes that they wear. Or even in the radically eclectic skyline designed largely by international architecture firms. Suffice it to say, the world is once again coming to Shanghai, except this time it's on Shanghai's terms.



Places to see in Shanghai:

The Bund
Address:Zhongshan Dong Yi Lu, by Nanjing Dong Lu
If you were to take a postcard snapshot of Shanghai, The Bund is where you'd go. Stately and taciturn, it comprises more than ten blocks of architectural relics from Shanghai’s days as a treaty port. In its heyday, this riverside district was the city’s commercial and financial center, home to foreign-owned banks, trading houses, luxury hotels and gentlemen’s clubs. For nearly four decades, much of it lay dormant as state-owned properties until 1999, when the opening of the restaurant M on the Bund sparked a real estate development renaissance. Today, The Bund is home to some of Shanghai’s poshest restaurants and nightclubs as well as some of its swankest hotels. The waterfront promenade is also a perennial favorite for casual strolls and photo opps.


Tianzifang
Address:Taikang Lu, by Sinan Lu
Think of Tianzifang as Xintiandi’s more raucous and bohemian little brother. Like Xintiandi, Tianzifang began as a block of lane house residences falling into disrepair, destined for the bulldozer. But in 2005, it was turned into an arts street. What started as a few artisan shops, studios and galleries is now a bustling hive of trendy cafes, bars and restaurants ensconced among a labyrinth of narrow alleyways. There are storefronts selling chintzy trinkets, pashmina scarves and hats, quirky couture and you can even get a tattoo or piercing (though we don't recommend it). Oddly enough, there are still some steadfast residents holing up in the periphery. You’ll often see them hanging their laundry amid all the foot traffic.


Lu Jia Zui
Address:Shiji Da Dao (Avenue), by Lujiazui Huan Lu
Across the Huangpu River, Lujiazui thrusts brazenly up to the heavens. 30 years ago, this district was nothing more than marshes and rice paddies. Today, it’s home to one of Asia’s most audacious skylines. Here you’ll find three of the city’s most distinctive structures: The 468 meter-high spire of spheres and cylinders known as Oriental Pearl Tower, the 88-floor pagoda-themed Jinmao Tower and the bottle opener-shaped Shanghai World Financial Center, the world’s fourth tallest building. Soon to join them is a third skyscraper, the Shanghai Tower, which, when completed in 2014, will be second in height only to Dubai’s Burj Khalifa.

Click here to know more about Shanghai.


Useful Information

Emergency Numbers

Fire service 119
Police 110
Emergency call 120

Hotel Reservasion:

Subway Map:



Details

General Inquiries


For more detailed and updated information, please contact Wenting Li, the email address is 1119483042@qq.com, and the phone is +86 182 3426 4782.

2015 International Symposium on System and Software Reliability (ISSSR)
December 10-13, 2015
Math Building 201
Zhongbei Campus
East China Normal University
#3663 Zhong Shan Road (North), Shanghai 200062, China


Sponsor

  • East China Normal University(ECNU)

Conference Chair

Christian K. Hansen
Jifeng He


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 (Chair) IEEE Reliability Society University of Texas at Dallas
Yixiang Chen (Chair) School of Computer Science and Software Engineering East China Normal University

Keynote Speaker

Christian Hansen
Title: Data Management in the Age of Big Data. Will Moore’s Law Continue to Apply?

Tutorial speaker

1) Russell W Morris
Title: The Elements Affecting Software Reliability


2) Pete Rotella
Title: Excuses are Not Allowed!: Networks are Mission-critical and Must Be Reliable


3) W. Eric Wong
Title: An Integrated Solution for Software Testing and Quality Assurance