Full Verification Services
Verocel provides full verification services for software projects of any size or complexity. We can support the verification of a new project from its inception or we can develop the necessary verification requirements, artifacts, and documentation for an existing project.
Verocel guarantees the work we perform will be acceptable to your certification authority or we'll fix it at no additional charge.
We know of no one else that works this way. Why doesn't everyone work this way?
New Software Development
So you're going to develop this remarkable software widget that will be perfect for the latest aircrafts under development. And you have learned that before your software can fly on those aircrafts, it has to be certified by the FAA under something called DO-178B. But you don't have any certification experience and have never heard of DO-178B. Verocel has certification plans, processes, and standards that have been approved on all levels of FAA certification under DO-178B. Working in partnership, we can guide you on the use of our plans, processes, and standards to make your project a success. We can provide you with the tools we have developed that are designed to work with our proven processes. Partnering with Verocel will ensure that your software development will be successfully linked to project verification artifacts; thus when the project is complete, the verification is complete.
On the other hand, if you've decided, as many companies do, that your expertise is in widget development, you may want to leave the verification to verification experts. Verocel can work in tandem with your development team to create verification artifacts and help guide your processes on the path toward successful certification.
Re-engineering Existing Software
So you've already created this remarkable software widget and have realized that it's perfect for the latest aircrafts under development. But you have learned that before your software can fly on those aircrafts, it has to be certified by the FAA under something called DO-178B. You've decided, wisely, that your expertise is in widget development and that it is best to leave the verification to verification experts. Verocel has approved techniques for re-engineering requirements and verification artifacts for existing projects.
Re-engineering is not simply creating requirements from existing software and then tracing existing design and functional tests to the requirements.
Instead....
Proper re-engineering requires a careful study and understanding of the software for which requirements are written that describe the intent of the software functionality, not what it's already doing.
Per Verocel standard processes, an engineer will write requirements to describe the intent of the software functionality, and then those requirements are reviewed by yet another engineer. This independent authorship and review is performed for all re-engineering projects even when the certification design assurance level does not require it.
We write our requirements at such a detail level that robustness and coverage test conditions can be completely exercised when the functional tests are correctly written against the requirements. As a result, our coverage testing is a matter of re-running our functional tests in coverage mode.