1st International Workshop on Assurance

Cases for Software-intensive Systems

(ASSURE 2013)

San Francisco, California, May 19, 2013,

in conjunction with ICSE 2013


8.30 - 9.00

Welcome and Introduction to Assurance Cases

Ibrahim Habli (University of York)


9.00 - 9.30

Safety Cases: A Review of Challenges

Zarrin Langari, Tom Maibaum (McMaster University)

9.30 - 10.00

Measuring Assurance Case Confidence Using Baconian Probabilities

Charles Weinstock, John Goodenough, Ari Klein (Software Engineering Institute)

Tool Demonstrations 1

10.00 - 10.15

AdvoCATE: An Assurance Case Automation Toolset (Tool Demonstration)

Ewen Denney, Ganesh Pai, Atef Suleiman (SGT., Inc. NASA Ames Research Center)

10.15 - 10.30

Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration)

Tim Kelly (University of York), Carmen Carlan, Sebastian Voss (fortiss GmbH)

10.30 - 11.00

Coffee Break

Notations and Techniques

11.00 - 11.30

An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case

Shuichiro Yamamoto, Yutaka Matsuno (Nagoya University)

11.30 - 12.00

Nuanced Term-matching to Assist in Compositional Safety Assurance

Philippa Conmy, Katrina Attwood (University of York)

12.00 - 12.30

An Implementation of GSN Community Standard

Yutaka Matsuno, Shuichiro Yamamoto (Nagoya University)

12.30 - 14.00

Lunch Break


14.00 - 14.30

Architecting and Generalizing a Safety Case for Critical Condition Detection Software - An Experience Report

Martin S. Feather (JPL, California Institute of Technology), Lawrence Markosian (SGT., Inc. NASA Ames Research Center)

14.30 - 15.00

Creating Safety Assurance Cases for Rebreather Systems

Alma Juarez Dominguez (University of Waterloo), Bruce Partridge (Shearwater Researchlivepage.apple.com Inc.), Jeffrey Joyce (Critical Systems Labs Inc.)

15.00 - 15.30

Constructing Safety Assurance Cases For Medical Devices

Arnab Ray (Fraunhofer CESE), Rance Cleaveland (University Of Maryland)

Tool Demonstrations 2

15.30 - 15.45

D-Case Editor and D-Case/Agda (Tool Demonstration)

Yutaka Matsuno (Nagoya University), Makoto Takeyama (AIST)

Assurance Case Standards

15.45 - 16.00

Overview of Standardization Efforts

16.00 - 16.30

Coffee Break

16.30 - 17.45

Panel Discussion

Chair: Ewen Denney (SGT., Inc. NASA Ames Research Center)

John Goodenough (Software Engineering Institute), Tim Kelly (University of York), Makoto Takeyama (AIST), Alan Wassyng (McMaster University)

17.45 - 18.00


Ganesh Pai (SGT., Inc. NASA Ames Research Center)