ASSURE 2014

ASSURE 2014 has successfully concluded

UPDATES

• 2014-11-25: ASSURE 2014 concluded successfully. The accepted papers will appear in the ISSRE Supplemental Proceedings. Slides of most of the talks, including the keynote, also have been post. Thank you for attending! See you in 2015.
• 2014-09-15: The ASSURE 2014 Program has been announced.
• 2014-09-12: ASSURE 2014 will be held on Wednesday, Nov. 5, 2014. The accepted papers and program will be posted here soon.
• 2014-09-12: David Higham, Head of Functional Safety at Delphi Diesel Systems, UK, will give an invited keynote talk.
• 2014-09-05: The deadline for submitting the final version of accepted papers, and the copyright form is Sep. 19, 2014.
• 2014-08-24: Submission deadlines have passed. Submission is now closed.

Introduction and Workshop Goals

ASSURE 2014, collocated this year with ISSRE 2014, aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to assure that the dependability properties of critical, software-intensive systems have been met.

The main goals of the workshop are to:

• Explore techniques for the creation and assessment of assurance cases for software-intensive systems
• Examine the role of assurance cases in the systems and software engineering lifecycle
• Identify the dimension of effective practice in the development and evaluation of assurance cases
• Investigate the relationship between software reliability engineering (SRE) and assurance cases
• Identify critical research challenges and define a roadmap for future development

We invite original, high-quality research, practice, tools and position papers that have not been published/submitted elsewhere. See the full Call for Papers, for more details on topics. Also view the submission and deadline, and guidelines.

ASSURE 2014 Program

09:00 – 10:00. Welcome and Keynote

09:00 – 09:10. Introduction

09:10 – 10:00. Keynote: Challenges and Trends for Automotive Safety Assurance
David Higham, Delphi Diesel Systems, UK

10:30 – 11:00. Morning Coffee Break

10:00 – 10:30.   Session 1. Principles and Techniques (Cont’d.)

11:00 – 11:30. Building Blocks for Assurance Cases.
Robin Bloomfield and Kateryna Netkachova

11:30 – 12:00. Linking Traceability with GSN.
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, and Toshinori Takai

12:00 – 12:30. Using the Information from an Issue Tracking System for Constructing Assurance Cases.
Khana Chindamaikul, Toshinori Takai, and Hajimu Iida

12:30 – 14:00.   Lunch Break

14:00 – 15:30.   Session 2. Processes and Tools

14:00 – 14:30. A Model-driven Safety Certification Method for Process Compliance.
Barbara Gallina

14:30 – 15:00. A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.
Eui-Sub Kim, Junbeom Yoo, Jong Gyun Choi, Young Jun Lee, and Jang-Soo Lee

15:00 – 15:30. SCT: A Safety Case Toolkit.
John Knight, Anthony Aiello, Ashlie Hocking, and Jonathan Rowanhill

15:30 – 16:00. Afternoon Coffee Break

16:00 – 17:00. Session 3. Applications

16:00 – 16:30. A Security Argument Pattern for Medical Device Assurance Cases.
Anita Finnegan and Fergal McCaffery

16:30 – 1700. Arguing Software Compliance With ISO 26262.
Ben Hocking, John Knight, Anthony Aiello, and Shin’ichi Shiraishi.

17:00 – 17:50. Session 4. Panel Discussion

17:00 – 17:50. The Role of Formalism and Automation in Assurance Case Development and Review.
Panelists: Dave Higham, John Knight, Lorenzo Strigini, and Kenji Taguchi.

17:50 – 18:00. Conclusion and Wrap-Up

Important Dates

Event Workshop Papers Due Notification of Acceptance Camera-ready Copies Due Assure 2014 Workshop

Deadline Now Closed September 5, 2014 September 19, 2014 (FIRM) November 5, 2014

Submit

Paper Submission is now closed.

1. All papers must be original work not published, or in submission, elsewhere.
2. All papers should be submitted only in PDF. Please verify that papers can be reliably printed and/or viewed on screen before submitting.
3. Research papers can be up to 6 pages long including figures and references
4. Tools papers can be up to 4 pages long
   • Note: Authors of accepted tools papers will be expected to give a demonstration of the tool(s) at the workshop, i.e., no screenshots
5. Papers should conform to the ISSRE paper formatting guidelines, i.e., 2 column IEEE conference paper format
6. Accepted papers will be published in the ISSRE Supplemental / Workshop Proceedings, and indexed on IEEE Xplore. Authors of the best papers may be invited to submit an extended version for publication in a special journal issue (tentative).
7. Submit your paper electronically via EasyChair by August 24, 2014.

Call for Papers

