期刊名称：International Journal of Advanced Computer Science and Applications(IJACSA)
印刷版ISSN：2158-107X
电子版ISSN：2156-5570
出版年度：2015
卷号：6
期号：8
DOI：10.14569/IJACSA.2015.060834
出版社：Science and Information Society (SAI)
摘要：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.
关键词：thesai; IJACSA; thesai.org; journal; IJACSA papers; Distributed Embedded Systems; Linear Temporal Logic; Self-Stabilization; Model Checking; Verification
