This paper presents the first efforts made at the Brazilian National Institute for Space Research (INPE) to increase the autonomy of its satellites through the adoption of model-based reasoning on the flight software.A prototype for an on-board, goal-oriented replanning system was developed. With the lessons learned from this prototype, we are implementing an on-board service that provides states inference, which can be used as an autonomy kernel by autonomous applications.But instead of creating one more brand new, one-of-a-kind system, we are trying to make this service fit into the European Committee for Space Standardization (ECSS) standards, which have been adopted by INPE. ECSS has not only defined an autonomy concept for space missions, but has also divided it in categories and levels.We identified a gap between two of the last autonomy levels, and propose a new intermediate level to fill it. Our Internal State Inference Service (ISIS) implements this new level.