SOCIS16: RTEMS Fault Tolerance

[Saeed Ehteshamifar]

Hello,

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
report's
<https://docs.google.com/document/d/1DVbwDUEf0DDzzLQbYQo7oPF0zKwueCaLS87cqKSlsGw/pub>
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
fault injection.

Any and all ideas, suggestions, comments are highly welcomed!

Best Regards,
Saeed
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20160308/4e8faeaa/attachment.html>