Malte Schmitz

Verteilte Laufzeitverifikation auf eingebetteten Systemen

Logiken und Monitorkonstruktionen für asynchrone Prozesse. 1. Aufl. 2016. XXIII, 163 S. 33 Abbildungen

eBook (pdf), 163 Seiten

EAN 9783658128524

Veröffentlicht April 2016

Verlag/Hersteller Springer Fachmedien Wiesbaden

Auch erhältlich als:

Buch (Softcover)

€ 59,99

€ 46,99 inkl. MwSt.

Auf die Wunschliste

Beschreibung

In seiner Arbeit betrachtet MalteSchmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwachtwerden kann. Dazu untersucht und entwickelt er verschiedene Varianten derlinearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für denEinsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteterSysteme. Als Fallstudie dient dabei die sichere und korrekte Steuerung vonIndustrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaftrealisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektiondurch Programmtransformation im praktischen Einsatz zu evaluieren.DerInhalt Lineare Temporallogik für verteilte Systeme MonitorbarkeitMonitorkonstruktionenMonitorgenerierung in ScalaInstrumentierung von NXC-CodeFallstudien und Benchmarks DieZielgruppen Dozierende und Studierende der Softwaretechnikund theoretischen Informatik Der Autor Malte Schmitz forschteim Zuge seines Masterstudiums am Institut für Softwaretechnik undProgrammiersprachen der Universität zu Lübeck und ist dort heute als wissenschaftlicherMitarbeiter beschäftigt.

Portrait

Malte Schmitz forschteim Zuge seines Masterstudiums am Institut für Softwaretechnik undProgrammiersprachen der Universität zu Lübeck und ist dort heute als wissenschaftlicherMitarbeiter beschäftigt.

Inhaltsverzeichnis

Lineare Temporallogik für verteilteSysteme.- Monitorbarkeit.- Monitorkonstruktionen.- Monitorgenerierung in Scala.-Instrumentierung von NXC-Code.- Fallstudien und Benchmarks.

Technik

Sie können dieses eBook zum Beispiel mit den folgenden Geräten lesen:

• tolino Reader

Laden Sie das eBook direkt über den Reader-Shop auf dem tolino herunter oder übertragen Sie das eBook auf Ihren tolino mit einer kostenlosen Software wie beispielsweise Adobe Digital Editions.

• Sony Reader & andere eBook Reader

Laden Sie das eBook direkt über den Reader-Shop herunter oder übertragen Sie das eBook mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions auf ein Standard-Lesegeräte.

• Tablets & Smartphones

Möchten Sie dieses eBook auf Ihrem Smartphone oder Tablet lesen, finden Sie hier unsere kostenlose Lese-App für iPhone/iPad und Android Smartphone/Tablets.

• PC & Mac

Lesen Sie das eBook direkt nach dem Herunterladen mit einer kostenlosen Lesesoftware, beispielsweise Adobe Digital Editions, Sony READER FOR PC/Mac oder direkt über Ihre eBook-Bibliothek in Ihrem Konto unter „Meine eBooks“ - „Sofort online lesen über Meine Bibliothek“.

Bitte beachten Sie, dass die Kindle-Geräte das Format nicht unterstützen und dieses eBook somit nicht auf Kindle-Geräten lesbar ist.