Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software

We report work in progress on static analysis for verifying the real-time requirements of an industrial software project: the on-board software for the GOCE satellite platform. Our approach is to analyse the binary code to derive bounds on the worst-case execution time (WCET) for each task, followed by a schedulability analysis using preemptive fixed-priority scheduling. We discuss the project's real-time requirements, the software architecture which follows the Ravenscar Ada profile, and the WCET analysis which uses a tool called Bound-T and developed by our company. Examples of the WCET analysis are given. Finally, we evaluate the Ravenscar profile for its impact on architecture, design and resource usage.