safeTbox: Tool for the development & certification of safety-critical systems

A remedy to this issue is provided by model-based systems and safety engineering techniques and methods paired with adequate tool support. In our safeTbox tool, the common activities necessary in the context of systematic safety engineering, such as hazard analysis and risk assessment, safety analysis, as well as the development of a safety concept and the synthesis of a safety case, are seamlessly integrated with systems engineering techniques.

For example, safeTbox offers a modeling technique for the specification of the system architecture that permits assigning failure models directly to system artifacts and thus guaranteeing the respective traceability.

In addition to linking failure models and architecture, safeTbox permits the creation of dynamic links between all development artifacts. These links make it possible to easily find referenced elements as well as to navigate to these.

Without exception, the modeling techniques integrated in safeTbox have been developed in accordance with the concept of modularization (for instance component fault trees (CFTs), system components and system functions, safety concepts) in order to support easy replacement of components and thus to increase the maintainability of the developed systems and to enable efficient reuse of components or subsystems in new projects.  

Moreover, safeTbox offers a number of features for improving usability and for partial automation. In addition to simplified navigation through element structures, safeTbox users are supported, among other things, by consistency checks regarding element interfaces, the possibility to edit and export the model elements in tabular form, and compatibility among projects in different safeTbox versions.