ThreadX RTOS compliant with MISRA C:2004 and MISRA-C:2012 ANSI C programming guidelines
June 25, 2015 — Express Logic, Inc., the worldwide leader in royalty-free real-time operating systems (RTOSes), today announced that its popular ThreadX® RTOS is compliant with all required and mandatory rules of MISRA C:2004 and MISRA-C:2012.
MISRA C, a set of programming guidelines developed by the Motor Industry Software Reliability Association (MISRA), promotes safety, reliability, ease of maintenance, and portability for safety-critical systems coded using the ANSI C programming language. Although the original MISRA-C guidelines targeted automotive applications, MISRA-C is now widely recognized as a leading guideline for C programming in the development of a broad range of safety-critical applications in aerospace, telecom, medical, defense, railway, and other sectors.
MISRA: Essential Guidelines for Safety-Critical Product Development
Software failure and, more important, direct programming errors have cost companies millions of dollars in lost sales, damages, and litigation and, in some cases, have resulted in human fatalities. Consequently, manufacturers have implemented increasingly rigorous practices, guidelines, and certification standards to decrease risk, increase and measure product reliability, and improve product quality.
“MISRA-C is one of the most crucial guidelines for prevention of errors that manufacturers can implement,” said William E. Lamie, CEO of Express Logic, Inc. “Through its compliance with MISRA-C, Express Logic’s ThreadX plays an essential role in safety-critical product development.”
Express Logic verified ThreadX MISRA-C compliance for both the 2004 and 2012 standards using IAR Embedded Workbench C-STAT analysis tool. Lamie added, “The seamless integration of C-STAT, a powerful analysis tool, made our MISRA-C complicance analysis much easier.”
“We are proud that Express Logic has chosen to work with IAR Embedded Workbench and C-STAT to verify MISRA C compliance for ThreadX,” commented Anders Holmberg, Product Manager Analysis Tools, IAR Systems. “C-STAT ensures code quality and shows compliance with industry standards. Thanks to its complete integration in the development tools, companies find it easy to work with, gain code quality checks in the daily work of each developer, and are able to take full control of their development through efficient, adaptable workflows that deliver dependable products.”
ThreadX Ideal for Safety-Critical Systems
ThreadX is a small, fast, royalty-free RTOS that provides priority-based premptive scheduling, optimized context switching, and an intuitive, easy-to-use API. With billions of units deployed, ThreadX is known for rock-solid reliability and exceptional quality. Its pre-certification for use in development that must meet safety-critical standards—standards such as IEC 61508, IEC 62304, UL 60730-1 Annex H, CSA E60730-1 Annex H, IEC 60730-1 Annex H, UL 60335-1 Annex R, IEC 60335-1 Annex R, and UL 1998—makes ThreadX an ideal RTOS for industrial, medical, automotive, appliance, and consumer products.
ThreadX MISRA-C compliance, combined with a suite of system-critical safety pre-certifications, underscores Express Logic’s commitment to provide the safest, most reliable, and highest quality RTOS on the market.
About Express Logic and ThreadX
Headquartered in San Diego, CA, Express Logic offers the most advanced run-time solution for deeply embedded applications, including the popular ThreadX® RTOS, the high-performance NetX™ TCP/IP stack, the FileX® embedded FAT compatible file system, the new GUIX™ GUI development toolkit, and the USBX™ Host/Device USB protocol stack. All products from Express Logic include full source-code and have no run-time royalties. For more information about Express Logic solutions, please visit our web site at http://www.rtos.com, call 1-888-THREADX, or email inquiries to email@example.com.