You are here: Startseite -  Woolrich Deutschland Shop Leistungen weiter zu verbessern Weckruf ist

Woolrich Deutschland Shop Leistungen weiter zu verbessern Weckruf ist

Woolrich Deutschland Shop

In diesem Beitrag zeigen wir, wie man effizient zu modellieren prüfen eine Teilmenge der TCTLTCTL Eigenschaften für die Zeit Petri-Netz-Modell (TPN-Modell), mit Woolrich Online Hilfe der Zustandsklasse-Methode. Die Prüfung verläuft über die Verstärkung der TPN-Modell unter Analyse mit einer speziellen TPN, die so genannte Alarm -Clock, um die Erfassung von relevanten Zeitereignissen zu ermöglichen. Ein zukunfts on-the-fly Erforschung wird dann auf die resultierende TPN Woolrich Deutschland Shop Zustandsklasse Raum angewendet, um eine zeitgesteuerte Eigenschaft zu überprüfen. Eine Entspannung Operation Zustandsklassen wird auch eingeführt, um die Leistungen weiter zu verbessern. Weckruf ist für alle Objekte, während der Exploration Technik nicht. Drei Explorationstechniken werden vorgestellt, um interessantesten TCTL Eigenschaften zu decken. Wir beweisen die Entscheidbarkeit der Verifikationstechnik für beschränkte TPN Modelle und vergleichen Sie sie mit der in realisiert Erreichbarkeit Algorithmus das Werkzeug UPPAAL [G. Behrmann, J. Bengtsson, A. u0026 nbsp; David, KG Larsen, P. Pettersson, W. Yi, Uppaal Umsetzung Geheimnisse, in :. Proc des 7. Internationalen Symposium über Formale Techniken in Echtzeit und Hochverfügbare Systeme, 2002]. Schließlich geben wir einige experimentelle Ergebnisse, um die Effizienz unserer Verifikationstechnik zeigen.
0 Kommentare


Sprechen Sie Ihre Meinung