[SystemSafety] ASSURE 2014. 1st Call for Papers

[Ganesh J. Pai]

Dear System Safety List members,

Please consider submitting a research / position / tools / industrial
practice paper to the 2nd International Workshop on Assurance Cases for
Software-intensive Systems (ASSURE 2014), which will be collocated with
ISSRE 2014, in Naples, Italy.

The call for papers is included below. You can find more details on the
workshop website (http://ti.arc.nasa.gov/events/assure2014).


************************************************************
                       CALL FOR PAPERS
************************************************************
                        ASSURE 2014
     The 2nd International Workshop on Assurance Cases
              for Software-intensive Systems

                       Naples, Italy
        Collocated with ISSRE 2014 (Nov. 3 - 6, 2014)
************************************************************
            http://ti.arc.nasa.gov/events/assure2014
************************************************************

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 Interim Guidance 08-01), automotive
(ISO 26262), and healthcare (FDA Draft Guidance 510(k) for
pre-market approval of infusion pumps). As such, there is
an urgent need to develop models, techniques and tools that
target the development of assurance arguments for software.

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

(a) explore techniques for creating/assessing assurance
    cases for software-intensive systems

(b) examine the role of assurance cases in the systems and
    software engineering lifecycle

(c) identify the dimensions of effective practice in the
    development and evaluation of assurance cases

(d) investigate the relationship between software
    reliability engineering (SRE) 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

− Standards: Industry guidelines and standards are
  increasingly requiring the development of assurance
  cases, e.g., the automotive standard ISO 26262, and the
  FDA Draft Guidance 510(k) for pre-market approval of
  infusion pumps

− Dependable architectures: How do fault-tolerant
  architectures and design measures such as diversity and
  partitioning relate to assurance cases?

− Reliability analysis: What are the relationships between
  reliability analysis techniques (e.g., Fault Tree
  Analysis / Markov Modeling) and the assurance case
  paradigm?

− Tools: Using the output from software engineering tools
  (testing, formal verification, code generators) as
  evidence in assurance cases / using tools for the
  modeling, analysis and management of assurance cases

− Application of formal techniques to create and analyze
  arguments

− Exploration of relevant techniques for assurance cases
  for real-time, concurrent, and distributed systems

− Assurance issues in emerging computational paradigms,
  e.g., cloud, mobile, virtual, many-core architectures,
  and adaptive and autonomous systems

− Modeling and Metamodeling: Representation of structured
  arguments through metamodels, such as OMG’s Structured
  assurance Case Metamodel (SACM)

− Assurance of software quality attributes, e.g., safety,
  security and maintainability as well as dependability in
  general, including tradeoffs, and exploring notions of
  the quality of assurance cases themselves

− Domain-specific assurance issues, in domains such as
  aerospace, automotive, healthcare, defense and power

− Reuse and Modularization: contracts and patterns for
  improving the reuse of assurance case structures

− Connections between the Goal Structuring Notation for
  assurance cases and goal-orientation from the
  requirements engineering community

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

All papers should be submitted only in PDF.

Research papers can be up to 6 pages long including figures
and references. Tools papers can be up to 4 pages long.

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

Papers should conform to the ISSRE paper formatting
guidelines, i.e., 2 column IEEE conference paper format.

Accepted papers will be published in the ISSRE Supplemental
Workshop Proceedings, and indexed on IEEE Xplore. Authors
of the best papers may be invited to submit an extended
version for publication in a special journal issue
(tentative).

Submit your paper electronically by August 15, 2014,
through the conference website:

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

************************************************************
                       IMPORTANT DATES
************************************************************
Paper submission    : August 15, 2014
Author notification : September 5, 2014
Camera ready papers : September 15, 2014 (FIRM)
ISSRE 2014 dates    : November 3 - 6, 2014

ASSURE 2014 will be a one day workshop held on one of the
ISSRE 2014 dates. The exact date of the workshop is to be
announced. Please see the website for updates.

************************************************************
                     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
John Favaro, INTECS, Italy
Richard Hawkins, University of York, UK
Paul Jones, US Food and Drug Administration (FDA)
Tim Kelly, University of York, UK
John Knight, University of Virginia, USA
Tom Maibaum, McMaster University, Canada
Robert Martin, MITRE Corporation, USA
Roger Rivett, Jaguar Land Rover, UK
Christel Seguin, ONERA, France
Mark-Alexander Sujan, University of Warwick, UK
Kenji Taguchi, AIST, Japan
Fredrik Törner, Volvo, Sweden
Alan Wassyng, McMaster University, Canada
Sean White, Health and Social Care Information Centre, UK

************************************************************
           http://ti.arc.nasa.gov/events/assure2014/
************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20140606/f7e601c2/attachment.html>