ASSURE 2017 - The 5th International Workshop on Assurance Cases for Software-intensive Systems
The 5th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2017) is being collocated this year with SAFECOMP 2017, and aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to provide assurance that the dependability properties of critical, software-intensive systems have been met.
The goals of the 2017 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2017) are to:
- explore techniques for creating/assessing assurance cases for software-intensive systems;
- examine the role of assurance cases in the engineering lifecycle of critical systems;
- identify the dimensions of effective practice in the development and evaluation of assurance cases;
- investigate the relationship between dependability techniques and assurance cases; and,
- 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.
Submission Guidelines
- All papers must be original work not published, or in submission, elsewhere.
- All papers should be submitted only in PDF. Please verify that papers can be reliably printed and viewed on screen before submitting.
- Papers should conform to the LNCS paper formatting guidelines. LNCS paper formatting guidelines
- Regular (research or practice) papers can be up to 12 pages long including figures, references, and any appendices.
- 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.
- Position papers can be between 4 and 6 pages long, including figures, references, and any appendices.
Submit your paper electronically via EasyChair by 24 May 2017.
Topics
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.