The first International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013) was held on May 19, 2013, in conjunction with the International Conference on Software Engineering (ICSE) in San Francisco. ASSURE 2013 was co-organized by Ewen Denney and Ganesh Pai of t Ro Intelligent Systems Division’s Robust Software Engineering research area, along with Ibrahim Habli and Tim Kelly of the University of York, UK, and John Knight of the University of Virginia.
Assurance cases are structured arguments that connect dependability and safety claims to supporting evidence. Several certification standards and guidelines, e.g., in the defense, transportation (aviation, automotive, rail), and healthcare domains, now recommend or mandate the development of assurance cases for software-intensive systems. ASSURE 2013 aims to provide an international forum for high-quality 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.
The program committee consists of the leading researchers in the area and several industrial practitioners. Accepted papers cover the broad areas of assurance case principles, notations and techniques, and practical application.
BACKGROUND: Ewen Denney and Ganesh Pai are developing the AdvoCATE toolset for the principled application of argument-based assurance to aviation problems, such as safety assurance and airworthiness certification.
NASA PROGRAM FUNDING: Assurance of Flight Critical Systems, System-Wide Safety and Assurance Technologies (SSAT) project, Aviation Safety Program
Contact: Ewen Denney