Robust software design for nanosatellites with single board computer

In this paper, we will present our approach to solving the problem of lacking a rigorous and reliable way to develop robust software for nanosatellites, which is based on the usage of the Behavior Interaction Priorities (BIP) framework. We also discuss a possibility to use it in single board on board computers and resolve difficulties and challenges arising in testing and simulations.