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.

Affordable – VSC keeps its overhead low in order to give you the best price possible. Unlike vendors that have sales and marketing costs that exceed 30% of their revenue, VSC relies on customer satisfaction and recommendations, so VSC can “afford to be affordable.” VSC always provides flexible, low risk licensing that encourages multiproduct development, standardization and software reuse.

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