Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken un
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 d
- PDF / 1,581,928 Bytes
- 186 Pages / 419.58 x 595.28 pts Page_size
- 84 Downloads / 135 Views
Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse
BestMasters
Weitere Informationen zu dieser Reihe finden Sie unter http://www.springer.com/series/13198
Mit „BestMasters“ zeichnet Springer die besten Masterarbeiten aus, die an renommierten Hochschulen in Deutschland, Österreich und der Schweiz entstanden sind. Die mit Höchstnote ausgezeichneten Arbeiten wurden durch Gutachter zur Veröffentlichung empfohlen und behandeln aktuelle Themen aus unterschied lichen Fachgebieten der Naturwissenschaften, Psychologie, Technik und Wirtschaftswissenschaften. Die Reihe wendet sich an Praktiker und Wissenschaftler gleichermaßen und soll insbesondere auch Nachwuchswissenschaftlern Orientierung geben.
Malte Schmitz
Verteilte Laufzeitverifikation auf eingebetteten Systemen Logiken und Monitorkonstruktionen für asynchrone Prozesse Mit einem Geleitwort von Prof. Dr. Martin Leucker
Malte Schmitz Lübeck, Deutschland
BestMasters ISBN 978-3-658-12851-7 ISBN 978-3-658-12852-4 (eBook) DOI 10.1007/978-3-658-12852-4 Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar. Springer Vieweg © Springer Fachmedien Wiesbaden 2016 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Der Verlag, die Autoren und die Herausgeber gehen davon aus, dass die Angaben und Informationen in diesem Werk zum Zeitpunkt der Veröffentlichung vollständig und korrekt sind. Weder der Verlag noch die Autoren oder die Herausgeber übernehmen, ausdrücklich oder implizit, Gewähr für den Inhalt des Werkes, etwaige Fehler oder Äußerungen. Gedruckt auf säurefreiem und chlorfrei gebleichtem Papier Springer Vieweg ist Teil von Springer Nature Die eingetragene Gesellschaft ist Springer Fachmedien Wiesbaden GmbH
Geleitwort
Industrie 4.0 bedeutet die automatische integrierte und kosteneffiziente Erstellung von Gütern. Essentiell für die Industrie 4.0 ist die sichere und korrekte Steuerung von Industrieanlagen. Im Rahmen seiner Masterarbeit hat Herr Schmitz die Grundlagen für eine derartige Steuerung mit Hilfe von innovativen Überwachungskonzepten zur Laufzeit von Industrieanlagen gelegt. Er hat seine Konzepte modellhaft mit Hilfe von LEGO Mindstorms visualisiert, um neben den theoretischen Grundlagen insbesondere auch die praktische Anwendung transparent machen zu könne
Data Loading...
