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

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

Business Wire

NEW YORK -- November 11, 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

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.





Photos/Multimedia Gallery Available:



HCC-Embedded USA
444 East 82^nd Street
New York, NY 10028, USA
Bernard Mushinsky, +1-212-734-1345
HCC-Embedded EU
24a Melville Street
Edinburgh EH3 7NS, UK
David Brook, +44-7918-787-571
Press spacebar to pause and continue. Press esc to stop.