ASSURE 2013 – Proceedings

1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)

Preface

Principles

Safety Cases: A Review of Challenges
Zarrin Langari and Tom Maibaum
(McMaster University, Canada)


@InProceedings{ASSURE13p1, author = {Zarrin Langari and Tom Maibaum}, title = {Safety Cases: A Review of Challenges}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: icsews13assure-id1-p doi:

Measuring Assurance Case Confidence using Baconian Probabilities
Charles B. Weinstock, John B. Goodenough, and Ari Z. Klein
(SEI, USA)


@InProceedings{ASSURE13p7, author = {Charles B. Weinstock and John B. Goodenough and Ari Z. Klein}, title = {Measuring Assurance Case Confidence using Baconian Probabilities}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, } Article: icsews13assure-id5-p doi:

Notations and Techniques

An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case
Shuichiro Yamamoto and Yutaka Matsuno
(Nagoya University, Japan)


@InProceedings{ASSURE13p13, author = {Shuichiro Yamamoto and Yutaka Matsuno}, title = {An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } Article: icsews13assure-id3-p doi:

Nuanced Term-Matching to Assist in Compositional Safety Assurance
Katrina Attwood and Philippa Conmy
(University of York, UK)


@InProceedings{ASSURE13p19, author = {Katrina Attwood and Philippa Conmy}, title = {Nuanced Term-Matching to Assist in Compositional Safety Assurance}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13assure-id7-p doi:

An Implementation of GSN Community Standard
Yutaka Matsuno and Shuichiro Yamamoto
(Nagoya University, Japan)


@InProceedings{ASSURE13p25, author = {Yutaka Matsuno and Shuichiro Yamamoto}, title = {An Implementation of GSN Community Standard}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {25-24}, doi = {}, year = {2013}, } Article: icsews13assure-id12-p doi:

Applications

Architecting and Generalizing a Safety Case for Critical Condition Detection Software: An Experience Report
Martin S. Feather and Lawrence Z. Markosian
(Jet Propulsion Laboratory, USA; SGT, USA)


@InProceedings{ASSURE13p31, author = {Martin S. Feather and Lawrence Z. Markosian}, title = {Architecting and Generalizing a Safety Case for Critical Condition Detection Software: An Experience Report}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13assure-id9-p doi:

Creating Safety Assurance Cases for Rebreather Systems
Alma L. Juarez Dominguez, Bruce G. Partridge, and Jeffrey J. Joyce
(University of Waterloo, Canada; Shearwater Research, Canada; Critical Systems Labs, Canada)


@InProceedings{ASSURE13p37, author = {Alma L. Juarez Dominguez and Bruce G. Partridge and Jeffrey J. Joyce}, title = {Creating Safety Assurance Cases for Rebreather Systems}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13assure-id6-p doi:

Constructing Safety Assurance Cases for Medical Devices
Arnab Ray and Rance Cleaveland
(Fraunhofer CESE, USA; University of Maryland, USA)


@InProceedings{ASSURE13p43, author = {Arnab Ray and Rance Cleaveland}, title = {Constructing Safety Assurance Cases for Medical Devices}, booktitle = {Proc.\ ASSURE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13assure-id10-p doi:

proc time: 0.04