Issues in applying a model driven approach to reconfigurations of satellite software

Abstract

Satellite software has to deal with specific needs including high integrity and dynamic updates. In order to deal with these requirements, we propose working at a higher level of abstraction thanks to model-driven engineering. Doing so involves many technologies including model manipulation, code generation and verification. Before we can implement the approach, there is a need for further research in these areas, e.g., about meta-transformations in order to maintain several consistent related code generators. We highlight such issues in regard to the current state of the art.

Enabling self-adaptivity in component-based streaming applications

“…The framework provides a dynamic model to represent the execution context of applications. In [8] a similar approach is proposed and tested on software for embedded systems; a list of challenges for offering self-adaptivity in embedded systems is also provided. The challenges listed are: flexibility, efficiency and minimality, safety, and simplicity.…”

Towards a categorical framework to ensure correct software evolutions

“…While this practice is acceptable for simple (local) patches, producing a more complex patch and ensuring its correctness is hard. Worse, this patch process does not scale to the management of a constellation of satellites because a patch is specific to a satellite 1 . In a previous paper [1], we proposed to replace it by an MDE approach where patches would be obtained by model transformation and code generation.…”

“…Worse, this patch process does not scale to the management of a constellation of satellites because a patch is specific to a satellite 1 . In a previous paper [1], we proposed to replace it by an MDE approach where patches would be obtained by model transformation and code generation. In this paper, we would like to focus on the need for formal mathematical foundations of patches.…”