Kunden-News

Das SmartWard-System muss nicht nur sehr zuverlässig arbeiten und absolut sicher sein vor unerlaubten Zugriffen, sondern auch Echtzeit-Reaktionen und 24x7-Verfügbarkeit gewährleisten – dennoch sollte es für das Krankenhauspersonal einfach zu bedienen sein. Nach der Prüfung mehrerer alternativer Ansätze hat das Unternehmen die Programmiersprache Ada und die Software-Entwicklungstools von AdaCore als die beste Lösung für diese Anforderungen evaluiert.

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

Ü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@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany        

PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher@pr-com.de
www.pr-com.de
Tel. +49-89-59997-761