Code generation from on-board software models for space applications. Definition, realization and evaluation of a back-end code generator

      Аннотация: The European Space Agency (ESA) and its industrial partners have come up with the concept of On-board Software Reference Architecture (OSRA); with an aim of favoring the adoption of a software reference architecture across their software supply chain. It involves a component model called the Space Component Model (SCM) and the software development process that builds on it. The SCM aims to model application software as a set of independent software components which interact via clearly defined interfaces. This work aims at implementing a back-end code generator for OSRA. It supports the general vision that an application developer in the future would create and configure components for his/her on-board applications, capturing desired component interactions in an SCM model instance. All the concurrency behavior, data exchange, type conversion, etc. would then be automatically handled by the code generator resulting in shorter development cycles and high cost efficiency. The code generator uses Tasking Framework, developed by German Aerospace Center (DLR) department of Software for Space Systems and Interactive Visualization, as a platform for code generation

Ключевые слова: On-board Software Reference Architecture (OSRA), Space Component Model (SCM), Tasking Framework, Back-end code generation, Non-functional properties, separation of concerns