SafeRTOS is delivered as a source code and documentation certification package.
This is called either a Design History File, or a Design Assurance Pack, depending
on the nature of the end user application.
Source Code
SafeRTOS is delivered as source code. An example pre-configured,
compilable, and runnable project is included to ensure
the software is up and running in the minimum time, with the minimum
effort.
Certification Evidence
Certification evidence is provided in a Design History File (DHF) or
more comprehensive Design Assurance PackageTM
(DAPTM), depending on the nature of the end
user application.
The DHF or DAP contents are tailored to both the criticality of
the end users application, and the regulatory standard being used.
The contents always comprises of all or a subset of the documents and source code listed in the table below: