Download Verteilte Laufzeitverifikation auf eingebetteten Systemen: by Malte Schmitz PDF

By Malte Schmitz

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.

Show description

Read Online or Download Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse (BestMasters) (German Edition) PDF

Similar general books

Computer Science and its Applications: CSA 2012: 203 (Lecture Notes in Electrical Engineering)

The 4th FTRA foreign convention on desktop technology and its purposes (CSA-12) may be held in Jeju, Korea on November 22~25, 2012. CSA-12 could be the so much finished convention desirous about a few of the points of advances in desktop technological know-how and its applications. CSA-12 will provide a chance for educational and execs to debate the most recent matters and growth within the sector of CSA.

Rapid BeagleBoard Prototyping with MATLAB and Simulink

In DetailAs an open resource embedded single-board computing device with many commonplace interfaces, Beagleboard is perfect for construction embedded audio/video structures to gain your sensible principles. The problem is the way to layout and enforce an exceptional electronic processing set of rules on Beagleboard quick and simply with out in depth low-level coding.

Hardware Security: Design, Threats, and Safeguards

Starting with an advent to cryptography, safety: layout, Threats, and Safeguards explains the underlying mathematical rules had to layout advanced cryptographic algorithms. It then offers effective cryptographic set of rules implementation equipment, besides cutting-edge learn and techniques for the layout of very huge scale built-in (VLSI) circuits and symmetric cryptosystems, entire with examples of complicated Encryption typical (AES) ciphers, uneven ciphers, and elliptic curve cryptography (ECC).

Big Data Analytics and Knowledge Discovery: 19th International Conference, DaWaK 2017, Lyon, France, August 28–31, 2017, Proceedings (Lecture Notes in Computer Science)

This booklet constitutes the refereed complaints of the nineteenth International Conference on significant facts Analytics and data Discovery, DaWaK 2017, held in Lyon, France, in August 2017. The 24 revised complete papers and eleven brief papers awarded have been conscientiously reviewed and selected from ninety seven submissions. The papers are geared up within the following topical sections: new iteration information warehouses layout; cloud and NoSQL databases; complicated programming paradigms; non-functional standards delight; computer studying; social media and twitter research; sentiment research and person impression; wisdom discovery;  and info move administration and optimization.

Additional info for Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse (BestMasters) (German Edition)

Sample text

Download PDF sample

Rated 4.11 of 5 – based on 17 votes