AdaCore, provider of software development and verification tools with headquarters in New York and Paris, has announced that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart.
Scandinavian Real Heart's Total Artificial Heart mimics the way that the natural heart functions to "save patients with heart failure, and give them a better quality of life than the alternatives that are available today," said Fredrik Pahlm, Chief Technology Officer (CTO) and Project Manager at Scandinavian Real Heart.
Scandinavian Real Heart is in the final development phase of the heart pump's motor control software, which is both complicated and truly unique in its ability to adjust to the patient's blood pressure. Real Heart employs AdaCore software solutions throughout its end-to-end embedded software development workflow, including:
- The GNAT Programming Studio (GPS) Integrated Development Environment (IDE) for designing, implementing, and managing applications that demand high reliability,
- The SPARK Pro verification toolset based on formal methods and oriented toward high-assurance systems,
- The GNAT Pro Ada for ARM multi-language development environment for use with ARM processors,
- The GPRbuild advanced build system that helps automate the construction of multi-language systems and
- The GNATstack static analysis tools for stack usage computation.
"Our heart pump has to work uninterrupted throughout the life of the patient," said Professor Lars Asplund, Main Software Architect at Scandinavian Real Heart. "The quality and reliability of all parts of the system are crucial. We want to create software with the highest level of safety, and we know that SPARK together with Ada is the best option."
"The programming tools and programming language were selected considering optimum reliability and quality assurance," added Azad Najar, Scandinavian Real Heart Chief Executive Officer (CEO).
"Innovators like Scandinavian Real Heart continue to choose AdaCore's comprehensive suite of software development and verification solutions, particularly for lifesaving and safety-critical applications," said Jamie Ayre, Commercial Team Lead at AdaCore. "AdaCore provides the open-source tools and libraries embedded systems developers need to craft the most complex software with high assurance, integrity, and reliability while lowering development and verification costs."
AdaCore software solutions have been the software development and verification tools of choice for safety-critical and mission-critical applications for decades. AdaCore continues to advance and adapt its trusted tools to meet the most stringent requirements and high-assurance, high-integrity needs of modern projects across multiple markets.