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 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. WEB: http://www.hcc-embedded.com/ Twitter: http://twitter.com/HCCEmbedded Facebook: http://www.facebook.com/HCCEmbedded LinkedIn: http://www.linkedin.com/company/hccembedded Photos/Multimedia Gallery Available: http://www.businesswire.com/multimedia/home/20131111005579/en/ Multimedia Available:http://www.businesswire.com/cgi-bin/mmg.cgi?eid=50747913&lang=en Contact: HCC-Embedded USA 444 East 82^nd Street New York, NY 10028, USA Bernard Mushinsky, +1-212-734-1345 firstname.lastname@example.org or HCC-Embedded EU 24a Melville Street Edinburgh EH3 7NS, UK David Brook, +44-7918-787-571 www.hcc-embedded.com
Verifiable Kernel for STM32 Released as Free Distribution on the Embedded Software Store
Press spacebar to pause and continue. Press esc to stop.