Verocel, Inc.

Verocel (www.verocel.com) provides expertise and services for software verification in the safety-critical software industry.  With a strong presence in the U.S. and in Europe, Verocel has extensive experience providing safety-critical software services in the avionics, nuclear, and railway industries.  Services include development and review of software plans and standards, software requirement and test development, software structural coverage analyses, life cycle data traceability, and outsourced certification support.
 
In addition to consulting services, Verocel has a suite of tools that makes developing certification materials considerably more efficient.  The Verocel tool suite automates the labor-intensive, manual processes required for software certification and approval. The tools include VeroSourceTM, VerOCodeTM, VerOStackTM and VerOLinkTM.  VeroTraceTM can automatically generate additional traceability artifacts and documents, and manage all these related artifacts in a configuration management (CM) system.  Verocel’s VeroTrace tool has received praise from FAA designated engineering representatives (DERs) for its ability to automate the development and management of traceability artifacts and documents, making their auditing job much easier.