NASA Logo, National Aeronautics and Space Administration

ASSURE 2015 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 operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA infusion pumps total product lifecycle guidance). As such, there is a need to develop models, techniques and tools that target the development of assurance arguments for software.

The goals of the 2015 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015) 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.

Papers should attempt to address the workshop goals in general.

Topics

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

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

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

First Gov logo
NASA Logo - nasa.gov