Architecture Patterns for Safe Design

The design, prototyping and analysis of complex systems architectures are often very difficult because of their important size. Our modelling experience of several aircraft systems in AltaRica allowed us to exhibit component assemblies whose aim is to ensure the safety of the architectures. The reuse of these assemblies, made generic, that we call Safety Architecture Patterns, simplifies these different tasks. In this paper, we report how SAP allow to obtain a more synthetic view of a system and to exhibit its satisfied properties on an A320like electrical system case study