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

  1. Karama Kanoun2 and
  2. Lisa Spainhower3
  1. Diamantino Costa,
  2. Ricardo Barbosa,
  3. Ricardo Maia and
  4. Francisco Moreira

Published Online: 7 JAN 2008

DOI: 10.1002/9780470370506.ch13

Dependability Benchmarking for Computer Systems

Dependability Benchmarking for Computer Systems

How to Cite

Costa, D., Barbosa, R., Maia, R. and Moreira, F. (2008) DeBERT: Dependability Benchmarking of Embedded Real-Time Off-the-Shelf Components for Space Applications, in Dependability Benchmarking for Computer Systems (eds K. Kanoun and L. Spainhower), John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470370506.ch13

Editor Information

  1. 2

    LAAS-CNRS, University of Toulouse, Toulouse, France

  2. 3

    IBM, Poughkeepsie, New York, USA

Author Information

  1. Critical Software, S. A., Coimbra, Portugal

Publication History

  1. Published Online: 7 JAN 2008
  2. Published Print: 11 JUL 2008

ISBN Information

Print ISBN: 9780470230558

Online ISBN: 9780470370506

SEARCH

Keywords:

  • ground segment emulator (GSE);
  • onboard telecommand scheduler architecture;
  • DeBERT benchmark validation

Summary

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