Search
Now showing items 1-2 of 2
Fault tolerant approach for verified software: Case of natural gas purification simulator
(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
(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 ...