Our Profile:

Leading-edge investigation methods

Using Why-Because-Analysis you can effectively identify and analyse misbehaviour of systems. WBA delivers a complete, detailed but easy-to-understand representation of system-behaviour. On this basis critical interactions in systems become obvious and countermeasures can be very effectively applied. Profit from our considerable experience with the analysis of system behaviour and the application of Why-Because-Analysis.

Ontological Hazard Analysis is a formal and rigorous safety requirements analysis method for system-development and modification of existing systems. Ontological Hazard Analysis also offers an detailed documentation of the system and the implied risks.

Consulting on Safety and Security

We offer advice and analysis on all aspects of safety-critical technical and socio technical systems, in particular Hazard and Incident Analysis, Safety-Requirements Analysis, Risk Analysis, Failure Analysis and Accident Analysis.

Professional Education

We provide tutorials and training courses on formal methods and analysis techniques conformant with the international standard for functional safety IEC 61508.

Supplying you with software utilities

We supply tools for causal analysis of the behaviour of heterogeneous engingeered systems, in particular the WB-Toolset for Why-Because-Analysis.