4.5.2 Model‐based automatic generation and selection of safe architectures

Modern avionics systems are characterized by their increasing complexity and demanding safety requirements. The fulfillment of safety constraints is often only tested after the design of the systems, which leads to costly and time‐consuming design iterations. The complexity of avionics systems is still managed through a number of predominantly manual, paper‐based procedures. Relying on systems engineering and operations research methods and tools, a methodology was developed to support the design process. This methodology should reduce the design duration through an earlier consideration of safety constraints. It should also contribute to the overall improvement of the design, through an automated approach of its complexity. A generic meta‐model is created, suitable for various kinds of avionics systems, which contains requirements ‐ including safety requirements ‐ and design goals. From these formal requirements and goals an algorithm creates corresponding mathematical constraints and optimization criteria. All valid architectures fulfilling these constraints are automatically generated. Sets of efficient and diverse architectures among the generated solutions are selected by an algorithm.