Boston Scientific Streamline Analysis of Medical Device Software
Boston Scientific Streamline Analysis of Medical Device Software
Customer success: real results with AdaCore technologies
Customer
Boston Scientific manufactures over 13,000 products worldwide. Among these offerings are safety-critical medical devices, including implantable cardiac rhythm management products.
Challenge
Recognizing the importance of static analysis as a complement to dynamic analysis and traditional software testing techniques, Boston Scientific included static analysis in their product development lifecycle; however, many of their static analyses were performed manually. Eager to automate more of their static analysis activities, Boston Scientific‘s engineers explored various options.
Solution
Boston Scientific's engineers weren’t satisfied with the prospect of adopting an “off-the-shelf” tool and using its general-purpose analyses while waiting for the state-of-the-art in domain-specific analysis to evolve. A solution came when they partnered with the CodeSonar team and commissioned the development of a customized analysis suite.
Results and Benefits
“The automated analysis provides a huge amount of leverage in a cost-effective way,” notes Gerald Rigdon, Software Engineering Fellow. “It doesn’t just free up engineers’ time, it also means we can analyze our entire code base more often to ensure that our standards are continuously upheld, and to receive more frequent feedback on our code quality.”
Ready to achieve the same results?
Discover how AdaCore can help you build safe, secure, and high-integrity software tailored to your project’s needs. Speak with our team to explore solutions, pricing, and long-term support options.