Applying analytical and empirical schedulability analysis techniques to a real spacecraft flight software
by Nunzio Cecere; Massimo Tipaldi; Davide De Pasquale
International Journal of Embedded Systems (IJES), Vol. 13, No. 4, 2020

Abstract: Software schedulability analysis is a crucial aspect for real-time software system verification. This paper presents a combined approach of analytical and empirical techniques for measuring task execution times and verifying the timing constraints of flight software (FSW) applications in real space projects. The proposed methodology is based on the following two main steps. Firstly, we perform an analytical verification via the response time analysis (RTA) in order to show that all the hard deadlines defined for time-critical SW tasks are met. In particular, the worst-case execution times (WCETs) of such SW tasks are measured via static code analysis. Secondly, we analyse the activities that are executed in the context of less time-critical tasks via a more empirical argumentation. The CPU load for the whole running FSW is measured in significant and time-consuming operational scenarios with the aim of proving that the CPU load requirements are fulfilled. Such approach has been applied to an industrial-sized spacecraft FSW and points out the importance of focusing on this topic in the early phases of the FSW development.

Online publication date: Tue, 27-Oct-2020

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Embedded Systems (IJES):
Login with your Inderscience username and password:

    Username:        Password:         

Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email