skip to main content
10.1145/3180155.3182540acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
abstract

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases

Published:27 May 2018Publication History

ABSTRACT

Software systems are increasingly expected to cope with variable workloads, component failures and other uncertainties through self-adaptation. As such, self-adaptive software has been the subject of intense research over the past decade [3, 4, 9, 10].

References

  1. G. Behrmann, A. David, K.G. Larsen, J. Hakansson, P. Petterson, W. Yi, and M. Hendriks. 2006. UPPAAL 4.0. In QEST'06. 125--126. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. R. Calinescu, D. Weyns, S. Gerasimou, M. U. Iftikhar, I. Habli, and T. Kelly. 2017. Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering PP, 99 (2017), 1--1.Google ScholarGoogle Scholar
  3. R. de Lemos et al. 2013. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. In Software Engineering for Self-Adaptive Systems II. Springer, 1--32.Google ScholarGoogle Scholar
  4. R. de Lemosetal. 2017. SoftwareEngineeringforSelf-adaptiveSystems:Research Challenges in the Provision of Assurances. In Software Engineering for Self-Adaptive Systems III (LNCS), Vol. 9640. Springer, 3--30.Google ScholarGoogle Scholar
  5. E. Denney, G. Pai, and I. Habli. 2015. Dynamic Safety Cases for Through-Life Safety Assurance. In ICSE'15. 587--590. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. GSN Working Group Online. 2011. Goal Structuring Notation Standard, Version 1. (November 2011).Google ScholarGoogle Scholar
  7. M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In CAV'11. Springer, 585--591. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Object Management Group.2017. Structured Assurance Case Metamodel (SACM). (2017). http://www.omg.org/spec/SACMGoogle ScholarGoogle Scholar
  9. H. Psaier and S. Dustdar. 2011. A surveyon self-healing systems: approaches and systems. Computing 91, 1 (2011), 43--73. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. M. Salehie and L. Tahvildari. 2009. Self-adaptive Software: Landscape and Research Challenges. ACM Trans. Auton. Adapt. Syst. 4, 2 (2009), 14:1--14:42. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases
        Index terms have been assigned to the content through auto-classification.

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          ICSE '18: Proceedings of the 40th International Conference on Software Engineering
          May 2018
          1307 pages
          ISBN:9781450356381
          DOI:10.1145/3180155
          • Conference Chair:
          • Michel Chaudron,
          • General Chair:
          • Ivica Crnkovic,
          • Program Chairs:
          • Marsha Chechik,
          • Mark Harman

          Copyright © 2018 Owner/Author

          Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 27 May 2018

          Check for updates

          Qualifiers

          • abstract

          Acceptance Rates

          Overall Acceptance Rate276of1,856submissions,15%

          Upcoming Conference

          ICSE 2024

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader