• Keine Ergebnisse gefunden

Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme

N/A
N/A
Protected

Academic year: 2022

Aktie "Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme

Thomas Santen

Microsoft Research Advanced Technology Labs Europe Europäisches Microsoft Innovations Center GmbH

Ritterstrasse 23 52072 Aachen thomas.santen@microsoft.com

Abstract: Nebenläufige und verteilt arbeitende Softwaresysteme sind nicht neu.

Betriebssysteme sind seit mehr als 20 Jahren inhärent nebenläufig. Verteilte Datenbanken werden mindestens genauso lange erfolgreich eingesetzt. Neue Entwicklungen wie Multi- und Many-Core Architekturen, Cloud und Ubiquitous Computing oder die immer größer werdenden Anforderungen an Performanz, Energieeffizienz und andere Qualitätseigenschaften stellen jedoch die Effektivität etablierter Qualitätssicherungstechniken in Frage. Insbesondere ist systematisches Testen immer weniger geeignet, die erforderliche Qualität solcher Systeme adäquat und kosteneffizient zu sichern. In dieser Situation stellen leistungsfähige modellbasierte und formale Verifikationstechniken eine attraktive Alternative dar.

Der Vortrag zeigt, wie diese Techniken bereits heute in die industrielle Praxis der Softwareproduktion wirken.

17

(2)

18

Referenzen

ÄHNLICHE DOKUMENTE

Die heutigen Anwender fordern, daß GPS Empfänger überall unter allen Bedingungen ge­.. nau und zuverlässig eingesetzt

● Treffen in Raum OH14/104 zweimal in der Woche möglich. ● Montags 14:00 bis

Der Beitrag befasst sich nach einer motivierenden Einleitung mit den Anforderungen, die speziell durch Logistik-Software an das Cloud Computing gestellt wird.. Es wird

Beschränkt man das Verständnis zu Cloud Computing jedoch nicht ausschließlich auf die Bereitstellung von Infrastruktur, sondern schließt auch Anwendungen, Daten sowie die

Das lernte ich in den letzten anderthalb Jahren und jetzt, als Redakteurin, darf ich mit meinen Kolleginnen über die spannenden Neuerungen der Apothekenwelt ein Heft für

– Zu Kursende steigern sich die Kursteilnehmenden im Stolperwörter-Test um durchschnittlich 0.75 Sätze im Vergleich zum Kursbeginn. Die Wahrscheinlichkeit, dass dieser Unterschied

Eine vom Bundesministerium für Gesundheit und So- ziale Sicherung geförderte Studie über ernäh- rungsabhängige Krankheiten und ihre Kosten aus dem Jahre 1993 weist für das Jahr

 TRGS 410 - Expositionsverzeichnis für krebserzeugende und mutagene Stoffe der Kategorie 1a und 1b..  Der