A Framework for Stochastic System Modelling and Analysis

Authors:
Sebastian Menge;Georgios Lajios
Affiliations:
Software Technology, University of Dortmund, Germany;Software Technology, University of Dortmund, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 7
Cited 0

Reliability engineering handbook (vol. 1)

Reliability engineering handbook (vol. 1)
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Channel Occupancy Times and Handoff Rate for Mobile Computing and PCS Networks

IEEE Transactions on Computers
Modelling with Generalized Stochastic Petri Nets

Modelling with Generalized Stochastic Petri Nets
Process algebra and Markov chains

Lectures on formal methods and performance analysis
PRISM: Probabilistic Symbolic Model Checker

TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

Stochastic Graph Transformation combines the benefits of graphical modelling with stochastic analysis techniques. In this paper we report on our framework Sma for Stochastic Modelling and Analysis, and SGT^@?, a tool which uses the framework for Stochastic Graph Transformation.