Show simple item record

AuthorIbrahim, S. K.
AuthorBoulifa, B.
AuthorJaoua, A.
AuthorElloumi, S.
AuthorSaleh, M.
AuthorVan Den Broeke, L. J.P.
AuthorAbu-Reesh, I. M.
Available date2022-12-29T11:50:36Z
Publication Date2013-12-01
Publication NameConference on Control and Fault-Tolerant Systems, SysTol
Identifierhttp://dx.doi.org/10.1109/SysTol.2013.6693902
CitationIbrahim, S. K., Boulifa, B., Jaoua, A., Elloumi, S., Saleh, M., Van Den Broeke, L. J. P., & Abu-Reesh, I. M. (2013, October). Fault tolerant approach for verified software: Case of natural gas purification simulator. In 2013 Conference on Control and Fault-Tolerant Systems (SysTol) (pp. 222-227). IEEE.‏
ISBN9781479928552
ISSN21621195
URIhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84897679114&origin=inward
URIhttp://hdl.handle.net/10576/37877
AbstractWell logically verified and tested software may fail because of undesired physical phenomena provoking transient faults during its execution. While being the most frequent kind of faults, transient faults are difficult to localize because they have a very short life, but they may cause the failure of software. A fault tolerant method against transient faults under the hypothesis of statically verified software is presented. In order to ensure the right experimental environment, first the specification of the application is validated by Alloy analyzer, second a JML annotated Java code is statically verified. The proposed approach is based on some rules transforming basic Java statements like assignments, conditional and iterative statements into equivalent fault tolerant ones. The current research has exhibited some natural redundancy in any code, and the corrective power of repetitive statements. It also proved that the proposed method makes more efficient fault tolerant versions compared with natural error recovery, i.e. without inserting any additional code for detecting or repairing the damaged state. Illustrated by Gas purification simulator, one can see the natural error recovery in case of fault injection in the code, and how fault tolerant rules recover more errors in less time compared to the natural recovery. The proposed approach is preventive because it avoids the propagation of errors at early stages by repeating low level statements until some "stability" of their behavior. © 2013 IEEE.
Languageen
Subjectsoftware
TitleFault tolerant approach for verified software: Case of natural gas purification simulator
TypeConference Paper
Pagination222-227
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record