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)


Principles


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


Applications


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

Wrap-up

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