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.
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.
Kaufen Sie hier:
Horizontale Tabs
Weitere E-Books zum Thema: Software-Design - Softwareentwicklung
Architektur-Design und Prozessorientierung Format: PDF
Das Lehrbuch behandelt alle Aspekte der Software-Entwicklung, besonders aber Methoden und Richtlinien zur Herstellung großer und qualitativ hochwertiger Softwareprodukte. Es vermittelt das zur…
Architektur-Design und Prozessorientierung Format: PDF
Das Lehrbuch behandelt alle Aspekte der Software-Entwicklung, besonders aber Methoden und Richtlinien zur Herstellung großer und qualitativ hochwertiger Softwareprodukte. Es vermittelt das zur…
Effizfientes Framework - Vom Design zur Implementierung Format: PDF
Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und…
Effizfientes Framework - Vom Design zur Implementierung Format: PDF
Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und…
Effizfientes Framework - Vom Design zur Implementierung Format: PDF
Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und…
Effizfientes Framework - Vom Design zur Implementierung Format: PDF
Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und…
Effizfientes Framework - Vom Design zur Implementierung Format: PDF
Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und…
Effizfientes Framework - Vom Design zur Implementierung Format: PDF
Die Entwicklung hochkomplexer automotiver Infotainmentsysteme bestehend aus einer Headunit und weiteren Komponenten wie Audio- und Videoelementen, Kommunikationseinheiten, Navigationssystemen und…
Konzepte, Schnittstellen, Technologien Format: PDF
Seit kurzem forciert SAP die Verbreitung der Netweaver-Technologie und initiiert damit eine Gleichstellung von Java und ABAP als Sprachen zur SAP-Programmierung. Dieses Buch leistet einem erfahrenen…
Konzepte, Schnittstellen, Technologien Format: PDF
Seit kurzem forciert SAP die Verbreitung der Netweaver-Technologie und initiiert damit eine Gleichstellung von Java und ABAP als Sprachen zur SAP-Programmierung. Dieses Buch leistet einem erfahrenen…
Seit 1975 fördert die ›Allgemeine Zeitschrift für Philosophie‹ mit jährlich drei Heften den professionellen Gedankenaustausch aller am philosophischen Denken Interessierten. Inhaltlich ist die ...
Das Amtsblatt des Landkreises Wunsiedel i.Fichtelgebirge. Lesen Sie Bekanntmachungen, Änderungen von Satzungen und Festlegungen. Im Amtsblatt des Landkreises Wunsiedel i. Fichtelgebirge geht es ...
Medizin und Gesundheit Aktuell zu Konzepten, Forschung, Therapie, Diagnostik und Klinik
Seit April 1991 erscheint regelmäßig eine monatliche Fachzeitschrift für den jungen niedergelassenen ...
»Berufsstart Bewerbung« erscheint jährlich zum Wintersemester im November mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...
BIBEL FÜR HEUTE ist die Bibellese für alle, die die tägliche Routine durchbrechen wollen: Um sich intensiver mit einem Bibeltext zu beschäftigen. Um beim Bibel lesen Einblicke in Gottes ...
Informationsdienst für die Spielwarenbranche
Seit 1980 ist der „BRANCHENBRIEF INTERNATIONAL - Spielzeugbranche aktuell" der Informationsdienst der Spielwarenbranche, bekannt unter dem Kürzel ...
care konkret ist die Wochenzeitung für Entscheider in der Pflege. Ambulant wie stationär. Sie fasst topaktuelle Informationen und Hintergründe aus der Pflegebranche kompakt und kompetent für Sie ...
Internationale Fachzeitschrift für Küchenforschung und Küchenplanung.
Mit Fachinformationen für Küchenfachhändler, -spezialisten
und -planer in Küchenstudios, Möbelfachgeschäften und den ...
Bau und Einsatz von Werkzeugmaschinen für spangebende und spanlose sowie abtragende und umformende Fertigungsverfahren.
dima - die maschine - bietet als Fachzeitschrift die Kommunikationsplattform ...
Das Fachmagazin building & automation bietet dem Elektrohandwerker und Elektroplaner eine umfassende Übersicht über alle Produktneuheiten aus der Gebäudeautomation, der Installationstechnik, dem ...
