Express Logic’s GUIX has been used in safety-critical products within the fields of avionics, medical devices, transportation, and industrial control equipment.
TÜV Off-the-shelf Certification
GUIX has been certified by SGS-TÜV Saar for use in safety-critical systems, according to IEC-61508, IEC-62304, ISO 26262 and EN 50128. The certification confirms that GUIX can be used in the development of safety-related software for the highest safety integrity levels of IEC 61508, IEC 62304, ISO 26262 and EN 50128 for the Functional Safety of electrical, electronic, and programmable electronic safety-related systems. SGS-TÜV Saar, formed through a joint venture of Germany’s SGS-Group and TÜV Saarland, has become the leading accredited, independent company for testing, auditing, verifying and certifying embedded software for safety-related systems worldwide. The industrial safety standard IEC 61508, and all standards that are derived from it, including IEC 62304, ISO 26262 and EN 50128, are used to ensure the functional safety of electrical, electronic, and programmable electronic safety-related medical devices, process control systems, industrial machinery, automobiles and railway control systems.
SGS-TÜV Saar has evaluated the relevant parts of Express Logic’s modified waterfall development process for GUIX, with phase overlap and phase blending, to ensure that best development practices have been followed at these stages:
- Requirements Management
SGS-TUV Saar, as part of the certification, has reviewed the extensive test suite for GUIX. The GUIX test suite, comprised of a large number of application simulations, effectively performs functional black box testing over the entire GUIX. The tests exercise 100 percent of the generic GUIX C code, which is validated by using code coverage analysis tools. Express Logic’s GUIX Safety Manual documents these quality assurance measures, which enable developers to use GUIX in safety-critical software development for even the most rigorous Safety Integrity Level (SIL), according to IEC 61508, IEC 62304, ISO 26262 or EN 50128 without further qualification.