industry news
Subscribe Now

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

New York, 11th November 2013 – 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 “the Embedded Software Store is a wonderful resource for developers to access high quality embedded software like eTaskSync”

To download a free copy, visit the Embedded Software Store at http://embeddedsoftwarestore.com/

About HCC-Embedded

HCC-Embedded is a leading supplier of advanced embedded middleware for storage and communication. Implementation is based on a strong process that produces robust, target independent software modules. The company offers an extensive family of products including fail-safe file systems, IPv4 & IPv6, USB software for host and device, flash translation layers and eTaskSync verifiable scheduler.  Thanks to the Advanced Embedded Framework, HCC software will run seamlessly in most embedded environments regardless of OS, toolchain or hardware.  All HCC-Embedded products are licensed on a royalty-free basis and distributed in full source form.

Leave a Reply

featured blogs
Apr 24, 2026
A thought experiment in curiosity, confusion, and cosmic consequences....

featured paper

Quickly and accurately identify inter-domain leakage issues in IC designs

Sponsored by Siemens Digital Industries Software

Power domain leakage is a major IC reliability issue, often missed by traditional tools. This white paper describes challenges of identifying leakage, types of false results, and presents Siemens EDA’s Insight Analyzer. The tool proactively finds true leakage paths, filters out false positives, and helps circuit designers quickly fix risks—enabling more robust, reliable chip designs. With detailed, context-aware analysis, designers save time and improve silicon quality.

Click to read more

featured chalk talk

GaN for Humanoid Robots
Sponsored by Mouser Electronics and Infineon
In this episode of Chalk Talk, Eric Persson and Amelia Dalton explore why power is the key driver for efficient and reliable robot movements and how GaN technologies can help motor control solutions be more compact, integrated and efficient. They also investigate the role of field-oriented control in humanoid robotic applications and why the choice of a GaN power transistor can make all the difference in your next humanoid robot project!
Apr 20, 2026
6,267 views