The Community for Technology Leaders
2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE) (2013)
San Francisco, CA, USA
May 19, 2013 to May 19, 2013
ISBN: 978-1-4673-6324-2
TABLE OF CONTENTS

Title page (PDF)

pp. 1-2

Contents (PDF)

pp. 1

Foreword (PDF)

pp. iii-iv

Safety cases: A review of challenges (Abstract)

Zarrin Langari , Computing and Software Department McMaster University, Hamilton, ON, Canada
Tom Maibaum , Computing and Software Department McMaster University, Hamilton, ON, Canada
pp. 1-6

Measuring assurance case confidence using Baconian probabilities (Abstract)

Charles B. Weinstock , Software Engineering Institute Carnegie Mellon University Pittsburgh. PA, USA
John B. Goodenough , Software Engineering Institute Carnegie Mellon University Pittsburgh. PA, USA
Ari Z. Klein , Software Engineering Institute Carnegie Mellon University Pittsburgh. PA, USA
pp. 7-11

An evaluation of argument patterns to reduce pitfalls of applying assurance case (Abstract)

Shuichiro Yamamoto , Strategy Office, Information and Communications Headquarters Nagoya University Nagoya, Japan
Yutaka Matsuno , Strategy Office, Information and Communications Headquarters Nagoya University Nagoya, Japan
pp. 12-17

Nuanced term-matching to assist in compositional safety assurance (Abstract)

Katrina Attwood , Department of Computer Science University of York Heslington, U.K.
Philippa Conmy , Department of Computer Science University of York Heslington, U.K.
pp. 18-23

An implementation of GSN community standard (Abstract)

Yutaka Matsuno , Information and Communications Headquarters Nagoya University, Japan
Shuichiro Yamamoto , Information and Communications Headquarters Nagoya University, Japan
pp. 24-28

Architecting and generalizing a safety case for critical condition detection software an experience report (Abstract)

Martin S. Feather , Jet Propulsion Laboratory, California Institute of Technology Pasadena. USA
Lawrence Z. Markosian , SGT., Inc. Moffett Field, USA
pp. 29-33

Creating safety assurance cases for rebreather systems (Abstract)

Alma L. Juarez Dominguez , University of Waterloo Waterloo, Canada
Bruce G. Partridge , Shearwater Research Inc. Vancouver, Canada
Jeffrey J. Joyce , Critical Systems Labs Inc. Vancouver, Canada
pp. 34-39

Constructing safety assurance cases for medical devices (Abstract)

Arnab Ray , Fraunhofer Center For Experimental Software Engineering College Park, MD, USA
Rance Cleaveland , Department of Computer Science University Of Maryland at College Park, College Park, MD, USA
pp. 40-45
76 ms
(Ver 3.3 (11022016))