[SystemSafety] ASSURE 2017 - Second Call for Papers

Mon May 15 11:16:09 CEST 2017

Dear System Safety List Members,

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

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

________________________________

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

                     September 12, 2017
                        Trento, Italy.
                Collocated with SAFECOMP 2017
************************************************************
            http://ti.arc.nasa.gov/events/assure2017
************************************************************

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 2017 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 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 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 (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 17, 2017 through the workshop website:

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

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

________________________________

                       IMPORTANT DATES
************************************************************
       Workshop papers due  : May 17, 2017
       Author notification  : May 31, 2017
       Camera ready papers  : June 12, 2017
       ASSURE 2016 Workshop : September 12, 2017
       SAFECOMP 2017        : September 12 - 15, 2017

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

  *   Ewen Denney, SGT / NASA Ames Research Center, USA
  *   Ibrahim Habli, University of York, UK
  *   Ganesh Pai, SGT / NASA Ames Research Center, USA
  *   Kenji Taguchi, AIST, Japan

                      PROGRAM COMMITTEE
************************************************************
                 See the ASSURE 2017 Website.

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

------------------------------------
Kenji Taguchi Ph.D (Computer Science)

Invited Senior Researcher

Co-chair of OMG SysA PTF

Software Analytics Research Group
Research Institute for Information Technology
National Institute of Advanced Industrial Science and Technology (AIST)

Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
Tel: +81-6-6494-8051 Fax: +81-6-6494-8073
URL: http://staff.aist.go.jp/kenji.taguchi/index.html

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170515/858f02f0/attachment-0001.html>