{"id":5088,"date":"2018-02-28T09:23:12","date_gmt":"2018-02-28T09:23:12","guid":{"rendered":"https:\/\/engineernewsnetwork.com\/blog\/?p=5088"},"modified":"2018-02-28T09:23:12","modified_gmt":"2018-02-28T09:23:12","slug":"embedded-software-for-artificial-heart","status":"publish","type":"post","link":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/","title":{"rendered":"Embedded software for artificial heart"},"content":{"rendered":"<span class=\"highlight highlight-blue\"><a href=\"http:\/\/www.adacore.com\" target=\"_blank\" rel=\"noopener\">AdaCore<\/a><\/span>, a provider of software development and verification tools, announces that <span class=\"highlight highlight-blue\"><a href=\"http:\/\/realheart.se\" target=\"_blank\" rel=\"noopener\">Scandinavian Real Heart AB<\/a><\/span> in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its Total Artificial Heart.<br \/>\n<script async src=\"\/\/pagead2.googlesyndication.com\/pagead\/js\/adsbygoogle.js\"><\/script><br \/>\n<ins class=\"adsbygoogle\" style=\"display: block; text-align: center;\" data-ad-layout=\"in-article\" data-ad-format=\"fluid\" data-ad-client=\"ca-pub-7565662001938327\" data-ad-slot=\"7585079586\"><\/ins><br \/>\n<script>\n     (adsbygoogle = window.adsbygoogle || []).push({});\n<\/script><br \/>\nScandinavian Real Heart\u2019s Total Artificial Heart mimics the way that the natural heart functions to \u201csave patients with heart failure, and give them a better quality of life than the alternatives that are available today,\u201d said Fredrik Pahlm, Chief Technology Officer (CTO) and Project Manager at Scandinavian Real Heart.<\/p>\n<p><a href=\"https:\/\/engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-5089\" src=\"https:\/\/engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner.png\" alt=\"\" width=\"518\" height=\"541\" \/><\/a><\/p>\n<p>Scandinavian Real Heart is in the final development phase of the heart pump\u2019s motor control software, which is both complicated and unique in its ability to adjust to the patient\u2019s blood pressure.<\/p>\n<p>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,<\/p>\n<p>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.<\/p>\n<p>\u201cOur heart pump has to work uninterrupted throughout the life of the patient,\u201d said Professor Lars Asplund, Main Software Architect at Scandinavian Real Heart. \u201cThe 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.\u201d<\/p>\n<p>\u201cThe programming tools and programming language were selected considering optimum reliability and quality assurance,\u201d added Azad Najar, Scandinavian Real Heart Chief Executive Officer (CEO).<\/p>\n<p>\u201cInnovators like Scandinavian Real Heart continue to choose AdaCore\u2019s comprehensive suite of software development and verification solutions, particularly for lifesaving and safety-critical applications,\u201d said Jamie Ayre, Commercial Team Lead at AdaCore. \u201cAdaCore 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.\u201d<\/p>\n<p>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.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>AdaCore, a provider of software development and verification tools, announces that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its Total Artificial Heart. Scandinavian Real Heart\u2019s Total Artificial Heart mimics the way that the natural heart functions to \u201csave patients with heart failure, &hellip;<\/p>\n","protected":false},"author":1,"featured_media":5089,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[105],"tags":[2771,2772,2773,2775,2778,2776,2770,2777,2774],"class_list":["post-5088","post","type-post","status-publish","format-standard","has-post-thumbnail","","category-design","tag-adacore","tag-artificial-heart","tag-embedded-software","tag-gnat-programming-studio","tag-gprbuild-advanced-build-system","tag-integrated-development-environment","tag-scandinavian-real-heart","tag-spark-pro-verification-toolset","tag-total-artificial-heart"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Embedded software for artificial heart - Engineer News Network<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Embedded software for artificial heart - Engineer News Network\" \/>\n<meta property=\"og:description\" content=\"AdaCore, a provider of software development and verification tools, announces that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its Total Artificial Heart. Scandinavian Real Heart\u2019s Total Artificial Heart mimics the way that the natural heart functions to \u201csave patients with heart failure, &hellip;\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/\" \/>\n<meta property=\"og:site_name\" content=\"Engineer News Network\" \/>\n<meta property=\"article:published_time\" content=\"2018-02-28T09:23:12+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner-e1519809763770.png\" \/>\n\t<meta property=\"og:image:width\" content=\"515\" \/>\n\t<meta property=\"og:image:height\" content=\"312\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#\\\/schema\\\/person\\\/4477342aea8e299c6a21761e513ea8e1\"},\"headline\":\"Embedded software for artificial heart\",\"datePublished\":\"2018-02-28T09:23:12+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/\"},\"wordCount\":406,\"image\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2018\\\/02\\\/realheart-banner-e1519809763770.png\",\"keywords\":[\"AdaCore\",\"Artificial Heart\",\"embedded software\",\"GNAT Programming Studio\",\"GPRbuild advanced build system\",\"Integrated Development Environment\",\"Scandinavian Real Heart\",\"SPARK Pro verification toolset\",\"Total Artificial Heart\"],\"articleSection\":[\"Design\"],\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/\",\"name\":\"Embedded software for artificial heart - Engineer News Network\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2018\\\/02\\\/realheart-banner-e1519809763770.png\",\"datePublished\":\"2018-02-28T09:23:12+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#\\\/schema\\\/person\\\/4477342aea8e299c6a21761e513ea8e1\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2018\\\/02\\\/realheart-banner-e1519809763770.png\",\"contentUrl\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/wp-content\\\/uploads\\\/2018\\\/02\\\/realheart-banner-e1519809763770.png\",\"width\":515,\"height\":312},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/embedded-software-for-artificial-heart\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Embedded software for artificial heart\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#website\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/\",\"name\":\"Engineer News Network\",\"description\":\"The ultimate online news and information resource for today's engineer\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/#\\\/schema\\\/person\\\/4477342aea8e299c6a21761e513ea8e1\",\"name\":\"admin\",\"url\":\"https:\\\/\\\/www.engineernewsnetwork.com\\\/blog\\\/author\\\/admin\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Embedded software for artificial heart - Engineer News Network","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/","og_locale":"en_GB","og_type":"article","og_title":"Embedded software for artificial heart - Engineer News Network","og_description":"AdaCore, a provider of software development and verification tools, announces that Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its Total Artificial Heart. Scandinavian Real Heart\u2019s Total Artificial Heart mimics the way that the natural heart functions to \u201csave patients with heart failure, &hellip;","og_url":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/","og_site_name":"Engineer News Network","article_published_time":"2018-02-28T09:23:12+00:00","og_image":[{"width":515,"height":312,"url":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner-e1519809763770.png","type":"image\/png"}],"author":"admin","twitter_card":"summary_large_image","twitter_misc":{"Written by":"admin","Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#article","isPartOf":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/"},"author":{"name":"admin","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#\/schema\/person\/4477342aea8e299c6a21761e513ea8e1"},"headline":"Embedded software for artificial heart","datePublished":"2018-02-28T09:23:12+00:00","mainEntityOfPage":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/"},"wordCount":406,"image":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#primaryimage"},"thumbnailUrl":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner-e1519809763770.png","keywords":["AdaCore","Artificial Heart","embedded software","GNAT Programming Studio","GPRbuild advanced build system","Integrated Development Environment","Scandinavian Real Heart","SPARK Pro verification toolset","Total Artificial Heart"],"articleSection":["Design"],"inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/","url":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/","name":"Embedded software for artificial heart - Engineer News Network","isPartOf":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#primaryimage"},"image":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#primaryimage"},"thumbnailUrl":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner-e1519809763770.png","datePublished":"2018-02-28T09:23:12+00:00","author":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#\/schema\/person\/4477342aea8e299c6a21761e513ea8e1"},"breadcrumb":{"@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#primaryimage","url":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner-e1519809763770.png","contentUrl":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-content\/uploads\/2018\/02\/realheart-banner-e1519809763770.png","width":515,"height":312},{"@type":"BreadcrumbList","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/embedded-software-for-artificial-heart\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.engineernewsnetwork.com\/blog\/"},{"@type":"ListItem","position":2,"name":"Embedded software for artificial heart"}]},{"@type":"WebSite","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#website","url":"https:\/\/www.engineernewsnetwork.com\/blog\/","name":"Engineer News Network","description":"The ultimate online news and information resource for today's engineer","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.engineernewsnetwork.com\/blog\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Person","@id":"https:\/\/www.engineernewsnetwork.com\/blog\/#\/schema\/person\/4477342aea8e299c6a21761e513ea8e1","name":"admin","url":"https:\/\/www.engineernewsnetwork.com\/blog\/author\/admin\/"}]}},"_links":{"self":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts\/5088","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/comments?post=5088"}],"version-history":[{"count":3,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts\/5088\/revisions"}],"predecessor-version":[{"id":5092,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/posts\/5088\/revisions\/5092"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/media\/5089"}],"wp:attachment":[{"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/media?parent=5088"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/categories?post=5088"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.engineernewsnetwork.com\/blog\/wp-json\/wp\/v2\/tags?post=5088"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}