[SystemSafety] ASSURE 2018 - Deadline Extension and Second Call for Papers

[Ganesh J. Pai]

Dear System Safety List Members,

Please consider submitting a research / position / tools / industrial
practice paper to the 6th International Workshop on Assurance Cases for
Software-intensive Systems (ASSURE 2018), which will be collocated this
year with SAFECOMP 2018, in Västerås, Sweden.

The Call for Papers is included below. More details on the workshop are
available on the ASSURE 2018 Website:
https://ti.arc.nasa.gov/event/assure2018/

*Please note that the deadline for submitting papers has been extended to
May 29, 2018.*

=================================================================
CALL FOR PAPERS
=================================================================
ASSURE 2018
The 6th International Workshop on Assurance Cases for Software-intensive
Systems
September 18, 2018
Västerås, Sweden.
Collocated with SAFECOMP 2018
=================================================================
http://ti.arc.nasa.gov/event/assure2018
=================================================================

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
670 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 2018 Workshop on Assurance Cases for Software-intensive
Systems (ASSURE 2018) 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 directions, define a roadmap for future
development, and formulate challenge problems.

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:

- Assurance issues in emerging paradigms, e.g., adaptive and autonomous
systems, including self-driving cars, unmanned aircraft systems, complex
health care and decision making systems, etc.

- Standards: Industry guidelines and standards are increasingly requiring
the development of assurance cases, e.g., the automotive standard ISO
26262, and the FDA guidance on the total product lifecycle for infusion
pumps.

- Certification and regulations: The role and usage of assurance cases in
the certification of critical systems, as well as to show compliance to
regulations.

- Empiricism: Empirical assessment of the applicability of assurance cases
in different domains and certification regimes

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

- Dependability analysis: What are the relationships between dependability
analysis techniques and the assurance case paradigm?

- Safety and security co-engineering: What are the impacts of security on
safety, particularly safety cases, and how can safety and security cases
(e.g., as proposed in ISO 26262 and SAE J 3061 respectively) be reconciled?

- 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 for the creation, analysis, reuse, and
modularization of arguments.

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

- 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.

- Relations between different formalisms and paradigms of assurance and
argumentation, such as Goal Structuring Notation, STAMP, IBIS, and
goal-oriented formalisms such as KAOS.

=================================================================
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 2018 website for details.

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

5. Tools papers can be up to 8 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  (relating to ongoing work or proposed aspects of
challenge problems) can be between 4 and 6 pages long, including figures,
references, and any appendices.

7. Submit your paper electronically by May 22, 2018 through the workshop
website: http://ti.arc.nasa.gov/event/assure2018/

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

=================================================================
IMPORTANT DATES
=================================================================
Workshop papers due: *May 29, 2018*
Author notification: *June 11, 2018*
Camera ready papers: *June 21, 2018*
ASSURE 2018 Workshop: September 18, 2018
SAFECOMP 2018: September 19 - 21, 2018

=================================================================
WORKSHOP ORGANIZERS
=================================================================
Ewen Denney, SGT / NASA Ames Research Center, USA
Ibrahim Habli, University of York, UK
Richard Hawkins, University of York, UK
Ganesh Pai, SGT / NASA Ames Research Center, USA

=================================================================
PROGRAM COMMITTEE
=================================================================
Robin Bloomfield, City University, and Adelard, UK
Simon Burton, Bosch Research, Germany
Isabelle Conway, ESA/ESTEC, Netherlands
Martin Feather, NASA Jet Propulsion Laboratory, USA
Alwyn Goodloe, NASA Langley Research Center, USA
Jérémie Guiochet, LAAS-CNRS, France
Joshua Kaizer, Nuclear Regulatory Commission, USA
Tim Kelly, University of York, UK
Yoshiki Kinoshita, Kanagawa University, Japan
Andrew Rae, Griffith University, Australia
Philippa Ryan, Adelard, UK
Mark-Alexander Sujan, University of Warwick, UK
Kenji Taguchi, CAV Technologies Co. Ltd., Japan
Sean White, NHS Digital, UK
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20180519/da05c1d0/attachment.html>