Verifiable Kernel for STM32 Released as Free Distribution on the Embedded Software Store

HCC today announced the launch of eTaskSync, a fully verifiable embedded kernel for STMicroelectronics STM32 family of MCUs. eTaskSync is available as a free source code download from the Embedded Software Store, an online site dedicated to the embedded design community. eTaskSync supports events, tasks and mutexes and is rigorously compliant with MISRA-C:2004. It is supplied with 100% MC-DC analysis and 100% statement and object code coverage tests giving engineers the ability to fully verify the kernel in the target environment.

eTaskSync is intended for applications that need a simple scheduling mechanism and it has been developed using a verifiable level of quality. It is suitable for use in applications such as medical devices, industrial controllers and transportation that may require certification or transparent quality documentation. To aid test and debug, eTaskSync has a free of charge kernel aware plug-in for IAR Embedded Workbench and Atollic TrueSTUDIO.

eTaskSync is distributed with full source code on the Embedded Software Store, a joint offering from the Avnet Electronics Marketing operating group of Avnet, Inc. (NYSE: AVT) and ARM, and can be used freely for training and evaluation with no time or feature limits. A license must be purchased for use in commercial applications with license fees starting at only $7000 including 12 months support and maintenance.

Tim Barber, senior vice president of design chain business development said, “eTaskSync is a great option for our customers who are looking for a free source to evaluate embedded applications in a range of solutions. As design engineers search for tools to test and debug their prototypes, they need look no further than the Embedded Software Store.”

David Brook, Director of Marketing at HCC said “eTaskSync is a powerful and reliable kernel for embedded applications. It is a significant addition to the range of software available to ARM developers.”

To download a free copy, visit the Embedded Software Store at

Contact Information -