The driver behind the MoBaTe activity was to propose ways to improve the current software development and validation lifecycle using MBSE techniques to shift some of the system validation activities to the early stages of development. The roadmap to achieve this included identifying strategies, required model properties, modelling tools and languages needed to move from a requirements-based approach to a model-based approach. All this considering existing and established workflows and tools currently used by ESA.

The main objective of the ELMASAT study was to brint into Capella the means to calculate the availability of a satellite system and provide extra facilities for trade-off analysis. As an example of application, an assesment of SEE detection and mitigation strategies was performed with respect to availability objectives.