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

How to ensure functional safety in development?

In the development of safety-critical systems, it is essential to guarantee functional safety. For this purpose, different analyses and development artifacts must be created in line with the specifications of relevant standards (e.g., IEC 61508, EN 50128, ISO 26262, ISO 25119, ISO 13849). From a tool perspective, this is currently being done primarily with document processing and spreadsheet tools such as Word and Excel. However, as the complexity of systems continues to increase, these tools reach their limits, so that important properties such as maintainability and traceability can no longer be guaranteed. Ultimately this results in problems regarding efficiency and quality, which in the best case only costs money and in the worst case human lives.

safeTbox helps to reduce risks and costs

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.

Grafik safeTbox - Architecture Design, Fraunhofer IESE
© Fraunhofer IESE
Graphic safeTbox - Architecture Design
Grafik safeTbox - Fault Analysis, Fraunhofer IESE
© Fraunhofer IESE
Graphic safeTbox - Fault Analysis

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.  

Grafik safeTbox - Hazard Analysis, Fraunhofer IESE
© Fraunhofer IESE
Grafik safeTbox - Hazard Analysis
Grafik safeTbox: Safety Argumentation, Fraunhofer IESE
© Fraunhofer IESE
Grafik safeTbox: Safety Argumentation

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.

Selected projects for safeTbox



In the research project CrESt, Fraunhofer IESE addressed the issue of making the development of highly automated collaborative systems controllable by means of a comprehensive methodology.

Free test license for safeTbox

safeTbox is an extension of the commercial modeling tool Enterprise Architect (EA). Accordingly, EA is indispensable for the use of safeTbox. However, this also means that all features offered by EA are available. Further information and an EA sample project can be found on the official safeTbox website, from where a free test license can also be obtained.