During development process phases, mechatronic systems needs to be quantified to decide in early design phase which topology or hardware satisfy the safety requirements regulated by law. The regulations by law are focused especially to reliability and safety oriented aspects of safety relevant systems or components.
The contribution deals with the automation of formal processes from design to the generation of reliability-oriented evaluation allowing the consideration of alternatives and appearing conflicts between several additional aspects like cost, spatial needs etc..
During design stage, when relevant system factors are determined, the system architecture is designed, and a function oriented topology tree is generated, the construction of the reliability-oriented structure (topology), which is used to consider the reliability-oriented aspects, can be made.