“We believe that safety critical software requires the care, attention, and rigor necessary to be confident that such systems will not fail.”

George Romanski, President and Co-Founder of Verocel, Inc.

 

Verocel provides expertise and services for Software Verification in the safety critical software industry.  The Verocel staff has extensive experience providing safety critical software services in the Avionics, Nuclear, and Railway industries.  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 and Safety Critical Software

 

Software plays a pivotal role in the control of current and future safety critical systems.  A level of trust is placed on such software.  The degree of this trust depends on the magnitude and impact of problems that could occur if the software was to malfunction.

 

Verocel understands the basis for establishing this trust depends on many elements of evidence derived from software development and verification: evidence must be produced, recorded, checked, catalogued, and re-checked, and this must be done in a tightly controlled and methodical manner to comply with regulations dictated by certification authorities.  These regulations specify the objectives that must be met according to the assurance level of the software, for both development and verification activities.

 

Verocel has extensive expertise with RTCA/DO-178B Software Considerations in Airborne Systems and Equipment Certification.  Our staff has been involved in a number DO-178B software certification projects.  Our processes, standards, and plans are written to support Level A certification.

 

 

What sets Verocel apart?

 

Verocel has a world-class management team

 with decades of accumulated experience verifying safety critical software.  Our engineering department has developed a tool suite unique in the industry:

 

VeroTrace	allows you to manage the production and review of certification traceability data.
VeroStyle	renders your XML data into a document using a "stylesheet".
VerOCode	allows you to measure structural coverage on the target computer at the object code level without instrumenting the source code or using special hardware.
VerOLink	helps you satisfy the control coupling objectives of DO-178B.

 

Click here for more information about what sets Verocel and its tool suite apart.

 

 

How did Verocel Come to Be?

 

Click here for an insight into how Verocel evolved into the company it is today.

 

 

Verocel Can Help!

 

-                    If you already have a certification process and are producing a new or upgraded product…

 

-                    If you have a product developed under a different, perhaps less stringent standard, and need to supplement the product’s verification evidence…

 

-                    If you want to outsource your software verification activities…

 

Verocel Can Help!

 

gate.io app

 

 

Copyright © 2000 - 2009 Verocel, Inc.

ALL RIGHTS RESERVED.  No part of this publication may be copied in any form, by photocopy, microfilm, retrieval system, or by any other means now known or hereafter invented without the prior written permission of Verocel, Inc.

VeroTrace, VerOLink, VeroStyle, VerOCode, Verocel, and the Verocel logos are trademarks of Verocel, Inc.