Performance modelling and analysis of real time systems: A review
暂无分享,去创建一个
[1] Huiqun Yu,et al. Modeling UML Sequence Diagrams Using Extended Petri Nets , 2010 .
[2] Simonetta Balsamo,et al. UML-PSI: the UML performance simulator , 2004 .
[3] Daniel T Gillespie,et al. Stochastic simulation of chemical kinetics. , 2007, Annual review of physical chemistry.
[4] Ricardo J. Rodríguez,et al. A Petri net tool for software performance estimation based on upper throughput bounds , 2017, Automated Software Engineering.
[5] Vincenzo Grassi,et al. Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach , 2007, J. Syst. Softw..
[6] Antonio Puliafito,et al. Design and Implementation of a Performance Plug-In for the ArgoUML Tool , 2005, IASTED Conf. on Software Engineering.
[7] Paola Inverardi,et al. Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.
[8] José Merseguer,et al. Performance by unified model analysis (PUMA) , 2005, WOSP '05.
[9] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[10] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[11] Antonio Puliafito,et al. From UML to Petri Nets: The PCM-Based Methodology , 2011, IEEE Transactions on Software Engineering.
[12] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[13] D. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .
[14] Heiko Koziolek,et al. A Model Transformation from the Palladio Component Model to Layered Queueing Networks , 2008, SIPEW.
[15] KoziolekHeiko,et al. The Palladio component model for model-driven performance prediction , 2009 .
[16] Antonio Puliafito,et al. Software Performance Analysis in UML Models , 2005, 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05).
[17] Steffen Becker,et al. The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..
[18] Huiqun Yu,et al. Modeling UML sequence diagrams using extended Petri nets , 2010, 2010 International Conference on Information Science and Applications.
[19] Steffen Becker,et al. Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures , 2015, IEEE Transactions on Software Engineering.
[20] Ferhat Khendek,et al. UML Profiles for Real-Time Systems and their Applications , 2006, J. Object Technol..
[21] Philipp Meier,et al. Automated Transformation of Palladio Component Models to Queueing Petri Nets , 2010 .
[22] Ioan Jurca,et al. Towards early performance assessment based on UML MARTE models for distributed systems , 2009, 2009 5th International Symposium on Applied Computational Intelligence and Informatics.
[23] Jimmy Tirtawangsa,et al. Transformation of UML 2.0 sequence diagram into Coloured Petri Nets , 2014, 2014 International Conference of Advanced Informatics: Concept, Theory and Application (ICAICTA).
[24] Simonetta Balsamo,et al. A simulation-based approach to software performance modeling , 2003, ESEC/FSE-11.