Model-based approach for requirements management connection with verification procedures applied to space systems

Karolina Latserus, Petr Mukhachev, Anton B. Ivanov, Angelina Prokopeva

Research output: Contribution to journalConference articlepeer-review


Industrial companies and scientific organizations apply Model Based Systems Engineering approach to make high-level functional models of systems they develop and to effectively manage the requirements. Systems engineers use specific tools that support particular system modelling language (e.g. SysML) which give them an ability to connect the system requirements with corresponding procedures for their validation and verification, such as tests, demonstration, inspection or analysis. However, the problem is that most of the requirements verifying methods are held by engineers not familiar with specific MBSE software. That misalignment complicates test feedback and eventually hinders requirement traceability. The aim of this research is to develop a methodology which allows to link the requirements with particular set of verification procedures, generate the descriptive documentation for engineers and get feedback about the verification results to indicate whether the requirement is satisfied or not. The focus group for research implementation are small space enterprises such as universities and startups making nanosatellites. The research also provides a strategy for proposed methodology integration to project data and processes structure of small space enterprises, as well as software toolchain for methodology implementation. The requirements and architecture of Skoltech Gamma Swarm project in SysML (implemented in MagicDraw) is taken as a reference example. We will showcase the developed methodology and propose a tool which would be an interface between systems model, test facility engineer and project managers with no specific SysML knowledge. The methodology considers specifics and problems of MBSE implementation is small space enterprises and can be scaled to other aerospace projects.

Original languageEnglish
JournalProceedings of the International Astronautical Congress, IAC
Publication statusPublished - 2020
Event71st International Astronautical Congress, IAC 2020 - Virtual, Online
Duration: 12 Oct 202014 Oct 2020


  • MagicDraw
  • MBSE
  • Nanosatellites
  • Single source of truth
  • Space enterprise
  • SysML


Dive into the research topics of 'Model-based approach for requirements management connection with verification procedures applied to space systems'. Together they form a unique fingerprint.

Cite this