A Specification for Phased-mission System with Redundancy Based on SysML

Abstract

In engineering practice, phased mission systems (PMSs) may have phase redundancies. A failed task can be executed not only in the current phase, but also in its redundancy phases. Therefore, different from general PMSs, a PMS with phase redundancy (PMS-PR) has several mission execution sequences. Considering the complexity of the system, it is easy to make mistakes by manual modelling. Therefore, a certain tool is needed to support the modeling process. This paper proposes a specification model of PMS-PR based on system modeling language (SysML). Finally, a simplified PMS-PR is illustrated as an example to show the modeling process of the specification model.