Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency

摘要

In order to ensure and maintain the consistency between the safety analyses and the system design definition during system development iterations, we propose to follow a model-based approach, using system architecture models (MBSE) and failure propagation models (MBSA). Most systems engineering methods define the functional architecture before defining the physical architecture. We developed a safety modeling method in accordance with this sequence, leading to perform safety analysis and consistency activities on the functional architecture first, then on the physical architecture. We therefore had to address the allocations of functions to physical elements. This paper focuses on the modeling of functional architecture and allocations links to the physical architecture. We discuss how to model these concepts using AltaRica DataFlow proposing several alternatives, and present the difficulties we faced in the modeling of the allocation behavior, in particular the mapping of functional failure modes to physical failure modes.