Tools for the software development life cycle

Reduce risk and cost while improving quality, efficiency and time-to-market. Our solutions enable customers to maintain a living repository of complete software lifecycle data, from requirements, design, coding, testing and coverage analysis for one project or many projects.

Life Cycle Management with VeroTrace

VeroTrace logo

A full-featured and qualified application life cycle management (ALM) tool that ensures complete control and configuration of requirements, design, source code, test cases and results along with evidence of associated quality controls and reviews.

Coverage Analysis with VerOCode and VeroSource

VeroCode logo

These products enable reporting of structural coverage at either the source level or the object (machine level) when executing requirements-based tests. Satisfy the regulatory requirements of DO-178C, IEC 61508, ISO 26262, ISO 62304 and more, each of which require a degree of structural coverage to ensure no unintended features or functions are present.

Control Coupling Analysis with VerOLink

VeroLink logo

A verification tool that “Verifies Object Linking” and helps developers ensure correct integration of their final image. VerOLink provides additional confidence that no unwanted object files are in the final image as well as proving that the linker did its job properly.

Stack Analysis with VerOStack

VeroStack Logo

Safety standards such as DO-178, IEC 61508 and ISO 26262, depending upon the safety level may require application developers to prove that computing resources are not exhausted under all foreseeable conditions. VerOStack helps developers understand how their application makes use of computing resources and demonstrate that under worst-case conditions the application can meet its design level of assurance.

PIC Instruction Set Simulators

Verocel has developed and qualified an instruction set simulator for the Microchip PIC® family of microcontrollers. The instruction set simulator enables developers to build, test and certify their software on a Windows® PC and avoiding the limitations of testing on the actual target hardware.