Verocel (GERMANY) Company Center
Contact details
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.
VEROCEL Tools:
• 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.
VEROCEL Tools:
• 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.
Products & Services
- Avionics Systems, Instruments and Components (Aerospace)
- Computer Software / Services (Aerospace)
- Consultancy Services (Aerospace)
- Consultancy Services (Space)
- Consultancy Services (Defence)
- IT, Computing and Software (Defence)
- Safety management (Aerospace)
Last update by Eibhlin Ni Riain, Fri 26 Mrch 2010
