Verification Support

Verification of software is often overlooked, under-budgeted, under-staffed, and painful. However it's vital for any exposure to the real world. Generally, if it is planned for and incorporated into project planned at the beginning, and developed in conjunction with the design and implemenation, the testing program goes smoothly throughout. There are many new technologies that can help automate parts of the job. There are emerging techniques such as assurance cases or dependability cases that can help better justify the trustworthiness of the system when it is ready for certification and deployment. We're familiar with these tools and techniques – everything from safety requirements and hazard analysis to the production of safety case arguments – and can help you deploy them in your development projects.