论文信息 - Measurement and analysis of schedulability of spacecraft on-board software

Measurement and analysis of schedulability of spacecraft on-board software

Software schedulability analysis is an important aspect for SW real-time verification. This paper proposes a concrete approach for analyzing the schedulability for the SW real-time application running on a spacecraft on-board computer. It is based on an extension of the response time analysis and takes into account many factors that could have a significant impact on the corresponding assessment. Measurements and analysis of schedulability have been carried out in a real space SW project and show the importance of focusing on this aspect in the first phases of the SW development.

[1] Sang Lyul Min,et al. Analysis of cache-related preemption delay in fixed-priority preemptive scheduling , 1998, 17th IEEE Real-Time Systems Symposium.

[2] A. Burns,et al. Scheduling hard real-time systems: a review , 1991, Softw. Eng. J..

[3] Jane W.-S. Liu. Real-Time Systems , 2000, Encyclopedia of Algorithms.

[4] David L. Weaver,et al. The SPARC Architecture Manual , 2003 .

[5] Mathai Joseph,et al. Finding Response Times in a Real-Time System , 1986, Comput. J..

[6] Isabelle Puaut,et al. Worst-case execution time analysis of the RTEMS real-time operating system , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[7] Jakob Engblom,et al. The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[8] Giorgio C. Buttazzo,et al. Schedulability analysis of periodic fixed priority systems , 2004, IEEE Transactions on Computers.

[9] Manuel Coutinho,et al. RTEMS Improvement – Space Qualification of RTEMS Executive , 2009 .

[10] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[11] John P. Lehoczky,et al. The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.