Modelling with Generalized Stochastic Petri Nets
Modelling with Generalized Stochastic Petri Nets
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Toolbox for Functional and Quantitative Analysis of DEDS
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Simulation: The Practice of Model Development and Use
Simulation: The Practice of Model Development and Use
Repairable Fault Tree for the Automatic Evaluation of Repair Policies
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Metamodeling for Method Engineering
Metamodeling for Method Engineering
Element Based Semantics in Multi Formalism Performance Models
MASCOTS '10 Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.09 |
The usage of models is a fundamental activity in designing and verifying a system. Mastering different modeling techniques and scaling their application to complex systems is not an easy task and requires both advanced skills and proper tools. One of the means that allow modelers to leverage the power of proper modeling techniques (e.g. stochastic techniques) is the application of abstractions by using high level formal modeling languages. This paper presents SIMTHESys, a framework for the development of formal modeling languages and the solution of multiformalism models by automatically generated solvers based on different solving engines.