Industrial Validation Suites™

IEC 61508

Delivered 100% complete, Validated Software’s Industrial Validation Suites are ready to submit for IEC 61508 certification. Industrial Validation Suites contain everything needed to comply with IEC 61508: designs, source code, test code, test results, trace matrices and all related documentation for device certification through SIL 3.

Developed as a complete and self-contained certification package for the RTOS components used in an embedded industrial device, VSC’s Industrial Validation Suites provide full coverage for all of the APIs and services provided by the real-time software. Delivered running and tested on your target hardware, each Industrial Validation Suite is complete and ready for submission as delivered; for system submission, the system documentation simply references the Validation Suite as part of the delivery.

Validated Software’s Industrial Validation Suites are certifiable for devices up to and including SIL 3.

Our affordable Validation Suites are available for a wide variety of
RTOS and Middleware products.

Validated Software’s latest validation effort adds Express Logic’s
ThreadX kernel to our line of Validation Suites. Like our Validation Suites, ThreadX is proven in the safety-critical device arena. Validation Suites are 100% complete, support all ThreadX APIs and services, and support all Safety Integrity Levels (SIL) including SIL 3.

Additional information and a collection of sample certification documents are available upon request. To request these PDF samples in zip file format click: Information Request Page.

Industrial Validation Suites are also available as ready to use kits.
For more information click: Industrial Validation Kits.

Express Logic

ThreadX RTOS

Micrium

µC/OS-II RTOS
µC/TimeSpaceOS
uC/FS File System
CAN


Software Products    
Real-time operating systems
MMU RTOS
File System
CAN bus
Test Environments
Cantata
RequisitePro
LDRA Test Bed
Rational Test Real Time
 Processor and architecture    
ARM 7/9/11
CORTEX A, R, M
Coldfire V1, V2, V3, V4
TI and ADI DSP
PPC - 4xx, 5xxx, 7xxx, 8xxx
x86 RM, x86 PM
16-bit
Development Tools
ARM ADS, RVDS, Keil, IAR
GHS Multi
GNU and variants
TI Code Composer
IAR
Metrowerks
Wind River Compiler

 

 

 

Industrial Links

Industrial Validation Suites

Industrial Validation Kits

Industrial Validation Templates

Industrial FAQ

Industrial Resources

Information Request

Industrial Validation Suite Contents

Documents listed below are a representative sample. Actual documents, names, and their content is subject to change.

Kits contain all necessary Plans, Standards, Checklists, Review Notes, and Project Documents, with titles like:

Software Safety Requirements Specification
Software Safety Validation Plan
Software Configuration Management Plan
Software Development Plan
Software Quality Assurance Plan
Software Verification Plan
Product Source Code w/conditional test code
Software Requirements Document
Software Design Document
Integration Test Plans and Code
Integration Test Source
Unit Test Plans and Code
Unit Test scripts
Assembly Language Coding Standard
C Language Coding Standard
Software Design Standard
Software Requirements Standard
Code Review Procedure
Document Review Procedure
Document Review Sheets
Code Review Sheets
Requisite Pro database and reports
Target Software Safety Validation Plan
Target Software Requirements Document
Target Software Design Document
Target Source Code w/conditional test code
Target Integration Test Source
Integration Test Plans and Code
Integration Test Procedures
Integration Test Report
Integration Test Project Files
Target Software Unit Test Plans
Target Unit Test scripts
Unit Test Tool Libraries ported to target
Unit Test Project Files
Target Unit Test Procedures
Target Unit Test Reports
Safety Manual
Software Correlation Matrix/Test Coverage Report
Software Life Cycle Environment Configuration Index/Software Configuration Index
Software Accomplishment Summary
Document Review Sheets
Code Review Sheets
Process Review Checklists and Audit Reports
Requisite Pro database and reports
Lint Test, Unit Test & Integration Test Results
Lint static analysis configuration files
Compiler Tool Qualification Plan**
Cantata Tool Qualification Plan**
**SIL 3 or on request

Note: Items listed above are a representative sample and are subject to change.