You are here

» Automating WCET Analysis for DO-178B/C

Automating WCET Analysis for DO-178B/C

Download White Paper
What happens next?
You will receive an email containing a link to the white paper. In some cases this can take up-to 5 minutes. If you do not receive the email or have any questions, please do not hesitate to contact us.

About this download

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.