عرض بسيط للتسجيلة

المؤلفIbrahim, S. K.
المؤلفBoulifa, B.
المؤلفJaoua, A.
المؤلفElloumi, S.
المؤلفSaleh, M.
المؤلفVan Den Broeke, L. J.P.
المؤلفAbu-Reesh, I. M.
تاريخ الإتاحة2022-12-29T11:50:36Z
تاريخ النشر2013-12-01
اسم المنشورConference on Control and Fault-Tolerant Systems, SysTol
المعرّفhttp://dx.doi.org/10.1109/SysTol.2013.6693902
الاقتباسIbrahim, 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.‏
الترقيم الدولي الموحد للكتاب 9781479928552
الرقم المعياري الدولي للكتاب21621195
معرّف المصادر الموحدhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84897679114&origin=inward
معرّف المصادر الموحدhttp://hdl.handle.net/10576/37877
الملخصWell 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.
اللغةen
الموضوعsoftware
العنوانFault tolerant approach for verified software: Case of natural gas purification simulator
النوعConference Paper
الصفحات222-227
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة