Zusammenfassung
In diesem Kapitel werden Monitorkonstruktionen für die im letzten Kapitel betrachteten Logiken angegeben. Dabei ist das Ziel, für eine Formel in DTL entsprechende Monitore für die jeweiligen Agenten zu generieren und die Kommunikation dieser Monitore anzugeben. Wir werden dazu zunächst Monitorkonstruktionen für ptLTL und LTL3 betrachten, um darauf aufbauend Monitore für DTL-Formeln zu generieren.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Schmitz, M. (2016). Monitore. In: Verteilte Laufzeitverifikation auf eingebetteten Systemen. BestMasters. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-12852-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-658-12852-4_3
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-12851-7
Online ISBN: 978-3-658-12852-4
eBook Packages: Computer Science and Engineering (German Language)