Validated Software Corporation provides affordable
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 solution for you. We offer off-the-shelf solutions for products based on the uC/OS and ThreadX RTOSs and custom or semi-custom solutions for products of any size using any RTOS or no 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 depends on customer satisfaction and word of mouth so that VSC can “afford to be affordable.” VSC provides flexible and low risk licensing that encourage multiproduct development, standardization and software reuse.

Validated's Solutions for Software Certification

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

IEC 62304,
FDA/CDRH 510(k)

RTCA DO-178C and
DO-178B / DO-278,

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
  • TI DSPs
  • AVR32
  • Renesas R32/M16
  • Most other 32-bit architectures

    Click here for detailed matrix
  • GNU, GCC
  • IAR Embedded Workbench
  • Visual Studio
  • TI Code Composer
  • Paradigm
  • GHS Multi
  • Wind River Compiler
  • Renesas, IAR, GNU
  • Keil uVision
  • Most common compilers