eTaskSync is a no compromise, MISRA-compliant, verifiable scheduler used for running tasks in an embedded system. It provides the essential functions of an embedded kernel: tasks, events and mutexes using a priority based, pre-emptive scheduling mechanism. It can be used for cooperative task scheduling in an embedded system and is particularly suited for embedded systems that require a high level of reliability and availability.
HCC eTaskSync is fully compliant with MISRA-C:2004. Full compliance documentation, developed using the LDRA Tool Suite, is supplied to help customers integrate with existing development processes and to confirm that the highest standards of compliance have been met.
Rigorously compliant with MISRA-C:2004
Complete MC-DC analysis
100% statement coverage
100% object code coverage
eTaskSync can be executed externally and it is possible to define the maximum number of ticks it runs for. This makes it easy to plan the execution times of middleware with non-OS or run-till- completion schedulers. The benefit of this approach for the system designer is that middleware stacks will not block the system.
Small footprint <2kB code; 100bytes RAM
A free source code based evaluation can be downloaded from our Downloads Center and includes all the test and documentation required for verification on the target system.