Software validated according to IEC 62304