Verocel, Inc.
234 Littleton Road, Suite 2A
Westford, MA 01886
Phone: +1.978.392.8850 ext 103
FAX: +1.978.392.8501
Email: vcawthron at verocel.com
URL: www.verocel.com
Verocel provides DO-178B focused expertise, services, and qualified certification tools for safety critical software.
VerOCode measures structural coverage on the target computer at the object-code level without special hardware or instrumenting the source code. It is particularly suitable for demonstrating compliance with MCDC objectives.
VerOLink helps satisfy the control-coupling objectives of DO-178B during software integration verification.
VeroTrace gathers requirements and traceability information in a database and links this to a CM system. Certification evidence is saved on a CD-ROM together with hyper-linked traceability information generated in the form of XML or HTML files and checked for completeness and accuracy. The CD-ROM may be browsed using a standard browser.
VerIMAx, is a tool set which can check, generate reports for, and translate XML configuration records to binary structures using a qualified translator. It is designed to help with the configuration of Integrated Modular Avionics systems. It accepts the ARINC 653 schemas and is adaptable through special schema annotations.
VEROCEL can help you with all or part of your software verification process; consulting, mentoring, or full software verification services.