Adacore development platform for artificial heart

2nd March 2018
Source: AdaCore
Posted By : Enaie Azambuja
Adacore development platform for artificial heart

 

AdaCore 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.

AdaCore is presenting its suite of software tools – including Version 18.1 of its industry-leading GNAT Pro, CodePeer, SPARK Pro and QGen products, as well as GNAT Pro Assurance, GNAT Pro Enterprise and GNAT Pro Developer tailored to specific user needs – in Booth # 4-149 at Embedded World 2018.


You must be logged in to comment

Write a comment

No comments




More from AdaCore

Sign up to view our publications

Sign up

Sign up to view our downloads

Sign up

IoT Solutions World Congress 2018
16th October 2018
Spain Barcelona
Engineering Design Show 2018
17th October 2018
United Kingdom Ricoh Arena, Coventry
Maintec 2018
6th November 2018
United Kingdom NEC, Birmingham
electronica 2018
13th November 2018
Germany Messe Munchen
SPS IPC Drives 2018
27th November 2018
Germany Nuremberg