Validated Software Corporation provides affordable design, development,
verification, and validation solutions for safety-critical certification

Whether you are new or experienced in the vagaries of embedded safety-critical development, Validated Software has a product to help you meet your goals. We offer off-the-shelf validation artifacts for devices based on other industry standard RTOSs and custom or semi-custom solutions for embedded products of any size, not using an RTOS.

Validated's Solutions for Software Certification

VSC embedded medical - FDA/CDRH 510(k) VSC Avionics - RTCA DO-178C / DO 278

IEC 62304,
FDA/CDRH 510(k)

RTCA DO-178C / DO-278A,

VSC Rail & Transportation - CENELEC EN50128 IEC 61508 VSC Industrial - IEC 61508:2010

IEC 62279, IEC 61508

IEC 61508

With support, for the most popular RTOS on the market – VSC’s no-nonsense and practical approach to software certification and validation will:

  • Save you money
  • Reduce your time to market
  • Reduce your time to money
  • Mitigate your risk


Supported Processors and Toolsets

  • ARM7, ARM9, ARM11
  • ARM Cortex - A, R, M cores
  • Coldfire v1, v2, v3, v4
  • X86 Protected Mode
  • Analog Devices Blackfin/SHARC
  • TI DSPs
  • Renesas R32/M16
  • Most other 32-bit architectures

    Click here for detailed matrix
  • ARM DS-5
  • GNU, GCC
  • IAR Embedded Workbench
  • Visual Studio
  • TI Code Composer
  • Paradigm
  • GHS Multi
  • Wind River Compiler
  • Keil MDK Version 5
  • VisualDSP++
  • CrossCore Embedded Studio
  • Most common compilers