Success stories articles

The HIMax is an industrial safety-critical system of the HIMA Paul Hildebrandt GmbH that contains multiple digital output modules, whose signals are intended for use in a programmable electronic system. In this article, a partial safety analysis of the HIMax is assessed with paitron.

This post aims to show how the tool concept of paitron was evaluated from TÜV SÜD and regarding its certification ability as a qualified software for the use in safety-critical applications.