Verocel

Verocel has been in business since 1999 and specializes in software and complex hardware verification.  Verocel’s management and engineering team expertise has been applied to RTCA/DO-178 and DO-254, IEC 61508, ISO 26262, EN 51028 and IEC 62304 certification standards.  Our unique skills in certification of software components, partitioning and constraining run-time applications for use in safety critical platforms have enabled dozens of customers to succeed. We have skills in Ada, C, C++, Java and most other higher-order languages.
Verocel’s tools enable safety-critical developers to comply with the stringent and arduous certification requirements for software including full life cycle artifact traceability, source and object code coverage analysis, and stack analysis. Verocel has participated in many advisory committees across industries to bolster our knowledge and capabilities and to help drive industry initiatives in certification. We have certified software for use in medical, rail and aerospace applications such as heart monitors, train braking systems and avionics platforms on large commercial and military aircraft.

PRODUCTS FOR THE SOFTWARE DEVELOPMENT LIFECYCLE

Verocel’s broad offering of tools across the development lifecycle help customers 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.

VeroTrace

VeroTrace is a full-featured and qualified application lifecycle 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.

Features:

  • Web-based repository
  • Full bi-directional Traceability
  • Change Impact Analysis
  • Hyperlinked Traceability output
  • Migration capability from other databases and tools
  • Document and file management
  • Problem Report Tracking

Benefits:

  • Reduced cost of compliance
  • Satisfy regulatory requirements of DO-178, IEC 61508, ISO 26262, EN 51028  and ISO 62304
  • Support for distributed teams
  • Data retention for multiple projects

 

VeroSource and VerOCode

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-178, IEC 61508, ISO 26262, EN 51028, ISO 62304 and more, each of which require a degree of structural coverage to ensure no unintended features or functions are present.

Features:

  • Source or object-based coverage
  • No Instrumentation required – test an unadulterated image
  • Easy-to-read annotated coverage listing
  • Qualification Data to support regulatory compliance
  • Statement, Decision or Modified-Condition Decision Coverage

Benefits:

  • Gain insight into any complier-added features or functions
  • Satisfy regulatory requirements of DO-178, IEC 61508, ISO 26262, EN 51028 and ISO 62304

 

VerOLink

VerOLink is 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.

Features:

  • Source or object-based coverage
  • No Instrumentation required – test an unadulterated image

Benefits:

  • Gain insight into any complier-added features or functions

 

PICSIM™ PIC Instruction Set Simulator

The VEROCEL PICSIM™ PIC instruction-level simulator software gives test developers a means to write tests in the Microsoft® Windows® environment that can directly test PIC- based applications.

Verocel GmbH
Emmy-Noether-Str. 11
76131 Karlsruhe
Tel.: +49 721 89310 0
Fax:  +49 721 89310 19
info@verocel.eu