Facebook pixel tracking

The Science and Information (SAI) Organization publishes open-access peer-reviewed journals in computer science and artificial intelligence.

Contact Info
Email info@thesai.org
Website thesai.org
Follow Us
Contact Info
Email info@thesai.org
Follow Us
Research Article | Open Access |

Model Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic

Author 1: Rim Marah Author 2: Abdelaaziz EL Hibaoui
International Journal of Advanced Computer Science and Applications (IJACSA) · Vol. 6, No. 8 · Published 2015

DOI: https://doi.org/10.14569/IJACSA.2015.060834

Download PDF Cite Call for Papers

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.

Keywords

Distributed Embedded Systems Linear Temporal Logic Self-Stabilization Model Checking Verification

How to Cite this Article

Marah, R., & Hibaoui, A. E. (2015). Model Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic. International Journal of Advanced Computer Science and Applications, 6(8). https://doi.org/10.14569/IJACSA.2015.060834

Marah, Rim, and Abdelaaziz EL Hibaoui. "Model Checking Self-Stabilising in Embedded Systems with Linear Temporal Logic." International Journal of Advanced Computer Science and Applications, vol. 6, no. 8, 2015, https://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},
  volume    = {6},
  number    = {8},
  year      = {2015},
  publisher = {The Science and Information Organization},
  author    = {Rim Marah and Abdelaaziz EL Hibaoui},
  doi       = {10.14569/IJACSA.2015.060834},
  url       = {https://doi.org/10.14569/IJACSA.2015.060834}
}

Open Access — licensed under a Creative Commons Attribution 4.0 International License. Unrestricted use, distribution, and reproduction in any medium, even commercially, as long as the original work is properly cited.

Back to Issue
IJACSA Journal Cover

IJACSA