Safe-TBox
Introduction
safeTbox is a model-based framework that supports engineers in the development of safety-critical systems by integrating activities such as hazard analysis and risk assessment, failure analysis, safety conceptualisation and safety case creation.
Traditionally, safety engineers have relied on text/table-based solutions for the documentation of artefacts created during the development lifecycle. Separating the developed artefacts into different documents leads to challenges such as maintaining traceability between these artefacts and developing a consistent safety case.
With safeTbox, the usual safety engineering activities such as performing hazard analysis and risk assessment (HARA) and failure analysis, developing a safety concept and using all the artefacts created to produce an appropriate safety case are integrated into a single model repository.
In addition, safeTbox provides a technique for modelling the system architecture in which fault models can be directly assigned to system components. Due to the formal traceability to and from all technical artefacts and the modular modelling approach, safeTbox facilitates the maintainability and reusability of model elements and enables the user to achieve greater efficiency.
