The workshop will run a full day and each paper will have 20 minutes for presentation.

 8:45 - 9:00  Openning remarks
 9:00 - 10:30  S1: Keynote
 10:30 - 11:00  Coffee break
 11:00 - 12:30  S2: Fault Location
 12:30 - 14:00  Lunch
 14:00 - 15:30  S3: Environment and Failures 
 15:30 - 16:00  Coffee break
 16:00 - 17:45  S4: Defect Analysis, Verification and Modelling
 17:45 - 18:00  Closing remarks

Session 1: Keynote

Title: Why Does Software Fail and What Should be Done About It?
Speaker: Prof. Kishor S. Trivedi, Duke University, North Carolina, USA.


Safety critical and other technical systems contain significant amount of software. Several recent studies have established that most system outages are due to software faults. Traditional methods of fault avoidance, fault removal based on extensive testing/debugging, and fault tolerance based on design/data diversity are found wanting. The key challenge then is how to provide highly cost-effective dependable software. We discuss a new view of fault tolerance of software-based systems. We classify software faults into Bohrbugs and Mandelbugs, and identify aging-related bugs as a subtype of the latter. Bohrbug refers to a fault that is easy to isolate and whose manifestation is consistent under a well-defined set of conditions, because its activation and error propagation lack “complexity”. In contrast to Bohrbug, the term Mandelbug refers to a fault whose behavior seems to be “non-deterministic”. This means that typically a Mandelbug is difficult to isolate, and failures caused by it are hard to reproduce. In our definition of a Mandelbug we trace these characteristics to the complexity of its activation and/or error propagation.

Traditional methods have been designed to deal with Bohrbugs. Hence, the natural next challenge then is to develop cost-effective mitigation methods for Mandelbugs in general and aging-related bugs in particular. We submit that mitigation methods for Mandelbugs utilize environmental diversity. Restart application, failover to an identical replica (hot, warm or cold) and reboot the OS are examples of mitigation techniques that rely on environmental diversity. We discuss environmental diversity both from experimental and analytic points of view. We finally discuss software aging related faults where it is possible to utilize proactive environmental diversity technique known as software rejuvenation.

Short Biography

Kishor S. Trivedi holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke University, Durham, NC. He has a B.Tech (EE, 1968) from IIT Mumbai, M.S. (CS, 1972) and PhD (CS, 1974) from the University of Illinois, Urbana-Champaign.  He has been on the Duke faculty since 1975. He is the author of a well-known text entitled, Probability and Statistics with Reliability, Queuing and Computer Science Applications, first published by Prentice-Hall; a thoroughly revised second edition (including its Indian edition) of this book has been published by John Wiley. He is a Fellow of the Institute of Electrical and Electronics Engineers. He is a Golden Core Member of IEEE Computer Society. He has published over 500 articles and has supervised 45 Ph.D. dissertations. He is the recipient of IEEE Computer Society Technical Achievement Award for his research on Software Aging and Rejuvenation. His research interests in are in reliability, availability, performance, performability and survivability modeling of computer and communication systems. He works closely with industry in carrying our reliability/availability analysis, providing short courses and in the development and dissemination of software packages such as SHARPE and SPNP. His website is

Session 2: Fault Location

2.1 FLAVS: A Fault Localization Add-in for Visual Studio — Nan Wang, Zheng Zheng, Zhenyu Zhang and Cheng Chen.
2.2 The Importance of Being Positive in Causal Statistical Fault Localization: Important Properties of Baah et al's CSFL Regression Model  Zhoufu Bai, Shih-Feng Sun and Andy Podgurski.
2.3  Evaluating Bug Finders - Test and Measurement of Static Code Analyzers  Aurelien Delaitre, Bertrand Stivalet, Elizabeth Fong and Vadim Okun.
2.4  Cross-technology, Cross-layer Defect Detection in IT Systems – Challenges and Achievements  Philippe-Emmanuel Douziech and Bill Curtis.

Session 3: Environment and Failures

3.1 The Role of Environmental Assumptions in Failures of DNA Nanosystems  Thein T. Tun, Robyn Lutz, Brian Nakayama, Yijun Yu, Divita Mathur and Bashar Nuseibeh.
3.2 Emulating Environment-dependent Software Faults  Roberto Pietrantouno, Stefano Russo and Kishor Trivedi.
3.3 Towards Classification of Concurrency Bugs Based on Observable Properties — Sara A. Asadollah, Hans Hansson, Daniel Sundmark and Sigrid Eldh.


Session 4: Defect Analysis, Verification and Modelling   

4.1 Modeling and Verification of Zone Controller: the SCADE Experience in China’s Railway Systems  Jie Qian, Jing Liu, Xiang Chen and Junfeng Sun.
4.2 Defect Analysis Over Multiple Release Versions of a Semiconductor Software System  Eric Abuta and Jeff Tian.
4.3  An Imperfect Software Debugging Model based on Stochastic Differential Equation  Jinyong Wang, Zhibo Wu, Yanjun Shu and Zhan Zhang.
4.4 Crying Wolf and Meaning it: Reducing False Alarms in Monitoring of Sporadic Operations through POD-Monitor  Xiwei Xu, Liming Zhu, Min Fu, Wei Sun, An B. Tran, Srini Dwarakanathan and Len Bass.