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.
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.