DeBERT: Dependability Benchmarking of Embedded Real-Time Off-the-Shelf Components for Space Applications

This chapter contains sections titled:

• Introduction and Previous Work

• Benchmark Specification

• Benchmark Trial with RTEMS Real-Time Kernel

• Benchmark Validation

• Conclusions

• Appendix 13.A

• Appendix 13.B Avoiding Preemption in Time Measurements

• References