Schmitz | Verteilte Laufzeitverifikation auf eingebetteten Systemen | E-Book | www.sack.de
E-Book

E-Book, Deutsch, 163 Seiten, eBook

Reihe: BestMasters

Schmitz Verteilte Laufzeitverifikation auf eingebetteten Systemen

Logiken und Monitorkonstruktionen für asynchrone Prozesse
1. Auflage 2016
ISBN: 978-3-658-12852-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Logiken und Monitorkonstruktionen für asynchrone Prozesse

E-Book, Deutsch, 163 Seiten, eBook

Reihe: BestMasters

ISBN: 978-3-658-12852-4
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit überwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugehörige Monitorkonstruktionen für den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen Überwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.


Schmitz Verteilte Laufzeitverifikation auf eingebetteten Systemen jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Schmitz, Malte

Weitere Infos & Material

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

Malte Schmitz forschte im Zuge seines Masterstudiums am Institut für Softwaretechnik und Programmiersprachen der Universität zu Lübeck und ist dort heute als wissenschaftlicher Mitarbeiter beschäftigt.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.