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.
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
- Rigorously compliant with MISRA-C:2004
- Complete MC-DC analysis
- 100% statement coverage
- 100% object code coverage
eTaskSync fully complies with MISRA-C:2004, a "best practice" coding standard widely used in the automotive, medical, industrial, telecom, and aerospace industries. HCC uses 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, ideal for use in 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 are met.