Self-Adaptive Software Needs Quantitative Verification at Runtime

被引：157
|
作者：
Calinescu, Radu [1 ]
Ghezzi, Carlo [2 ]
Kwiatkowska, Marta [3 ]
Mirandola, Raffaela [2 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
[2] Politecn Milan, Dipartimento Elettron & Informaz, Milan, Italy
[3] Univ Oxford, Trinity Coll, Oxford OX1 2JD, England
来源：
COMMUNICATIONS OF THE ACM | 2012年 / 55卷 / 09期
基金：
英国工程与自然科学研究理事会;
关键词：
MODEL CHECKING; SYSTEMS;
D O I：
10.1145/2330667.2330686
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：69 / 77
页数：9
相关论文
共 50 条
  • [1] Probabilistic approximation of runtime quantitative verification in self-adaptive systems
    Nia, Mehran Alidoost
    Kargahi, Mehdi
    Faghih, Fathiyeh
    MICROPROCESSORS AND MICROSYSTEMS, 2020, 72
  • [2] RINGA: Design and verification of finite state machine for self-adaptive software at runtime
    Lee, Euijong
    Kim, Young-Gab
    Seo, Young-Duk
    Seol, Kwangsoo
    Baik, Doo-Kwon
    INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 93 : 200 - 222
  • [3] Runtime Verification of Self-Adaptive Systems with Changing Requirements
    Carwehl, Marc
    Vogel, Thomas
    Rodrigues, Gena Nunes
    Grunske, Lars
    2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2023, : 104 - 114
  • [4] Runtime Verification of Multi-Agent Self-Adaptive System
    Ye, Xingyu
    Liu, Wei
    Wang, Ning
    PROCEEDINGS OF THE 2021 IEEE 24TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2021, : 12 - 17
  • [5] Analysing and modelling runtime architectural stability for self-adaptive software
    Salama, Maria
    Bahsoon, Rami
    JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 133 : 95 - 112
  • [6] Proteus: Language and Runtime Support for Self-Adaptive Software Development
    Barati, Saeid
    Bartha, Ferenc A.
    Biswas, Swarnendu
    Cartwright, Robert
    Duracz, Adam
    Fussell, Donald S.
    Hoffmann, Henry
    Imes, Connor
    Miller, Jason E.
    Mishra, Nikita
    Arvind
    Dung Nguyen
    Palem, Krishna, V
    Pei, Yan
    Pingali, Keshav
    Sai, Ryuichi
    Wright, Andrew
    Yang, Yao-Hsiang
    Zhang, Sizhuo
    IEEE SOFTWARE, 2019, 36 (02) : 73 - 82
  • [7] A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models
    Haensel, Joachim
    Vogel, Thomas
    Giese, Holger
    2015 IEEE NINTH INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS (SASOW), 2015, : 134 - 139
  • [8] Using Reinforcement Learning to Handle the Runtime Uncertainties in Self-adaptive Software
    Wu, Tong
    Li, Qingshan
    Wang, Lu
    He, Liu
    Li, Yujie
    SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, 2018, 11176 : 387 - 393
  • [9] Self-adaptive Software: Development Approach and Automatic Process for Adaptation at Runtime
    Affonso, Frank Jose
    Nakagawa, Elisa Yumi
    REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2015, 7 (01): : 68 - 84
  • [10] Avionics Self-adaptive Software: Towards Formal Verification and Validation
    D'Souza, Meenakshi
    Kashi, Rajanikanth N.
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, ICDCIT 2019, 2019, 11319 : 3 - 23
12345