lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
University of York, UK.ORCID iD: 0000-0002-2678-9260
Linnaeus University, Faculty of Technology, Department of Computer Science. Katholieke Universiteit Leuven. (AdaptWise)ORCID iD: 0000-0002-1162-0817
University of York.ORCID iD: 0000-0002-2706-5272
Linnaeus University, Faculty of Technology, Department of Computer Science. (AdaptWise)ORCID iD: 0000-0002-1343-5834
Show others and affiliations
2017 (English)In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. PP, no 99Article in journal (Refereed) Epub ahead of print
Abstract [en]

Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems.

Place, publisher, year, edition, pages
IEEE, 2017. Vol. PP, no 99
Keyword [en]
Self-adaptive software systems, software engineering methodology, assurance evidence, assurance cases
National Category
Software Engineering
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-67353DOI: 10.1109/TSE.2017.2738640OAI: oai:DiVA.org:lnu-67353DiVA: diva2:1135272
Available from: 2017-08-22 Created: 2017-08-22 Last updated: 2017-10-19

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Calinescu, RaduWeyns, DannyGerasimou, SimosIftikhar, Muhammad Usman
By organisation
Department of Computer Science
In the same journal
IEEE Transactions on Software Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 77 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf