[SystemSafety] 2nd Call for Papers. ASSURE 2015

From: Ganesh J. Pai < >
Date: Mon, 11 May 2015 12:02:53 -0700


Dear System Safety List Members,

Please consider submitting a research / position / tools / industrial practice paper to the 3rd International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2015), which will be collocated this year with SAFECOMP 2015, in Delft, the Netherlands.

Papers are due on May 22, 2015.

The Call for Papers is included below. More details on the workshop are available on the ASSURE 2015 website:
http://ti.arc.nasa.gov/events/assure2015/


                       CALL FOR PAPERS

************************************************************
ASSURE 2015 The 3rd International Workshop on Assurance Cases for Software-intensive Systems September 22, 2015 Delft, The Netherlands Collocated with SAFECOMP 2015
************************************************************
http://ti.arc.nasa.gov/events/assure2015
************************************************************

Software plays a key role in high-risk systems, e.g., safety-, reliability-, and 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 DS-0056), aviation (CAP 670, FAA operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA guidance on infusion pumps total product lifecycle). As such, there is a need to develop models, tools, and techniques that target the development of assurance arguments for software.

The goals of the 2015 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015) are to:

(a) explore techniques for creating/assessing assurance

    cases for software-intensive systems; (b) examine the role of assurance cases in the engineering

    lifecycle of critical systems;
(c) identify the dimensions of effective practice in the

    development and evaluation of assurance cases; (d) investigate the relationship between dependability

    techniques and assurance cases; and, (e) identify critical research challenges and define a

    roadmap for future development.

We solicit high-quality contributions (research, practice, tools, and position papers) on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.

Papers should attempt to address the workshop goals in general.

Topics of interest include, but are not limited to:

                   SUBMISSION GUIDELINES

************************************************************
1. All papers must be original work not published, or in submission, elsewhere.

2. All papers should be submitted only in PDF. Please verify that papers can be reliably printed and/or viewed on screen before submitting.

3. Papers should conform to the LNCS paper formatting guidelines. See the ASSURE 2015 website for details.

4. Regular (research, practice, or position) papers can be up to 12 pages long including figures, references, and any appendices.

5. Tools papers can be up to 10 pages long including figures, references and any appendices.

Note: Authors of accepted tools papers will be expected to give a demonstration of the tool(s) at the workshop, i.e., no screenshots.

6. Submit your paper electronically via EasyChair by May 22, 2015, through the conference website:

          http://ti.arc.nasa.gov/events/assure2015/

Papers will be peer-reviewed by at least three members of the program committee. Accepted papers will be published in the SAFECOMP 2015 Workshop Proceedings, to be published by Springer, in the Lecture Notes in Computer Science (LNCS) Series. Authors of the best papers may be invited to submit an extended version for publication in a special journal issue (tentative).


                       IMPORTANT DATES

************************************************************
Workshop papers due : May 22, 2015 Author notification : June 15, 2015 Camera ready papers : June 28, 2015 ASSURE 2015 Workshop : September 22, 2015 SAFECOMP 2015 : September 22 - 25, 2015
************************************************************
WORKSHOP ORGANIZERS
************************************************************
Ewen Denney, SGT / NASA Ames Research Center, USA Ibrahim Habli, University of York, UK
Ganesh Pai, SGT / NASA Ames Research Center, USA
                      PROGRAM COMMITTEE

************************************************************
Robin Bloomfield, City University, UK
Jérémie Guiochet, LAAS-CNRS, France
Richard Hawkins, University of York, UK
David Higham, Delphi Diesel Systems, UK
Michael Holloway, NASA Langley Research Center, USA Paul Jones, U.S. Food and Drug Administration, USA Tim Kelly, University of York, UK
Yoshiki Kinoshita, Kanagawa University, Japan John Knight, University of Virginia, USA Andrew Rae, Griffith University, Australia Roger Rivett, Jaguar Land Rover, UK
Christel Seguin, ONERA, France
Mark-Alexander Sujan, University of Warwick, UK Kenji Taguchi, AIST, Japan
Alan Wassyng, McMaster University, Canada Sean White, Health and Social Care Information Centre, UK

           http://ti.arc.nasa.gov/events/assure2015/





The System Safety Mailing List
systemsafety_at_xxxxxx Received on Mon May 11 2015 - 21:03:43 CEST

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