Verocel offers expertise, services, consulting, and tools for the verification of software according to DO-178B and related standards. We have extensive experience in safety critical software services in the Avionics industry. Our services include the development and review of software plans and standards, software requirement and test development, software structural coverage analyses, life cycle data traceability, and outsource support.
• VeroTrace Verification life-cycle management and requirements traceability. • VerOCode, VeroSource, VeroSource-A Coverage analysis tools for object code, source code and MCDC coverage. • VeroLink Control coupling analysis for DO-178B. • VerIMAx XML based configuration of IMA systems. • VerOStack Stack usage analysis.