Embedded eTaskSync Software

HCC's 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, cooperative 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. It is provided with all the tools required to verify the kernel on the target system.

MISRA Compliance and Verification

eTaskSync is fully compliant with MISRA-C:2004. First introduced by the automotive industry, MISRA has become a ‘best practice’ coding standard widely used in the medical, industrial, telecom, and aerospace industries. HCC has developed its own rigorous coding standard to create a concise, strongly typed subset of the C language for use in embedded systems. The result is clean, clear and robust code without ambiguities. This is ideal for use in the most critical embedded applications. 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

Run-time Operation

eTaskSync can be executed externally and you can 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
  • Prioritized Tasks
  • Mutexes
  • Events

Completely Free Evaluation

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.