Runtime Verification and Monitoring

["Tao Xie" <xie AT csc.ncsu.edu>]

The 17th IEEE International Symposium on
Software Reliability Engineering (ISSRE 2006)

November 6-10, 2006
Raleigh (Research Triangle), North Carolina, USA
http://www.issre.org

The International Symposium on Software Reliability Engineering (ISSRE) 
focuses on the practice and theory of software systems reliability 
engineering and analytics. The scope ranges from techniques and  practices 
to verify, validate and test software, to those needed to estimate and 
predict its reliability, availability and dependability, to those that make 
it more tolerant to faults and (unexpected) changes in operating conditions, 
to the impact different development methods and processes have on the field 
reliability of a software-based product.

While, as always, the conference will provide an in-depth representation of 
both software reliability engineering (SRE) theory and experimentation, this 
year strong focus will be on the SRE practices and challenges faced by the 
software industry and by government systems, and on how SRE relates to 
security related software failures.

Topics, as they relate to reliability, availability and dependability of 
software and software-based systems, include but are not limited to the 
following

- Reliability, availability and dependability modeling and practices
- Software development methods, processes and standards (including reliable, 
secure and trustworthy software architectures)
- Software safety, security, trust and information assurance analysis
- Verification, validation and testing (including formal methods)
- Empirical studies; Metrics and measurements, estimation, and prediction
- Tools and automation (including SRE analytics and visualization)
- Fault-tolerant, robust and dependable software-based systems (including 
SRE of cyber infrastructure components such as storage, networking, 
switching, high-performance systems and applications, virtualization 
frameworks and solutions, and mobile and wireless devices and 
infrastructural components)
- Networked software-based systems (including end-to-end workflows & 
services, ad hoc networks, sensors)
- Reliability of critical systems with software components (e.g., Internet 
and cyber infrastructure, bio-medical, flight and other transportation, 
information security)
- Open source systems
- Role of reliability in government and government-sponsored software-based 
systems
- SRE implementation and experiences, workforce development and training

IMPORTANT DEADLINES:
Research Track Papers: April 7, 2006 (full length papers - up to 20 pages)
Workshop, Tutorial & Panel: May 15 2006 (one page proposals)
- Please send letter of intent ASAP so we can coordinate hotel rooms
Industry Practices Abstracts (papers, experience reports): June 30 2006 
(full length papers, up to 20 pages)
Fast Abstracts & Student Papers: August 1 2006 (see web page for details)
http://www.issre.org

ISSRE will be collocated with the workshop on Advances in Model-Based 
Software Testing (A-MOST06), 6-7 Nov 2006

ORGANIZATION
General Chair:
Mladen A.Vouk, NC State University, USA
Program Committee Co-Chairs:
Carol Smidts, U. of Maryland, USA
Amit Paradkar, IBM Research, USA

Complete list of the Organizing Committee and Program Committee is available 
on-line at http://www.issre.org