Modeling
but also the software's ecosystem including hardware, functional specification and requirements according to common safety standards. For each of those so-called layers, easy to understand and intuitive diagrams are available for modeling. Layers are independent but reference among each other and are designed in a generic way only containing fundamental and necessary information. There is no order with which the layers have to be modeled and the model can be modified at any time at any point. An analyzer checks for inconsistencies and safety relevant dependencies also before code and report generation.