[SystemSafety] 2nd Call for Papers: 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE), 2013

From: Ganesh J. Pai < >
Date: Fri, 18 Jan 2013 08:44:45 -0800


Dear System Safety List members,

Please consider submitting a research / position / practice paper to the 1st International Workshop on Assurance Cases for Softwareintensive  Systems (ASSURE) 2013, which will be co-located with ICSE 2013, in San Francisco. The Call for Papers is included below.


                           CALL FOR PAPERS
----------------------------------------------------------------------------------
                            ASSURE 2013
   The 1st International Workshop on Assurance Cases
              for Software-intensive Systems

          San Francisco, California, May 19, 2013
                in conjunction with ICSE 2013

----------------------------------------------------------------------------------

              http://www.cs.york.ac.uk/assure2013
******************************************************************

Software plays a key role in high-risk systems, e.g., safetyand  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 DS0056), aviation (CAP 670, FAA Interim Guidance 08-01), automotive (ISO 26262), and healthcare (FDA Guidance on Infusion Pumps 510(k)). As such, there is a need to understand and evaluate (a) the application of assurance cases to software, and (b) the relationship between assurance case development and assessment, and software engineering concepts, processes and techniques.

The goals of the ASSURE 2013 workshop are to explore techniques for the creation and assessment of assurance cases for softwareintensive  systems; leverage, adapt and apply techniques, concepts, and tools from software engineering in the assurance case lifecycle; identify the dimensions of effective practice in the development and evaluation of assurance cases, and identify critical challenges and define a roadmap for future developments.

We solicit high-quality research contributions, practice and position papers on the application of assurance case principles and techniques for software assurance, and on the treatment of assurance cases as artifacts to which the full range of software engineering techniques can be applied. Papers should attempt to address the workshop goals in general.

Topics of interest include, but are not limited to


Papers should conform to the formatting guidelines (http://2013.icse-conferences.org/content/submission-guidelines) and be no more than 6 pages long. Papers submitted for consideration should not have been published elsewhere and should not be under review or submitted for review elsewhere.

Instructions for submission are available on ASSURE 2013 website (http://www.cs.york.ac.uk/assure2013).

Accepted papers will be published in the ICSE 2013 electronic proceedings. Authors of best papers will be invited to submit extended versions for publication in an edited book.



IMPORTANT DATES
Paper submission      : February 7, 2013
Author notification      : February 28, 2013
Camera ready copy    : March 7, 2013.
Workshop                  : May 19, 2013.


******************************************************************
WORKSHOP ORGANIZERS

Ewen Denney, SGT / NASA Ames Research Center, USA Ibrahim Habli, University of York, UK
Tim Kelly, University of York, UK
John Knight, University of Virginia, USA Ganesh Pai, SGT / NASA Ames Research Center, USA

PROGRAM COMMITTEE

Robin Bloomfield, City University, UK
Luke Emmet, Adelard, UK
Richard Hawkins, University of York, UK
Kelly Hayhurst, NASA Langley Research Center, USA Michael Holloway, NASA Langley Research Center, USA Daniel Jackson, MIT, USA
Insup Lee, University of Pennsylvania, USA Peter Lindsay, University of Queensland, USA
Tom Maibaum, McMaster University, Canada
Nikolai Mansourov, KDM Analytics, USA
Robert Martin, MITRE Corporation, USA

Yutaka Matsuno, Nagoya University, Japan Roger Rivett, Jaguar Land Rover, UK
Christel Seguin, ONERA, France
Kenji Taguchi, AIST, Japan
Fredrik Torner, Volvo Car / Chalmers University, Sweden David Ward, MIRA Ltd., UK
Alan Wassyng, McMaster University, Canada Robert Weaver, Airservices Australia, Australia Charles Weinstock, SEI, USA

               http://www.cs.york.ac.uk/assure2013





The System Safety Mailing List
systemsafety_at_xxxxxx Received on Fri Jan 18 2013 - 17:45:33 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:05 CEST