Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Verteilte Laufzeitverifikation Auf Eingebetteten Systemen

Logiken Und Monitorkonstruktionen Fur Asynchrone Prozesse

Verteilte Laufzeitverifikation Auf Eingebetteten Systemen - Schmitz, Malte - ISBN: 9783658128517
Prijs: € 64,30
Levertijd: 4 tot 6 werkdagen
Bindwijze: Boek
Genre: Informatica & management
Boekenliefde.nl:
Add to cart

Beschrijving

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.

Details

Titel: Verteilte Laufzeitverifikation Auf Eingebetteten Systemen
auteur: Schmitz, Malte
Mediatype: Boek
Taal: Duits
Aantal pagina's: 163
Uitgever: Springer Vieweg
Plaats van publicatie: DE
NUR: Informatica & management
Afmetingen: 210 x 148 x 11
Gewicht: 254 gr
ISBN/ISBN13: 9783658128517
Intern nummer: 33857665

Inhoudsopgave

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

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.