A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery

被引:4
|
作者
Ben Hafaiedh, Imene [1 ]
Ben Slimane, Maroua [2 ]
机构
[1] Univ Tunis El Manar UTM, Higher Inst Comp Sci ISI, LIPSIC Lab, Tunis, Tunisia
[2] Univ Tunis El Manar UTM, LIPSIC Lab, Tunis, Tunisia
来源
JOURNAL OF SUPERCOMPUTING | 2022年 / 78卷 / 17期
关键词
Autonomous systems; Formal models; Formal verification; Distributed systems; Failure-detection; Self-recovery; ARCHITECTURE; VERIFICATION;
D O I
10.1007/s11227-022-04614-0
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The challenges of current software-intensive systems, large-scale information and computing systems environments, which are highly dynamic, heterogeneous, and unpredictable, have motivated the development of techniques that enhance these systems with autonomous behaviors. Even though different concerns about these systems have been deeply studied, their design is still considerably more challenging than traditional ones. Self-healing is one of the main features that characterize autonomic computing systems. Failure detection, recovery strategies, and reliability are of paramount importance to ensure continuous operation and correct functioning even in the presence of a given maximum amount of faulty components. Most existing research and implementations focus on architecture-specific solutions to introduce self-healing behaviors. This implies that users must tailor their software by taking into account architecture-specific fault tolerance features, which requires too much effort from developers and users. This paper proposes a distributed formal model for the specification, verification, and analysis of self-healing behaviors in autonomous systems, from failure-detection to self-recovery. Such a high-level model allows users to specify and apply the desired type of failure detection and recovery without requiring any knowledge about its implementation. Our model allows not only formal verification of different properties but also performance evaluation. We provide the verification of qualitative properties using state-space exploration tools, and quantitative properties are also validated through statistical model-checking. All these properties are preserved in actual implementation by ensuring that the deployed code is consistent with the validated model.
引用
收藏
页码:18725 / 18753
页数:29
相关论文
共 50 条
  • [41] A Model-based Approach for Self-healing IoT Systems Position Paper
    Kuhn, Franziska
    Hellbruck, Horst
    Fischer, Stefan
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON SENSOR NETWORKS (SENSORNETS), 2018, : 135 - 140
  • [42] An Autonomous Agent-based Framework for Self-Healing Power Grid
    Noorian, Zeinab
    Hosseini, Hadi
    Ulieru, Mihaela
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 1983 - +
  • [43] An autonomous self-healing system based on ROMP of norbornene dicarboximide monomers
    Majchrzak, Mariusz
    Hine, Peter J.
    Khosravi, Ezat
    POLYMER, 2012, 53 (23) : 5251 - 5257
  • [44] Multi-agent architecture for fault recovery in self-healing systems
    Pushpendra Kumar Rajput
    Geeta Sikka
    Journal of Ambient Intelligence and Humanized Computing, 2021, 12 : 2849 - 2866
  • [45] Multi-agent architecture for fault recovery in self-healing systems
    Rajput, Pushpendra Kumar
    Sikka, Geeta
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2021, 12 (02) : 2849 - 2866
  • [46] Corrosion control by autonomous self-healing epoxy coatings based on superabsorbent healing agents
    Penas-Caballero, Monica
    Martin-Cordon, Jesus
    Barranco, Violeta
    Galvan, Juan Carlos
    Santana, Marianella Hernandez
    Lopez-Manchado, Miguel A.
    Verdejo, Raquel
    PROGRESS IN ORGANIC COATINGS, 2023, 182
  • [47] Q-Learning Based Failure Detection and Self-Recovery Algorithm for Multi-Robot Domains
    Kayir, Hatice Hilal Ezercan
    ELEKTRONIKA IR ELEKTROTECHNIKA, 2019, 25 (02) : 9 - 13
  • [48] Self-healing Model for SIP-Based Services
    Rusinovic, Z.
    Bogunovic, N.
    CONTEL 2009: PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, 2009, : 375 - +
  • [49] Self-healing Assurance Based on Bounded Model Checking
    Hruba, Vendula
    Krena, Bohuslav
    Vojnar, Tomas
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 295 - 303
  • [50] Consequence Oriented Self-Healing and Autonomous Diagnosis for Highly Reliable Systems and Software
    Dai, Yuanshun
    Xiang, Yanping
    Li, Yanfu
    Xing, Liudong
    Zhang, Gewei
    IEEE TRANSACTIONS ON RELIABILITY, 2011, 60 (02) : 369 - 380