Performance modelling and analysis of real time systems: A review

Proper functioning of any Real Time System depends on both functional and non-functional properties of the system. Validation of functional aspect is usually done after the deployment of the system in the functional environment. But the validation of nonfunctional properties at later stage could lead to the system changes which could be costly at later stage. Early stage evaluation of the nonfunctional properties is beneficial. One of such nonfunctional property of Real Time System considered in this survey is performance. The performance evaluation determines how the system functions when provided with the functional environment. Since it is an early stage prediction, system is presented using artifacts that represent various views of the system from both functional and nonfunctional aspects. This paper highlights some of the works done in past using UML as the standard to provide system specifications and the analysis is performed on the performance model derive from the UML model.

[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.