Fault injection

Mentors: Gedare Bloom, Stefan Winter (TU Darmstadt)

Students: Saeed Ehteshamifar

Status: Initialized. More at ​SOCIS' wiki page and also ​blog.

Introduction: Currently there is no white-box method of injecting faults to RTEMS. That means there are test cases included in the source code tree to test functionality of different RTEMS APIs (Classic, POSIX, etc.) through injecting faults. This project aims to add fault injection test campaigns to the source tree to facilitate developer's testing process so that they can include/generate test campaigns while building the OS and run them afterwards via a generic fault injection tool.

Goal: Help users get RTEMS certified to meet their needs:

1. Project deliverables (code, docs, testing):

Code: Generated test campaigns, Generic fault injection tool, Statistics report tool (*NIX compatible)

Docs: Currently the ​blog.

Requirements: Background on fault injection methods and overall process, C and Java programmer: Be able to go through already developed source code to make necessary modifications, Familiar with RTEMS application development, Familiar with RTEMS source code tree (if willing to add something and contribute), Experienced Linux user

Resources: ?

Acknowledgements

• who helped and did work

Miscellaneous Sections

As the project progresses, you will need to add build instructions, etc and this page will evolve from a project description into a HOWTO.

References

Other sections: If you have more to say about the project that doesn't fit in the proposed sections of this template, feel free to add other sections at will.