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 miss...

Full description

Saved in:
Bibliographic Details
Main Authors: Fernandez, Javier, Parra, Pablo, Nilas, Bogdan, Garcia, Ignacio, Sanchez, Sebastian, Polo, Oscar R.
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Libraries
Ports (Computers)
Protocols
Software
Space vehicles
Timing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2150-3109
2150-3117
DOI:10.1109/SIES.2013.6601490