[SystemSafety] Call for Papers. ASSURE 2016

From: Ganesh J. Pai < >
Date: Mon, 4 Apr 2016 15:39:57 -0700


Dear System Safety List Members,

Please consider submitting a research / position / tools / industrial practice paper to the 4th International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE 2016), which will be collocated this year with SAFECOMP 2016, in Trondheim, Norway.

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


                       CALL FOR PAPERS
*************************************************************
                        ASSURE 2016
      The 4th International Workshop on Assurance Cases
                for Software-intensive Systems

                     September 20, 2016
                     Trondheim, Norway.
                Collocated with SAFECOMP 2016
*************************************************************
            http://ti.arc.nasa.gov/events/assure2016
*************************************************************

Software plays a key role in high-risk systems, e.g., safety-, security-, and mission-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 760 and the FAA's operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA total product lifecycle guidance for infusion pumps). 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 2016 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016) 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 viewed on    screen before submitting.

3. Papers should conform to the LNCS paper formatting

   guidelines. See the ASSURE 2016 website (below) for    details.

4. Regular (research, or practice) 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. Position papers can be between 4 and 6 pages long,

   including figures, references, and any appendices.

6. Submit your paper electronically by May 17, 2015 through

   the workshop website:
   http://ti.arc.nasa.gov/events/assure2016/

Papers will be peer-reviewed by at least three program committee members. Accepted papers will be published in the SAFECOMP 2016 Workshop Proceedings, to be published by Springer, in the Lecture Notes in Computer Science (LNCS) Series.


                       IMPORTANT DATES
************************************************************
       Workshop papers due  : May 17, 2016
       Author notification  : June 7, 2016
       Camera ready papers  : June 20, 2016
       ASSURE 2016 Workshop : September 20, 2016
       SAFECOMP 2016        : September 20 - 23, 2016

************************************************************
                     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
************************************************************
       To be confirmed. See the ASSURE 2016 Website.

          http://ti.arc.nasa.gov/events/assure2016/
************************************************************



_______________________________________________
The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Apr 05 2016 - 00:40:45 CEST

This archive was generated by hypermail 2.3.0 : Sun Feb 17 2019 - 08:17:07 CET