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

Techniques and methods of model-based systems and safety engineering paired with adequate tool support provide a remedy. Our safeTbox tool seamlessly integrates the usual activities required as part of systematic safety engineering, such as hazard analysis and risk assessment, safety analysis, the creation of a safety concept and the synthesis of a safety case, with systems engineering techniques.

For example, safeTbox offers a modeling technique for specifying the system architecture, which allows fault models to be assigned directly to system artefacts, thus ensuring traceability and traceability in this respect.

In addition to linking error models and architecture, safeTbox allows you to create dynamic links between all development artifacts. These links make it easy to find referenced elements as well as to navigate to them.

The modelling techniques integrated in safeTbox were developed without exception according to the concept of modularization (e.g. component fault trees (CFTs), system components and functions, safety concepts) in order to support the simple exchange of components and thus increase the maintainability of the developed systems and enable the efficient reuse of components or subsystems in new projects.

In addition, safeTbox offers a range of features to improve user-friendliness and partial automation. In addition to simplified navigation through element structures, safeTbox also supports the user with consistency checks in relation to element interfaces, the option to edit and export model elements in tabular form and compatibility between projects of different safeTbox versions.