Creating a safer, greener, more secure future.

Design Assurance Pack

SAFERTOS® is supplied with a Design Assurance Pack (DAP) which contains every design artifact produced during the full development life cycle, from development and safety life cycle plans, requirements specifications and design documents, to HAZOPS, the source code, all verification and validation documents and relating evidence. The full test harness, with user and safety manuals, is also supplied.

To access free demos, datasheets and evaluations of SAFERTOS click here.

Medical Design History File

For medical applications SAFERTOS® is supplied with a Design History File (DHF). The DHF has been independently validated for compliance with FDA510(k) Class III medical device standards and EN62304. Used in professional and commercial medical applications, such as diabetes pumps, infusion systems and hypertension monitoring systems, SAFERTOS is a comprehensive solution which is specially developed to ease the path to certification.

SAFERTOS for Medical

Free Demos & Manuals

Download fully functional, time-limited SAFERTOS demos, plus manuals, datasheets, and more.

Design Assurance Pack Contents

The SAFERTOS® DAP/DHF contains all the information required to independently complete final product certification.

A typical Design Assurance Pack contains the below documents.

Getting Started

SAFERTOS User Manual

Provides an overview of SAFERTOS® and gives a description of the RTOS task, queue and scheduling mechanisms, and provides an API reference.

SAFERTOS Safety Manual

The safety manual contains a concise list of instructions clearly identifying the installation and integration process your engineers should follow when incorporating the RTOS into your development environment.

Upgrading from the FreeRTOS Kernel to SAFERTOS

The FreeRTOS kernel and SAFERTOS® share a similar usage model but are not direct drop-in replacements for each other. This document highlights the areas requiring modification when moving an application from the FreeRTOS kernel to SAFERTOS.

Using the SAFERTOS Demo

This technical note provides information that is intended to assist in understanding of the RTOS demonstration program for the selected processor. This demonstration program exercises the SAFERTOS® kernel functions in order to show the task creation/scheduling and queue communication within an example application.

Configuration

Software Version Description

Contains an inventory of the materials released, their relating checksums and a record of the changes made to this deliverable over its lifetime.

Planning

Software Development Plan

Defines the IEC 61508 SIL 3 compliant development life cycle used in the development of SAFERTOS®.

Software Configuration Management Plan

Gives an overview of the configuration management tool, identifies the items under configuration control, and the configuration management rules and working procedures used in the development of this RTOS.

Software Test Plan

Defines the objectives for each Verification and Validation (V&V) phase, and the relating test environment. Defines the complete V&V schedule.

Software Safety Management Plan

The objective of the Software Safety Management Plan is to adequately justify that SAFERTOS® meets its high level safety requirements. This SSMP forms the plan for ensuring that safety is considered throughout the RTOS development programme and is appropriately designed into SAFERTOS.

Requirements

Customer Requirements Specification

This document defines the Customer Requirements Specification for the SAFERTOS® product.

MPU Customer Requirements Specification

This document defines the Customer Requirements specific to MPU or MMU product variants of the SAFERTOS® product.

FPU Customer Requirements Specification

This document defines the Customer Requirements specific to SAFERTOS® product variants that support the use of a hardware Floating Point Unit.

Software Requirements Specification

This document defines the software requirements for the SAFERTOS® product.

MPU Software Requirements Specification

This document contains the additional software requirements for SAFERTOS® product variants using the Memory Protection Unit.

FPU Software Requirements Specification

This document contains the additional software requirements for SAFERTOS® product variants that support the use of a hardware Floating Point Unit.

Design

Architectural Software Design Description

This document describes the architectural software design for the SAFERTOS® product.

Architectural Software Design Description for MPU

This document contains the additional architectural software design for SAFERTOS® product variants that utilise the Memory Protection Unit.

Architectural Software Design Description for FPU

This document contains the additional architectural software design for SAFERTOS® product variants that support the use of a hardware Floating Point Unit.

Detailed Software Design Description

This document describes the software design for the SAFERTOS® product.

Product Specific Software Design Description

This document contains the software design elements that are specific to your Product Variant.

Safety

HAZOPS Report

This document contains the SAFERTOS® Hazard and Operability Study, the hazard assessment, risk reduction methods, the safety related requirements and details any residual risks.

HAZOPS Report for MPU Requirements

This document contains the SAFERTOS® Hazard and Operability Study as it relates to development of products featuring MPU support.

Investigations arising from HAZOPS

This Technical Report documents the investigations called for during the Hazard and Operability Study (HAZOPS) process as they relate to your Product Variant of SAFERTOS®.

API Usage Safety Review

Analyses the functions and macros that constitute the API to determine any actual or potential behaviour of the SAFERTOS® that could lead to unsafe or inappropriate use by a user or other interested person.

MPU API Usage Safety Review

This Technical Report analyses the functions and macros that constitute the MPU API to determine any actual or potential behaviour of the software product that could lead to unsafe or inappropriate use by a user or other interested person.

Evidence Supporting IEC61508-3 SIL3 Claim

The purpose of this document is to collate or reference all evidence that supports the claim that SAFERTOS® requirements have been specified and met and that it has been developed to meet the software development requirements of IEC 61508-3 Safety Integrity Level (SIL) 3.

Test Procedures

Software Code Verification Test Description

This document presents the Software Code Verification test definitions for the common elements of the SAFERTOS® kernel.

Software Integration Verification Test Description

This document presents the Software Integration Verification test definitions for the common elements of the SAFERTOS® kernel.

Software System Verification Test Description

This document presents the Software System Verification test definitions for the common elements of the SAFERTOS® kernel.

Validation Test Description

This document presents the Validation test definitions for the SAFERTOS® kernel.

Product Variant Software Code Verification Test Description

This document relates to the development of the SAFERTOS® Product Variant and presents the Software Code Verification test definitions for the port specific elements of the design.

Product Variant Software Integration Verification Test Description

This document relates to the development of the SAFERTOS® Product Variant and presents the Software Integration Verification test definitions for the port specific elements of the design.

System Verification Test Description

This document relates to the development of the SAFERTOS® Product Variant and presents the Software System Verification test definitions for the port specific elements of the design.

Test Harness Build Procedure

This document provides instructions on building and using the software test harness when performing formal testing of the product variant.

SAFERTOS Test Harness for your toolchain and compiler

The source code for the software test harness is included in this package.

Test Results

Software Test Report

The Software test report gives an overview of the results from the V&V process, before going into the details of each test case.

Ask Us a Question

For pricing, licensing, or any other sales or product related questions, please contact us.

Ask us a question