The software architecture of the OsMoSys multisolution framework
暂无分享,去创建一个
Francesco Flammini | Valeria Vittorini | Mauro Iacono | Stefano Marrone | Francesco Moscato | G. Di Lorenzo
[1] Giovanni Chiola,et al. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.
[2] Valeria Vittorini,et al. Workflow principles applied to multi-solution analysis of dependable distributed systems , 2004, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings..
[3] William H. Sanders,et al. The Möbius Framework and Its Implementation , 2002, IEEE Trans. Software Eng..
[4] Peter Buchholz,et al. A Toolbox for Functional and Quantitative Analysis of DEDS , 1998, Computer Performance Evaluation.
[5] Stefano Marrone,et al. Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys , 2004, ICATPN.
[6] Stefano Marrone,et al. Using repairable fault trees for the evaluation of design choices for critical repairable systems , 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).
[7] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.
[8] Valeria Vittorini,et al. Multisolution of complex performability models in the OsMoSys/DrawNET framework , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[9] Kishor S. Trivedi,et al. Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.
[10] Francesco Flammini,et al. Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks , 2006 .
[11] Joost-Pieter Katoen,et al. The Modest Modeling Tool and Its Implementation , 2003, Computer Performance Evaluation / TOOLS.
[12] Wang Yi,et al. UPPAAL - present and future , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[13] Giuliana Franceschinis,et al. Defining formalisms and models in the Draw-Net Modeling System , 2006 .
[14] Valeria Vittorini,et al. Repairable fault tree for the automatic evaluation of repair policies , 2004, International Conference on Dependable Systems and Networks, 2004.
[15] Valeria Vittorini,et al. The OsMoSys approach to multi-formalism modeling of systems , 2004, Software & Systems Modeling.
[16] Kishor S. Trivedi. SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator , 2002, Proceedings International Conference on Dependable Systems and Networks.