Modelwise

Automates safety analysis through model-based failure propagation. Artificial intelligence & qualitative models allow a complete & correct analysis of possible system behavior & the effects of errors.