![](/images/graphics-bg.png)
Verification of cooperative transient fault diagnosis and recovery in critical embedded systems
Joint Authors
Aliouat, Zibouda
Aliouat, Makhluf
Source
The International Arab Journal of Information Technology
Issue
Vol. 9, Issue 4 (31 Jul. 2012), pp.373-381, 9 p.
Publisher
Publication Date
2012-07-31
Country of Publication
Jordan
No. of Pages
9
Main Subjects
Information Technology and Computer Science
Topics
Abstract EN
The faults caused by ambient cosmic radiation are a growing threat to the dependability of advanced embedded computer systems.
Maintaining availability and consistency in distributed applications is one of the fundamental attribute in building complex critical systems.
To achieve this, a key factor is the ability to detect the fault and handle it by means of recovery.
Such systems can use membership protocols designed to provide this function.
The objective of membership protocol is to give all entities of every node in the cluster a consistent view of the system status, all within a pre-defined time.
This paper describes a formal analysis of an extension of the group membership algorithm implemented in the time-triggered protocol.
The proposed extension is to allow nodes reintegration after transient fault.
We provide a detailed analysis of properties of formal model of the algorithm.
The paper is intended to verify the safety and likeness properties that the protocol must satisfy.
The correctness of the protocol is verified by the PVS theorem proved.
American Psychological Association (APA)
Aliouat, Zibouda& Aliouat, Makhluf. 2012. Verification of cooperative transient fault diagnosis and recovery in critical embedded systems. The International Arab Journal of Information Technology،Vol. 9, no. 4, pp.373-381.
https://search.emarefa.net/detail/BIM-305219
Modern Language Association (MLA)
Aliouat, Zibouda& Aliouat, Makhluf. Verification of cooperative transient fault diagnosis and recovery in critical embedded systems. The International Arab Journal of Information Technology Vol. 9, no. 4 (Jul. 2012), pp.373-381.
https://search.emarefa.net/detail/BIM-305219
American Medical Association (AMA)
Aliouat, Zibouda& Aliouat, Makhluf. Verification of cooperative transient fault diagnosis and recovery in critical embedded systems. The International Arab Journal of Information Technology. 2012. Vol. 9, no. 4, pp.373-381.
https://search.emarefa.net/detail/BIM-305219
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 380-381
Record ID
BIM-305219