Express Logic: ThreadX SMP certified for use in safety-critical IoT systems
Express Logic announced that its ThreadX SMP RTOS has achieved the highest level of SGS-TÜV Saar certification for embedded development in safety-critical systems using symmetric multicore processing architectures. SGS-TÜV Saar, a joint venture of Germany’s SGS Group and TÜV Saarland, is the world’s leading accredited, independent company for testing, auditing, verifying, and certifying embedded software for safety-related systems.
During the certification process, SGS-TÜV Saar evaluated the relevant parts of Express Logic’s modified waterfall development process for ThreadX SMP, with phase overlap and phase blending, to ensure that best development practices were followed during the phases requirements management, design, implementation, verification and maintenance.
Using an extensive test suite, SGS-TÜV Saar rigorously reviewed all testing and features of ThreadX SMP. The ThreadX SMP test suite, composed of a large number of application simulations, effectively performs functional “black box” testing over the entire ThreadX SMP RTOS. The testing exercises 100 percent of the generic ThreadX SMP C code, including 100 percent branch coverage. Express Logic’s ThreadX SMP safety manual documents these quality assurance measures.
This certification ensures compliance with the industrial safety standard IEC 61508 and all standards derived from it, including IEC 61508 SIL 4, IEC 62304 Class C, ISO 26262 ASIL D, and EN 50128 SW-SIL 4. As these standards are used to ensure the functional safety of electrical, electronic, and programmable electronic safety-related medical devices, process control systems, industrial machinery, and railway control systems, compliance with them makes ThreadX SMP ideal for use in the development of safety-critical IoT devices.
ThreadX SMP is based on Express Logic’s ThreadX RTOS, a small, highly efficient embedded OS that minimizes system overhead and provides lightning-fast, real-time response. With a memory footprint as small as 10KB and sub-microsecond interrupt response and context switch, ThreadX SMP enhances symmetric multicore architectures from ARM, Intel, NXP, MIPS, and Synopsys while retaining hard real-time responsiveness. ThreadX SMP is the ideal RTOS for demanding real-time applications where high efficiency and high performance are essential. ThreadX SMP provides developers with a combination of performance and ease of use that can dramatically reduce time to market.