Regulatory Compliance Services

Verocel provides services to customers who wish to achieve regulatory compliance with their software. We have experience with standards and guidance such as RTCA/DO-178C, RTCA/DO-178B, ISO 26262, IEC 61508, IEC 62304 and more. We understand that each customer has specific needs, and our unique approach covers all industries and applications.

Our approach

Verocel, Inc has been in business since 1999 and specializes in software verification.  Our unique skills in certification of software components, partitioning and constraining run-time applications for use in safety critical platforms have enabled dozens of customers to succeed. We have skills in Ada, C, C++, Java and most other higher-order languages.  Verocel can help certify new and existing (legacy) software to any regulatory requirement.

Verocel Standards and Plans

Verocel uses a single set of standards and plans for all projects. This enables us to apply one uniform process to meet regulatory requirements of RTCA/DO-178, IEC 61508, IEC 62304, EN 50128 and ISO 26262.

  • Software Development Plan
  • Software Verification Plan
  • Software Quality Assurance Plan
  • Software Configuration Management Plan
  • Functional Safety Management Plan
  • Software Requirement Standards
  • Software Design Standards
  • Software Code Standards

Certification plans

Verocel develops a certification plan for each customer project. This certification plan (whether a Plan for Software Aspects of Certification (PSAC) for DO-178 or a Safety Plan for ISO 26262) defines the specific objectives and activities that will be used for a given project. This certification plan will identify the exact tools, personnel and any other unique project activities that need to take place to ensure ultimate conformance with the regulatory requirements.

The certification plan will reference other project-specific plans such as a Software Test Plan and planned tool qualification needs and data.  All Verocel projects are supported by its own tools such as the test harness (which automatically reports pass/fail results), VeroTrace Application Lifecycle Management database (which stores and links all the certification records) and VeroSource and VerOCode coverage analysis tools. When all certification activities are complete, the certification records are extracted from the VeroTrace database and written to a hyper-linked electronic image or DVD ROM. This electronic image is provided to the customer to be given to regulatory assessors such as FAA Designated Engineering Representatives (DERs) or ISO 26262 assessors.

Inside Verocel’s Certification Data Package

The electronic image or DVD-ROM produced by Verocel will contain the following data:

  • Certification Plan
  • Process Plans
  • Requirement Standards
  • Design Standards
  • Coding Standards
  • Test Standards
  • Software Change History
  • Problem Report History
  • Vulnerability Analysis
  • Quality Assurance Data
  • Design Description
  • Requirements Specification
  • Test Plan
  • Configuration Index
  • Test Report
  • Safety Manual
  • Software Trace Matrix (hyperlinked)
  • Software Accomplishment Summary
  • Requirements Verification Analysis
  • Source Code
  • Test Procedures
  • Review Records and Results for all life cycle data items
  • Tool Qualification Documentation
  • Test Report
  • Test Coverage Report

Previous Projects

Flight Management System


DO-178, Level B Certification of application software consisting of several hundred thousand lines of code. Included verification of Kalman filter design and complex navigation and performance algorithms.

Partitioned Operating System

aerospace plane in flight

Integrated Modular Avionics operating system to DO-178, Level A. This operating system consisted of 70,000 lines of code and is currently in use on multiple large commercial aircraft including the Boeing 787, 747 and 767 and Airbus A350 and A400M.

Automatic Train Braking System

Automatic train braking system to EN 50128 SIL 3 standards

Wide-Area Augmentation System

Verocel developed and certified the safety computer for the FAA’s Wide-Area Augmentation System (WAAS).

Gap Analysis

Verocel can assist customers with assessing their internal software activities for compliance with DO-178, ISO 26262, IEC 61508 or ISO 62304. A gap analysis helps our customers understand how their current planning and development process align with the objectives of a particular standard. Verocel conducts a comprehensive assessment (typically done in 2-4 days) that includes a planning assessment, development assessment and verification assessment. Verocel performs the required assessments but augments these with others depending on the level of experience of the development team and applicable certification standard and level of safety.

If you’d like to discuss your project needs or would like more information please get in touch