On our website, we would like to use the services of third-party providers who help us improve our promotional offerings (marketing), evaluate the use of our website (performance) and adapt the website to your preferences (functionality). We need your consent for the use of these services; you can always revoke this consent. You can find information about the services and the chance to reject them under “User-defined.” You can find additional information in our Data Protection Policy.

2 - 4 March 2021 // Nuremberg, Germany

Posting print layout

What information should be shown in the print layout?

Create print layout
Exhibitors & Products embedded world 2020
Zoom Image LOGO_eTaskSync Verifiable Scheduler

eTaskSync Verifiable Scheduler

LOGO_eTaskSync Verifiable Scheduler

eTaskSync Verifiable Scheduler

Request information Request information

Contact us

Please enter your personal information and desired appointment. You can also leave us a message.

Your personal information

Your message for us

Desired appointment during the exhibition

* Compulsory fields you must fill in.

Information on data protection can be found here.

Your message has been sent.

You do not have a registration yet? Register now and use all advantages of the Exhibitors and Products Database, the supporting programme and the TicketShop.

An error has occurred.

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.

eTaskSync Features

  • Small footprint <2kB code; 100bytes RAM
  • Prioritized Tasks
  • Mutexes
  • Events
  • Rigorously compliant with MISRA-C:2004
  • Complete MC-DC analysis
  • 100% statement coverage
  • 100% object code coverage

eTaskSync Benefits

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.


The selected entry has been placed in your favourites!

If you register you can save your favourites permanently and access all entries even when underway – via laptop or tablet.

You can register an account here to save your settings in the Exhibitors and Products Database and as well as in the Supporting Programme.The registration is not for the TicketShop and ExhibitorShop.

Register now

Your advantages at a glance:

  • Advantage Save your favourites permanently. Use the instant access – mobile too, anytime and anywhere – incl. memo function.
  • Advantage The optional newsletter gives you regular up-to-date information about new exhibitors and products – matched to your interests.
  • Advantage Call up your favourites mobile too! Simply log in and access them at anytime.