Products

Part of what makes Verocel a lean, efficient, world-class company are products that we have developed over the years that we use every day.

Not only do our tools make our work easier and more efficient, they also provide a view into our work and our results that assure customers and auditors that we are the best at what we do and we provide them access to every corner of our work.

Our tools have been developed to:

• make processes more efficient
• solve specific issues
• make it easier for customers and auditors to evaluate our work
• fulfill objectives more efficiently
• enhance processes with automated, self-checking tools

Requirements/Artifacts Traceability and Life Cycle (VeroTrace)

The backbone of Verocel's world-class processes and results is VeroTrace.  It is so much more than a requirements gathering tool.  VeroTrace is the glue that holds our processes together.

Coverage Analysis (VeroSource, VerOCode)

Our coverage analysis tools, VeroSource and VerOCode help satisfy coverage objectives at all design assurance levels, including the MC/DC objective at Level A.

Control Coupling Analysis (VerOLink)

Along with requirements-based testing and detailed coverage analysis, VerOLink helps satisfy the control coupling objective.

Stack Analysis (VerOStack)

Most stack analysis tools measure worst-case stack depth by tracking a high-water mark during testing.  VerOStack provides a means to perform static and dynamic worst-case stack depth evaluation.

IMA Configuration (VerIMAx)

Integrated Modular Avionics (IMA) systems have extremely complicated XML-based configuration issues.  VerIMAx was designed to coordinate configuration on various levels and check the consistency of the configurations.