Donatech’s Verification expertise includes:

• Embedded avionic, medical device, and transportation
• Embedded medical device systems software design and development
• Structural coverage including statement coverage, decision condition coverage and modified condition decision coverage (MCDC)
• Experience with the most popular and advanced embedded verification tools
• Development and customization of verification tools to enhance re-usability and automation of software, hardware, and systems level testing
• Complete test documentation including planning, traceability, and reporting
• Detailed verification project metrics to determine where and how mistakes were, made to optimize future development
• Onsite and offsite verification