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 条
  • [31] Model-based Simulation at Runtime for Self-adaptive Systems
    Weyns, Danny
    Iftikhar, M. Usman
    2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING (ICAC), 2016, : 364 - 373
  • [32] Requirements planning with event calculus for runtime self-adaptive system
    Liu, Wei
    Li, Ming
    39TH ANNUAL IEEE COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2015), VOL 2, 2015, : 77 - 82
  • [33] Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!
    dos Santos, Edilton Lima
    Schobbens, Pierre-Yves
    Machado, Ivan
    Perrouin, Gilles
    17TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2023, 2023, : 85 - 87
  • [34] Self-Adaptive System Verification based on SysML
    Lee, Seung-Min
    Park, Soojin
    Park, Young B.
    2019 INTERNATIONAL CONFERENCE ON ELECTRONICS, INFORMATION, AND COMMUNICATION (ICEIC), 2019, : 306 - 308
  • [35] Design and Timed Verification of Self-adaptive Systems
    Hachicha, Marwa
    Ben Halima, Riadh
    Kacem, Ahmed Hadj
    2017 16TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS 2017), 2017, : 227 - 232
  • [36] An Optimized Component Selection Algorithm for Self-Adaptive Software Architecture Using the Component Repository: Self-Adaptive Software Architecture
    MohanRoopa, Y.
    Reddy, Ramamohan A.
    INTERNATIONAL JOURNAL OF SOFTWARE SCIENCE AND COMPUTATIONAL INTELLIGENCE-IJSSCI, 2019, 11 (02): : 51 - 61
  • [37] Runtime monitoring & software verification
    Time Rover
    1600, 68-72 (August 2004):
  • [38] Runtime monitoring & software verification
    Drusinsky, D
    DR DOBBS JOURNAL, 2004, 29 (08): : 68 - 72
  • [39] An Integrated Approach to Developing Self-Adaptive Software
    Mao, Xinjun
    Dong, Menggao
    Liu, Lu
    Wang, Huaiming
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2014, 30 (04) : 1071 - 1085
  • [40] A Domain Model for Self-Adaptive Software Systems
    Moghaddam, Fahimeh Alizadeh
    Deckers, Robert
    Procaccianti, Giuseppe
    Grosso, Paola
    Lago, Patricia
    11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME, 2017, : 23 - 29
12345