Kompetenzatlas Luft - Forum Luft- und Raumfahrt Baden-Württemberg

Verocel specialises in software verification
according to DO-178B/C and other safety related
standards. Verocel offers verification
services, consulting, training and tools. Verocel
also specialises in single-handedly develop ing
software project certification packages, compliant
with DO-178B – all for a fixed price, with
guaranteed certification. The whole package
comes as a DVD with hyperlinks.
Verocel’s tools are tried and tested in a wide
range of verification processes such as lifecycle
management and requirements traceability,
structural coverage analysis for source
or object code, worst-case stack size analysis,
control coupling analysis and XML-based
configuration of IMA systems. Verocel also
develops custom-made tools.
Verocel software verification: diligent, reliable
and cost-effective.
Facts & Figures (2010)
Employees 50
Turnover 6 mill. €
Certifications TÜV IEC 61508
References Airbus, Boeing, EADS,
GE Aviation, TTTech,
Wind River