Future of Information and Communication Conference (FICC) 2021
29-30 April 2021
Publication Links
IJACSA
Special Issues
Computing Conference 2021
Intelligent Systems Conference (IntelliSys) 2021
Future Technologies Conference (FTC) 2021
Future of Information and Communication Conference (FICC) 2021
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Digital Object Identifier (DOI) : 10.14569/IJACSA.2015.060834
Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 6 Issue 8, 2015.
Abstract: Over the past two decades, the use of distributed embedded systems is wide in many applications. One way to guarantee that these systems tolerate transient faults is done by making them self-stabilizing systems, which automatically recover from any transient fault. In this paper we present a formalism of self-stabilization concept based on Linear Temporal Logic (LTL), and model checked the self-stabilization in embedded systems. Using a case study inspired by industrial practice, we present in detail a model checking to verify the self stabilization property of our embedded system.
Rim Marah and Abdelaaziz EL Hibaoui, “Model Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic” International Journal of Advanced Computer Science and Applications(IJACSA), 6(8), 2015. http://dx.doi.org/10.14569/IJACSA.2015.060834
@article{Marah2015,
title = {Model Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2015.060834},
url = {http://dx.doi.org/10.14569/IJACSA.2015.060834},
year = {2015},
publisher = {The Science and Information Organization},
volume = {6},
number = {8},
author = {Rim Marah and Abdelaaziz EL Hibaoui}
}