2014 | OriginalPaper | Buchkapitel
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
verfasst von : Elvio Gilberto Amparore
Erschienen in: Quantitative Evaluation of Systems
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This tool demonstration paper describes a new Graphical User Interface for the interactive modeling and verification of GSPN systems with the stochastic logic CSL
TA
. The GUI provides a modern and fully-featured environment designed around a complete modeling workflow: The user designs a GSPN model, a DTA (automaton describing properties for the CSL
TA
logic), and can simulate the GSPN behavior and the model checking process with an interactive simulation (a sort of “joint token game”). The tool then supports CSL
TA
model-checking and the computation of classical performance indices and qualitative properties. The aim is to provide a state-of-the-art integrated environment for the quantitative and qualitative analysis of GSPNs with the support of GreatSPN solvers and of the MC4CSL
TA
model checker.