Logo des Repositoriums
 
Konferenzbeitrag

Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2012

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Santen, Thomas (2012): Herausforderungen und neue Technologien zur Verifikation nebenläufiger verteilter Systeme. Software Engineering 2012. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-292-5. pp. 17-17. Regular Research Papers. Berlin. 27. Februar - 2. März 2012

Schlagwörter

Zitierform

DOI

Tags