Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse
Author:   Malte Schmitz
Publisher:   Springer Fachmedien Wiesbaden
Edition:   1. Aufl. 2016
ISBN:  

9783658128517


Pages:   163
Publication Date:   29 April 2016
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $171.57 Quantity:  
Add to Cart

Share |

Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen für asynchrone Prozesse


Add your own review!

Overview

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.

Full Product Details

Author:   Malte Schmitz
Publisher:   Springer Fachmedien Wiesbaden
Imprint:   Springer Vieweg
Edition:   1. Aufl. 2016
Dimensions:   Width: 14.80cm , Height: 1.10cm , Length: 21.00cm
Weight:   0.454kg
ISBN:  

9783658128517


ISBN 10:   3658128518
Pages:   163
Publication Date:   29 April 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.
Language:   German

Table of Contents

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

Reviews

Author Information

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.  

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now