“…The mission was founded in 2015 with the goal of hands-on practice for students looking for a career in the aerospace sector (Langer et al (2015)). Its payload consists of novel quatro-junction solar cell prototypes, whose degradation due to space radiation shall be measured over time (Rutzinger et al (2016)). Figure 1 shows the spacecraft in its deployed configuration, including the solar cell payload in the middle of the spacecraft and the four solar generators surrounding it.…”
Section: Introduction To the Show Case Applicationmentioning
Model-Based Systems Engineering aims at creating a model of a system under development, covering the complete system with a level of detail that allows to define and understand its behavior and enables to define any interface and workpackage based on the model. Once such a model is established, further benefits can be reaped, such as the analysis of complex technical correlations within the system. Various insights can be gained by displaying the model as a formal graph and querying it. To enable such queries, a graph schema needs to be designed, which allows to transfer the model into a graph database. In the course of this paper, we discuss the design of a graph schema and MBSE modelling approach, enabling deep going system analysis and anomaly resolution in complex embedded systems. The schema and modelling approach are designed to answer questions such as what happens if there is an electrical short in a component? Which other components are now offline and which data cannot be gathered anymore? Or if a condition cannot be met, which alternative routes can be established to reach a certain state of the system. We build on the use case of qualification and operations of a small spacecraft. Structural and behavioral elements of the MBSE model are transferred to a graph database where analyses are conducted on the system. The schema is implemented by an adapter for MagicDraw to Neo4j. A selection of complex analyses are shown on the example of the MOVE-II space mission.
Impact StatementThe proposed schema to transfer SysML Models to Labelled Property Graphs and the related modelling strategy open a wide range of system analyses for designers and operators of complex embedded systems, such as tracking data paths, finding probable causes of anomalies or retrieving every possibility to reach a certain state within the system from the current one. It can also be used to analyze which input losses components should be resilient against to achieve a maximum level of robustness and may help modelers in choosing what information to include in their model. By parametrizing graph-queries, they can be reused for any system and thereby increase the efficiency of model analysis. The requirements imposed on the analyzed SysML model are few and do not require a holistically complete model. Thereby the approach can also be applied to system models still in the making or where parts of the system are black-boxed.
“…The mission was founded in 2015 with the goal of hands-on practice for students looking for a career in the aerospace sector (Langer et al (2015)). Its payload consists of novel quatro-junction solar cell prototypes, whose degradation due to space radiation shall be measured over time (Rutzinger et al (2016)). Figure 1 shows the spacecraft in its deployed configuration, including the solar cell payload in the middle of the spacecraft and the four solar generators surrounding it.…”
Section: Introduction To the Show Case Applicationmentioning
Model-Based Systems Engineering aims at creating a model of a system under development, covering the complete system with a level of detail that allows to define and understand its behavior and enables to define any interface and workpackage based on the model. Once such a model is established, further benefits can be reaped, such as the analysis of complex technical correlations within the system. Various insights can be gained by displaying the model as a formal graph and querying it. To enable such queries, a graph schema needs to be designed, which allows to transfer the model into a graph database. In the course of this paper, we discuss the design of a graph schema and MBSE modelling approach, enabling deep going system analysis and anomaly resolution in complex embedded systems. The schema and modelling approach are designed to answer questions such as what happens if there is an electrical short in a component? Which other components are now offline and which data cannot be gathered anymore? Or if a condition cannot be met, which alternative routes can be established to reach a certain state of the system. We build on the use case of qualification and operations of a small spacecraft. Structural and behavioral elements of the MBSE model are transferred to a graph database where analyses are conducted on the system. The schema is implemented by an adapter for MagicDraw to Neo4j. A selection of complex analyses are shown on the example of the MOVE-II space mission.
Impact StatementThe proposed schema to transfer SysML Models to Labelled Property Graphs and the related modelling strategy open a wide range of system analyses for designers and operators of complex embedded systems, such as tracking data paths, finding probable causes of anomalies or retrieving every possibility to reach a certain state within the system from the current one. It can also be used to analyze which input losses components should be resilient against to achieve a maximum level of robustness and may help modelers in choosing what information to include in their model. By parametrizing graph-queries, they can be reused for any system and thereby increase the efficiency of model analysis. The requirements imposed on the analyzed SysML model are few and do not require a holistically complete model. Thereby the approach can also be applied to system models still in the making or where parts of the system are black-boxed.
“…The mission was founded in 2015 with the goal of hands-on practice for students looking for a career in the aerospace sector (Langer et al, 2015). Its payload consists of novel quatro-junction solar cell prototypes, whose degradation due to space radiation shall be measured over time (Rutzinger et al, 2016). Figure 2 shows the spacecraft in its deployed configuration, including the solar cell payload in the middle of the spacecraft and the four solar generators surrounding it.Figure 2.Photo of the MOVE-II spacecraft showing the solar array with the payload solar cells in the middle.…”
Model-based systems engineering (MBSE) aims at creating a model of a system under development, covering the complete system with a level of detail that allows to define and understand its behavior and enables to define any interface and work package based on the model. Once the model is established, further benefits can be reaped, such as the analysis of complex technical correlations within the system. Various insights can be gained by displaying the model as a formal graph and querying it. To enable such queries, a graph schema is necessary, which allows to transfer the model into a graph database. In the course of this paper, we discuss the design of a graph schema and MBSE modeling approach, enabling deep going system analysis and anomaly resolution in complex embedded systems with a focus on testing and anomaly resolution. The schema and modeling approach are designed to answer questions such as What happens if there is an electrical short in a component? Which other components are now offline and which data cannot be gathered anymore? If a component becomes unresponsive, which alternative routes can be established to obtain data processed by it. We build on the use case of qualification and operations of a small spacecraft. Structural elements of the MBSE model are transferred to a graph database where analyses are conducted on the system. The schema is implemented by means of an adapter for MagicDraw to Neo4J. A selection of complex analyses is shown in the example of the MOVE-II space mission.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
