User:Haggis2710/sandbox

eTaskSync is is a small embedded scheduler specially designed for use in verifiable, embedded applications. It is a priority-based, cooperative, real-time operating system kernel for microprocessors, written a strongly typed subset of the C programming language. It is intended for use in embedded systems. The key features include:


 * Fully compliant with MISRA-C:2004
 * 100% MC/DC coverage
 * 100% statement coverage tests
 * 100% object coverage tests
 * Suitable for use in products requiring high availability or certification
 * Small footprint <2kB code; 100bytes RAM
 * Priority-based task scheduling
 * Mutexes
 * Events
 * Developed to industry best practices
 * Ports available for a wide range of microcontrollers
 * Free kernel aware debug plug-ins for popular toolchains

eTaskSync was originally developed as a way to handle management of HCC's advanced communications and storage software, especially when integrated with super-loops and other types of 'home brewed' scheduling mechanisms. It has developed into a compact and efficient embedded scheduling mechanism which is part of HCC's strategy to deliver software

On Nov 11th, 2013 HCC, ARM and partners Avnet announced a free source code based download of eTaskSync with full documentation including static analysis, code coverage and MC-DC analysis