You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Guiding assurance of architectural design patterns for critical applications

Fulltext:


Authors:

Irfan Sljivo, Garazi Juez Uriagereka , Stefano Puri , Barbara Gallina

Research group:

Certifiable Evidences & Justification Engineering

Publication Type:

Journal article

Venue:

Journal of Systems Architecture, 2021

DOI:

10.1016/j.sysarc.2020.101765

Abstract

Development of critical systems nowadays is hardly achievable without reuse of previous knowledge. Design patterns have an important role in the design of such systems as they define and document common solutions to recurring design problems. However, critical systems such as those that are safety or security related, often require specific assurances that the system is adequate to operate in a given environment. Just as with any other reused knowledge in such systems, the reuse via application of design patterns needs to be assured every time. In this paper, we present a methodology for assuring the application of design patterns in critical domains. In particular, we enrich the design patterns template to support their further assurance. We define the aspects that should be tackled during the assurance of a design pattern application. We use the information specified in the design pattern template to guide the automated instantiation of the argumentation for each design pattern application in the system. We provide tool-support for our methodology in the context of the AMASS tool-platform and evaluate it in an automotive case study.

Bibtex

@article{Sljivo5795,
author = {Irfan Sljivo and Garazi Juez Uriagereka and Stefano Puri and Barbara Gallina},
title = {Guiding assurance of architectural design patterns for critical applications},
volume = {121},
pages = {1--23},
month = {March},
year = {2020},
journal = {Journal of Systems Architecture, 2021},
url = {http://www.es.mdu.se/publications/5795-}
}