Registration is now open. Click here to register.

Hotel information is now also available.

Software plays a key role in high-risk systems, i.e., safety- and security-critical systems. Several certification standards and guidelines, e.g., in the defense, transportation (aviation, automotive, rail), and healthcare domains, now recommend and/or mandate the development of assurance cases for software-intensive systems. As such, there is a need to understand and evaluate (a) the application of assurance cases to software, and (b) the relationship between the development and assessment of assurance cases, and software engineering concepts, processes and techniques.

The theme of the ICSE 2013 Workshop on Assurance Cases for Software-intensive Systems (ASSURE) is the relation between assurance cases and software. Not only do we want to apply assurance case principles and techniques to software assurance, but also we want to treat assurance cases as artifacts to which the full range of software engineering techniques can be applied.

The main goals of the workshop are to:

1. 1.explore techniques for the creation and assessment of assurance cases for software-intensive systems
   

2. 2.leverage, adapt and apply techniques, concepts, and tools from software engineering in the assurance case lifecycle
   

3. 3.identify the dimensions of effective practice in the development and evaluation of assurance cases
   

4. 4.identify critical research challenges and define a roadmap for future development.
   

The workshop aims to provide an international forum for high-quality contributions (research, practice, and position papers) on the application of assurance case principles and techniques for software assurance, and on the treatment of assurance cases as artifacts to which the full range of software engineering techniques can be applied.