NASA Logo, National Aeronautics and Space Administration

ASSURE 2014 Call for Papers (PDF)

Software plays a key role in high-risk systems, e.g., safety-, 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:

  • Explore techniques for creating/assessing assurance cases for software-intensive systems
  • Examine the role of assurance cases in the systems and software engineering lifecycle
  • Identify the dimensions of effective practice in the development and evaluation of assurance cases
  • Investigate the relationship between software reliability engineering (SRE) 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.

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
View submission guidelines, and deadlines.
Download the ASSURE 2014 Call for Papers in PDF.

First Gov logo
NASA Logo -