Sicher und zuverlässig: SmartWard-Klinik-System wird mit Tools von AdaCore entwickelt
ID: 1072273
Paris, 12. Juni 2014 – SmartWard Pty Ltd, australischer Hersteller von IT-Lösungen im Gesundheitswesen, verwendet zur Implementierung seines Management-Systems für die Patientenversorgung die Ada-Entwicklungsumgebung GNAT Pro und das statische Analyse-Tool CodePeer.
SmartWard löst manuelle, papierbasierte Verfahren ab, die zeitaufwändig und fehleranfällig waren. Sie läuft an jedem Point-of-Care, beispielsweise direkt am Patientenbett, auf den entsprechenden Systemen, und bietet jederzeit aktuelle Informationen über geplante Aktivitäten, Patienten-Meldungen oder die Vitalfunktionen; die Behandlungsdokumentation erfolgt damit in Echtzeit. Das System stellt Krankengeschichten in benutzerfreundlichen Diagrammen mit Daten für die Entscheidungsunterstützung dar, es überprüft Medikationen und über intelligente Sensoren automatisch die Identität des Patienten.
Aufgrund seiner Historie des erfolgreichen Einsatzes für die Entwicklung hochsicherheitskritischer Software wurde Ada als Implementierungssprache für das SmartWard-System gewählt. Viele Fehler, die in anderen Sprachen nur durch erheblichen Debugging-Aufwand erkannt werden können, kann Ada schon bei der Kompilierung abfangen. Features wie die in Ada 2012 realisierte vertragsbasierte Programmierung erlauben es, Low-Level-Requirements als Assertions in das Quellprogramm einzubetten, die zur Laufzeit oder statisch überprüft werden können.
Für die Implementierung der SmartWard-Software wird die Entwicklungsumgebung GNAT Pro von AdaCore zusammen mit ergänzenden Werkzeugen verwendet. Mit seiner ausgereiften Daten- und Control-Flow-Analyse hilft CodePeer bei der Identifizierung potenzieller Logikfehler, darunter beispielsweise “Off By 1”-Bugs in Schleifen. Die statische Analyse von CodePeer kann sowohl während der ursprünglichen Entwicklung eines Systems durchgeführt werden als auch rückwirkend, um mögliche Schwachstellen in einem schon vorhandenen Code zu finden. Ein weiteres von SmartWard verwendetes AdaCore-Werkzeug ist der Ada Web Server (AWS), dessen Web-Socket-Implementierung für die Kommunikation zwischen dem Front-End-System des SmartWard und seinem Back-End dient.
"Verschiedene Programmiersprachen haben unterschiedliche Stärken", sagt Cyrille Comar, Managing Director bei AdaCore in Paris. "Ada wurde speziell für Systeme entworfen, bei denen der Begriff 'fataler Fehler' im wahrsten Sinne des Wortes zutrifft. In diesem Sinne ist Ada die richtige Lösung für zuverlässige und sichere medizinische Anwendungen wie bei SmartWard."
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: http://www.adacore.com/home/company/customers/
Sowohl Ada als auch GNAT Pro werden immer häufiger im High-integrity-Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor.
AdaCore hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
Pressekontakte:
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-761
Datum: 13.06.2014 - 17:32 Uhr
Sprache: Deutsch
News-ID 1072273
Anzahl Zeichen: 3148
Kontakt-Informationen:
Ansprechpartner: PR-COM - Romana Redtenbacher
Kategorie:
Information & TK
Meldungsart: Produktinformation
Versandart: Veröffentlichung
Freigabedatum: 12.06.2014
Diese Pressemitteilung wurde bisher 422 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Sicher und zuverlässig: SmartWard-Klinik-System wird mit Tools von AdaCore entwickelt "
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
Intel, Miros und Moxa entwickeln Erkennungssystem für Offshore-Ölverschmutzung ...
Als langjähriger Partner von Intel produziert Moxa branchenführende Computerplattformen für die Industrie. Dabei nutzt Moxa selbst entwickelte, fortschrittliche Hard- und Software-Technologien, um aus Industrieprozessoren das Meiste herauszuholen, mit dem Ziel, robuste Lösungen zu konstruieren,
LinTechs BTLE-Module machen serielle Kommunikation mit iOS-Geräten möglich ...
Berlin, 13. Juni 2014. Ab sofort bietet der Berliner Bluetooth-Spezialist LinTech GmbH neue Bluetooth-Low-Energy-Module an, welche eine serielle Datenübertragung unterstützen. Damit ist jetzt zum Beispiel auch die serielle Kommunikation mit Apples iOS-Geräten wie iPads oder iPhones oder Geräten
LinTechs BTLE-Module machen serielle Kommunikation mit iOS-Geräten möglich ...
Berlin, 13. Juni 2014. Ab sofort bietet der Berliner Bluetooth-Spezialist LinTech GmbH neue Bluetooth-Low-Energy-Module an, welche eine serielle Datenübertragung unterstützen. Damit ist jetzt zum Beispiel auch die serielle Kommunikation mit Apples iOS-Geräten wie iPads oder iPhones oder Geräten
FOCUS-Auszeichnung 2014 - die PrimePeople GmbH gehört zu den besten Personaldienstleistern in der ITK ...
"Wir freuen uns sehr über die diesjährige FOCUS-Auszeichnung in der Kategorie "Professional & Specialist Search", sagte dazu die Geschäftsführerin Irene Bladt. "Unsere konsequente Fokussierung auf die ITK und unsere wertorietiert Vorgehensweise machen dabei unseren Er