Software plays a key role in high-risk systems, e.g., safety-, and security-critical systems. Several certification standards/guidelines now recommend and/or mandate the development of assurance cases for software-intensive systems, e.g., defense (UK MoD DS-0056), aviation (CAP 670. FAA Interim Guidance 08-01), automotive (ISO 26262), and healthcare (FDA Draft Guidance 510(k) for Pre-market Approval of Infusion Pumps). As such, there is an urgent need to develop models, techniques and tools that target the development of assurance arguments for software.

The goals of the 2014 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014) are to:

• Explore techniques for creating/assessing assurance cases for software-intensive systems
• Examine the role of assurance cases in the systems and software engineering lifecycle
• Identify the dimensions of effective practice in the development and evaluation of assurance cases
• Investigate the relationship between software reliability engineering (SRE) and assurance cases, and
• Identify critical research challenges and define a roadmap for future development.

We solicit high-quality contributions: research, practice, tools and position papers on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.

Papers should attempt to address the workshop goals in general.

Topics

Topics of interest include, but are not limited to:

• Standards: Industry guidelines and standards are increasingly requiring the development of assurance cases, e.g., the automotive standard ISO 26262 and the FDA Draft Guidance 510(k) for Pre-market approval of Infusion Pumps.
• Dependable architectures: How do fault-tolerant architectures and design measures such as diversity and partitioning relate to assurance cases?
• Reliability analysis: What are the relationships between reliability analysis techniques (e.g., Fault Tree Analysis / Markov Modeling) and the assurance case paradigm?
• Tools: Using the output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases / using tools for the modeling, analysis and management of assurance cases
• Application of formal techniques to create and analyze arguments
• Exploration of relevant techniques for assurance cases for real-time, concurrent, and distributed systems
• Assurance issues in emerging computational paradigms, e.g., cloud, mobile, virtual, many-core architectures, and adaptive and autonomous systems
• Modeling and Metamodeling: Representation of structured arguments through metamodels, such as OMG’s Structured Assurance Case Metamodel (SACM)
• Assurance of software quality attributes, e.g., safety, security and maintainability, as well as dependability in general, including tradeoffs, and exploring notions of the quality of assurance cases themselves
• Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power
• Reuse and Modularization: Contracts and patterns for improving the reuse of assurance case structures
• Connections between the Goal Structuring Notation for assurance cases, and goal-orientation from the requirements engineering community

Committees

Workshop Chairs Ewen Denney, SGT / NASA Ames, USA Ibrahim Habli, University of York, UK Ganesh Pai SGT / NASA Ames, USA

Program Committee (Login) Robin Bloomfield, City University, UK John Favaro, INTECS, Italy Richard Hawkins, University of York, UK Paul Jones, US Food and Drug Administration (FDA) Tim Kelly, University of York, UK John Knight, University of Virginia, USA Tom Maibaum, McMaster University, Canada Robert Martin, MITRE Corporation, USA Roger Rivett, Jaguar Land Rover, UK Christel Seguin, ONERA, France Mark-Alexander Sujan, University of Warwick, UK Kenji Taguchi, AIST, Japan Fredrik Törner, Volvo, Sweden Alan Wassyng, McMaster University, Canada Sean White, Health and Social Care Information Centre, UK

Past Workshops

ASSURE 2013, San Francisco, USA

Contact The Organizers

If you have questions about paper topics, submission and/or about ASSURE 2014 in general, please contact the Workshop Organizers.

If you have questions about publication issues in particular for papers accepted at ASSURE 2014, please contact Ibrahim Habli.

Keynote Speaker

November 5, 2014, from 09:10 – 10:00.

ASSURE 2014 is pleased to host David Higham, Head of Functional Safety at Delphi Diesel Systems, UK, as the keynote speaker this year.

Registration

Location, Registration and Other Information

There is no separate registration for ASSURE 2014.

However, ASSURE 2014 is collocated with ISSRE 2014 this year, and will be held as one of several parallel tracks of the main conference program, on Nov. 5, 2014, from 9:00 AM – 6:00 PM. Consequently, to attend ASSURE 2014, you will need to register for ISSRE 2014.

NOTE: At least one author of each paper accepted at ASSURE 2014 must register at the full rate, for the paper to be published in the ISSRE Workshop Proceedings, and to appear in the ASSURE 2014 Program. We recommend that the author registering at the full rate also indicate the ID and title of the paper(s) to enable the ISSRE organizers to easily track the registration status.

• Please visit the ISSRE registration page to register for ISSRE 2014, in order to attend ASSURE 2014.

  Note that the deadline for early registrations is Sep. 21, 2014. We recommend that authors register early, if possible, to take advantage of reduced registration rates.

• If you require a visa to attend ASSURE 2014, please request an invitation letter from the ISSRE 2014 general chair. Additional details can be found on the ISSRE registration page.
• For information on the Workshop / Conference venue, and details on accommodation and travel, please visit the corresponding ISSRE page.