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
A survey of formal methods in self-adaptive systems
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics.ORCID iD: 0000-0002-1162-0817
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics.ORCID iD: 0000-0002-1343-5834
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (CeLeKT)
2012 (English)In: ACM International Conference Proceeding Series, ACM Press, 2012, 67-79 p.Conference paper, Published paper (Refereed)
Abstract [en]

One major challenge in self-adaptive systems is to assure the required quality properties. Formal methods provide the means torigorously specify and reason about the behaviors of self-adaptivesystems, both at design time and runtime. To the best of our knowledge, no systematic study has been performed on the use of formalmethods in self-adaptive systems. As a result, there is no clearview on what methods have been used to verify self-adaptive systems, and what support these methods offer to software developers. As such insight is important for researchers and engineers,we performed a systematic literature review covering 12 main software engineering venues and 4 journals, resulting in 75 papers usedfor data collection. The study shows that the attention for selfadaptive software systems is gradually increasing, but the numberof studies that employ formal methods remains low. The main focus of formalization is on modeling and reasoning. Model checking and theorem proving have gained limited attention. The mainconcerns of interest in formalization of self-adaptation are effi-ciency/performance and reliability. Important adaptation concerns,such as security and scalability, are hardly considered. To verify theconcerns of interest, a set of new properties are defined, such as interference freedom, responsiveness, mismatch, and loss-tolerance.A relevant part of the studies use formal methods at runtime, butthe use is limited to modeling and analysis. Formal methods can beapplied to other runtime activities of self-adaptation, and the

Place, publisher, year, edition, pages
ACM Press, 2012. 67-79 p.
Keyword [en]
Self-adaptive systems, systematic literature review
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:lnu:diva-21550DOI: 10.1145/2347583.2347592Scopus ID: 2-s2.0-84866043696ISBN: 978-1-4503-1084-0 (print)OAI: oai:DiVA.org:lnu-21550DiVA: diva2:550079
Conference
First International Workshop on Formal Methods for Self-Adaptive Systems, FMSAS, Montreal, 27-28 June, 2012 in conjuction with C3S2E'12
Available from: 2012-09-06 Created: 2012-09-06 Last updated: 2017-04-25Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Weyns, DannyIftikhar, Muhammad UsmanGil de la Iglesia, Didac

Search in DiVA

By author/editor
Weyns, DannyIftikhar, Muhammad UsmanGil de la Iglesia, Didac
By organisation
School of Computer Science, Physics and Mathematics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 172 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