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...
Saved in:
Main Authors: | Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2021-08-01
|
Series: | IET Software |
Subjects: | |
Online Access: | https://doi.org/10.1049/sfw2.12026 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
by: Wenjie Zhong, et al.
Published: (2023-02-01) -
Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams
by: Tomas Ausberger, et al.
Published: (2025-01-01) -
An optimisation for a two‐round good‐case latency protocol
by: Kexin Hu, et al.
Published: (2023-07-01) -
Automated class diagram elicitation using intermediate use case template
by: Shweta, et al.
Published: (2021-02-01) -
Analyzing the components and applications of wireless sensor network: a concise study
by: Lu Fan
Published: (2022-06-01)