Express Logic, Inc.'s ThreadX RTOS has been certified by SGS-TÜV Saar for use in safety-critical systems. The certification confirms that ThreadX can be used in the development of safety-related software for the highest safety integrity levels of the International Electrotechnical Commission (IEC) 61508 and IEC 62304, 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, are used to assure the functional safety of electrical, electronic, and programmable electronic safety-related medical devices, process control systems, industrial machinery, and railway control systems.
SGS-TÜV Saar has evaluated the relevant parts of Express Logic’s modified waterfall development process for ThreadX v5.6, with phase overlap and phase blending, to ensure that best development practices have been followed at these stages:
- Requirements Management
SGS-TÜV Saar, using an extensive test suite, rigorously tested all services and features of the ThreadX RTOS. The ThreadX test suite, comprised of a large number of application simulations, effectively performs functional “black box” testing over the entire ThreadX RTOS. The tests exercise 100 percent of the generic ThreadX C code, which is validated by using code coverage analysis tools. Express Logic’s ThreadX Safety Manual documents these quality assurance measures, which enable developers to use ThreadX in safety-critical software development for even the most rigorous Safety Integrity Level (SIL), according to IEC 61508 or IEC 62304, without further qualification.
Demonstrations of Express Logic’s ThreadX RTOS, TraceX Event Analysis Tool, NetX TCP/IP Stack, and USBX USB Host/Device/OTG Stack can be viewed at Express Logic’s booth #1328 at Design West (ESC), San Jose, CA, April 23-25, 2013.