Search: onr:"swepub:oai:DiVA.org:mdh-47556" >
Guiding assurance o...
Guiding assurance of architectural design patterns for critical applications
-
- Sljivo, Irfan (author)
- Mälardalens högskola,Inbyggda system
-
- Uriagereka, G.J. (author)
- TRUSTECH, TECNALIA Research and Innovation, Derio, Spain
-
- Puri, S. (author)
- Intecs, SpA, Pisa, Italy
-
show more...
-
- Gallina, Barbara (author)
- Mälardalens högskola,Inbyggda system
-
show less...
-
(creator_code:org_t)
- Elsevier B.V. 2020
- 2020
- English.
-
In: Journal of systems architecture. - : Elsevier B.V.. - 1383-7621 .- 1873-6165. ; 110
- Related links:
-
https://doi.org/10.1...
-
show more...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Assurance cases
- Critical Applications
- Design patterns
- Safety assurance
- Security assurance
- Tool-support
- Software engineering
- Critical domain
- Critical systems
- Design problems
- Tool support
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database