SOCIS16: RTEMS Fault Tolerance
salpha.2004 at gmail.com
Tue Mar 8 20:29:09 UTC 2016
During SOCIS15, I adapted two fault injection tools to RTEMS: one tool to
generate and compile code (in Python), one tool to execute the binary on
(virtual) machine and store injection result (in Java).
Interestingly, bunch of test cases (POSIX function calls with corner
arguments) led to RTEMS crash (out of approximately 600 test cases).
Future works for current state of the project are listed under final
TOC. This year (hopefully I get admitted!), I'm very interested to
integrate the two in one tool (in Python) and automate the whole
generation-execution-store results process.
FYI, the proposed framework tests RTEMS' POSIX API via data-type based
Any and all ideas, suggestions, comments are highly welcomed!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the devel