Tools for the software development life cycle

Life Cycle Management with VeroTrace

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

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.

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.

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.

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.