Automating WCET Analysis for DO-178B & DO-178C

Download

Sign up to receive news updates and exclusive event invitations from Rapita Systems.

When you contact us, we will process your personal data in accordance with our data protection policy, please see our Customer Privacy Information for more information.


What happens next?

You will receive an email containing a link to the download. If you do not receive the email or have any questions, please do not hesitate to contact us.

To prevent automated submissions please leave this field empty.


What's inside?

Determining worst-case execution time (WCET) is a recommended activity for avionics systems developed according to the DO-178B or DO-178C guidelines. This white paper assesses the current state of practice for determining WCET when working to these guidelines and introduces the benefits that arise from being able to automate this process. With its DO-178B/DO-330 qualification pack, RapiTime (part of Rapita Verification Suite) is unique in allowing these benefits to be realised for DO-178B/C developments.

Tags: DO178B, DO178C, WCET, PDF, Download