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].
- 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 ScholarDigital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- E. Denney, G. Pai, and I. Habli. 2015. Dynamic Safety Cases for Through-Life Safety Assurance. In ICSE'15. 587--590. Google ScholarDigital Library
- GSN Working Group Online. 2011. Goal Structuring Notation Standard, Version 1. (November 2011).Google Scholar
- M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In CAV'11. Springer, 585--591. Google ScholarDigital Library
- Object Management Group.2017. Structured Assurance Case Metamodel (SACM). (2017). http://www.omg.org/spec/SACMGoogle Scholar
- H. Psaier and S. Dustdar. 2011. A surveyon self-healing systems: approaches and systems. Computing 91, 1 (2011), 43--73. Google ScholarDigital Library
- 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 ScholarDigital Library
Index Terms
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases
Recommendations
Multiattribute Utility Theory Without Expected Utility Foundations
Methods for determining the form of utilities are needed for the implementation of utility theory in specific decisions. An important step forward was achieved when utility theorists characterized useful parametric families of utilities and simplifying ...
A Survey of Software Engineering Practice: Tools, Methods, and Results
The results of a survey of software development practice are reported and analyzed. The problems encountered in various phases of the software life cycle are measured and correlated with characteristics of the responding installations. The use and ...
Software development: what it is, what it should be, and how to get there
Developing large software systems is notoriously difficult and unpredictable. Software projects are often canceled, finish late and over budget, or yield low quality results --- setting software engineering apart from established engineering ...
Comments