MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems
Abstract The architecture of distributed systems is subject to certain failures: component failure, downed connections etc. These failures come from the dynamicity and complexity of these systems. As a solution to cure this weakness, adaptation plans can be added. However, the main difficulty of sel...
Main Authors: | Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi-IET
2021-08-01
|
Series: | IET Software |
Subjects: | |
Online Access: | https://doi.org/10.1049/sfw2.12026 |
Similar Items
-
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies
by: Jianwen Sun, et al.
Published: (2018-01-01) -
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model
by: Mauricio Ayala-Rincón, et al.
Published: (2013-01-01) -
Automated technology for verification and analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings /
by: ATVA 2008 (2008 : Seoul, Korea), et al.
Published: (2008) -
Automated theorem proving : a logical basis /
by: 403272 Loveland, Donald W.
Published: (1978) -
A computational logic /
by: 403382 Boyer, Robert S., et al.
Published: (1979)