<div dir="ltr"><div><div><div><div><div><div><div>Hello,<br><br></div>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).<br></div>Interestingly, bunch of test cases (POSIX function calls with corner arguments) led to RTEMS crash (out of approximately 600 test cases).<br><br></div>Future works for current state of the project are listed under <a href="https://docs.google.com/document/d/1DVbwDUEf0DDzzLQbYQo7oPF0zKwueCaLS87cqKSlsGw/pub">final report's</a> 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.<br><br></div>FYI, the proposed framework tests RTEMS' POSIX API via data-type based fault injection.<br><br></div>Any and all ideas, suggestions, comments are highly welcomed!<br><br></div>Best Regards,<br></div>Saeed<br><div><div><div><div><div><br></div></div></div></div></div></div>