posted by user: ihabli || 4866 views || tracked by 4 users: [display]

ASSURE 2017 : The 5th International Workshop on Assurance Cases for Software-intensive Systems


When Sep 12, 2017 - Sep 12, 2017
Where Trento, Italy
Submission Deadline May 17, 2017
Categories    safety   security   assurance cases   safety cases

Call For Papers

The 5th International Workshop on Assurance Cases
for Software-intensive Systems

September 12, 2017
Trento, Italy.
Collocated with SAFECOMP 2017

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

- 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

- 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

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

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

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

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

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

7. Submit your paper electronically by May 17, 2017 through
the workshop website:

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)

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

- 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

See the ASSURE 2017 Website.

Related Resources

ISAI 2023   2023 the 3rd International Symposium on AI (ISAI 2023)
IJPLA 2022   International Journal of Programming Languages and Applications
ICSSE--Ei 2023   2023 6th International Conference on Software and Services Engineering (ICSSE 2023)
BIOS 2022   8th International Conference on Bioinformatics & Biosciences
IEEE ICCAE 2023   IEEE--2023 the 15th International Conference on Computer and Automation Engineering (ICCAE 2023)
CEVVE 2022   2022 International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2022)
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
NordSec 2022   The 27th Nordic Conference on Secure IT Systems
ICSE 2023   45th International Conference on Software Engineering
TrustCom 2022   The 21st IEEE International Conference on Trust, Security and Privacy in Computing and Communications