posted by user: ihabli || 6259 views || tracked by 11 users: [display]

ASSURE 2013 : 1st International Workshop on Assurance Cases for Software-intensive Systems


When May 19, 2013 - May 19, 2013
Where San Francisco, California
Submission Deadline Feb 14, 2013
Notification Due Feb 28, 2013
Final Version Due Mar 7, 2013
Categories    software engineering   safety   security   CERTIFICATION

Call For Papers

The 1st International Workshop on
Assurance Cases for Software-intensive Systems

San Francisco, California, May 19, 2013
in conjunction with ICSE 2013



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 DS0056), aviation (CAP 670, FAA Interim Guidance 08-01),
automotive (ISO 26262), and healthcare (FDA Guidance on Infusion
Pumps 510(k)). As such, there is a need to understand and evaluate
(a) the application of assurance cases to software, and
(b) the relationship between assurance case development and
assessment, and software engineering concepts, processes and

The goals of the ASSURE 2013 workshop are to explore techniques
for the creation and assessment of assurance cases for software-
intensive systems; leverage, adapt and apply techniques, concepts,
and tools from software engineering in the assurance case
lifecycle; identify the dimensions of effective practice in the
development and evaluation of assurance cases, and identify
critical challenges and define a roadmap for future developments.

We solicit high-quality research contributions and position papers
on the application of assurance case principles and techniques for
software assurance, and on the treatment of assurance cases as
artifacts to which the full range of software engineering
techniques can be applied. Papers should attempt to address the
workshop goals in general.

Topics of interest include, but are not limited to

- Standards How can assurance cases be used to show compliance
to standards that recommend/mandate their use?

- Methodologies How do development and verification methodologies
(including configuration management) transfer to an assurance
case paradigm?

- Use of output from software engineering tools (testing, formal
verification, code generators) as evidence in assurance cases
and use of software engineering tools for the modeling, analysis
and management of assurance cases.

- Application of formal techniques to the creation and analysis of

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

- Representation of structured arguments through meta-models.

- Assurance of software quality attributes, e.g., safety,
security and maintainability as well as dependability in
general; exploring notions of quality of assurance cases.

- 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

Papers should conform to the formatting guidelines
and be no more than 6 pages long.

Instructions for submission are available on ASSURE 2013 website

Accepted papers will be published in the ICSE 2013 electronic
proceedings. Authors of best papers will be invited to submit
extended versions for publication in an edited book.


Paper submission : February 14, 2013
Author notification : February 28, 2013
Camera ready copy due : March 7, 2013.
Workshop : May 19, 2013.

Ewen Denney SGT / NASA Ames Research Center, USA
Ibrahim Habli University of York, UK
Tim Kelly University of York, UK
John Knight University of Virginia, USA
Ganesh Pai SGT / NASA Ames Research Center, USA

Visit us on the Web at

Related Resources

JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
ITE 2021   2nd International Conference on Integrating Technology in Education
ISSTA 2021   International Symposium on Software Testing and Analysis
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
IROS 2021   International Conference on Intelligent Robots and Systems
IJASSN 2020   International Journal of Advanced Smart Sensor Network Systems
CSIA 2020   11th International Conference on Communications Security & Information Assurance (CSIA 2020)
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE