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 article 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.
In this article, we compare a manually generated expert failure modes and effects analysis (FMEA) taken from SAE ARP4761 with an automatically generated one, produced with paitron and find where the ARP 4761 went wrong.
