Schedulability analysis of on-board satellite software based on model-driven and compositionality techniques

This paper presents the application of a model-driven and compositionality techniques for the real-time requirements validation of the on-board software for the Instrument Control Unit (ICU) of the Energetic Particle Detector (EPD) suite, which will be launched as a payload of the Solar Orbiter mission of the European Space Agency (ESA) and NASA. The main purpose of this approach is to automate the schedulability analysis of the on-board software. The complete solution integrates a component-based and automatic code generation tool, called EDROOM; RapiTime RVS 3.0, a tool that provides support for on-target execution time measurement; and an analysis tool, called MAST, to perform schedulability analysis. A framework called MICOBS is used to apply model-driven and compositionality techniques for the integration of the aforementioned tools, facilitating the transformations between the different models and allowing the automated generation of schedulability analysis reports.