Marknadens största urval
Snabb leverans

Verteilte Laufzeitverifikation Auf Eingebetteten Systemen

- Logiken Und Monitorkonstruktionen Fur Asynchrone Prozesse

Om Verteilte Laufzeitverifikation Auf Eingebetteten Systemen

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 ¿erwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.

Visa mer
  • Språk:
  • Tyska
  • ISBN:
  • 9783658128517
  • Format:
  • Häftad
  • Sidor:
  • 163
  • Utgiven:
  • 29. april 2016
  • Utgåva:
  • 12016
  • Mått:
  • 210x148x11 mm.
  • Vikt:
  • 254 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning av Verteilte Laufzeitverifikation Auf Eingebetteten Systemen

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 ¿erwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.

Användarnas betyg av Verteilte Laufzeitverifikation Auf Eingebetteten Systemen



Hitta liknande böcker
Boken Verteilte Laufzeitverifikation Auf Eingebetteten Systemen finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.