تصفح Computer Science & Engineering حسب المؤلف "Ibrahim, S. K."
-
Fault tolerant approach for verified software: Case of natural gas purification simulator
Ibrahim, S. K.; Boulifa, B.; Jaoua, A.; Elloumi, S.; Saleh, M.; Van Den Broeke, L. J.P.; Abu-Reesh, I. M.... more authors ... less authors (2013 , Conference Paper)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 ... -
Natural fault tolerance in the context of a goal oriented software design
Ibrahim, S. K.; Boulifa, B.; Elloumi, S.; Jaoua, A.; Saleh, M. S.; Van Den Broeke, L. J.P.; Abu-Reesh, I. M.... more authors ... less authors (2013 , Conference Paper)A particular goal oriented software design is proposed in this paper: by checking the preservation of critical information, an original proposed program structure has the important property to naturally recover transient ...