Using the SHE Method for UML-Based Performance Modeling

The design of complex real-time distributed hardware/software systems commonly involves evaluating the performance of several design alternatives. Early in the design process, it is therefore desirable that design methods support constructing abstract models for the purpose of analysis. Recent extensions to the Unified Modeling Language (UML) that enable specifying schedulability, performance and time provide a means to start developing such models directly after defining the concepts and requirements of a system. However, UML hampers the evaluation of performance properties because this requires constructing executable models with a modeling language that supports application of mathematical analysis techniques. In this paper, we present how the Software/Hardware Engineering (SHE) method can be used for the performance modeling of real-time distributed hardware/software systems. Starting from a UML specification, SHE enables constructing formal executable models based on the expressive modeling language POOSL (Parallel Object-Oriented Specification Language).

[1]  M. P. J. Stevens,et al.  Object-oriented modelling and specification using SHE , 2001, Comput. Lang..

[2]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[3]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[4]  Jpm Jeroen Voeten,et al.  Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .

[5]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[6]  Bran Selic.  The real-time UML standard: definition and application , 2001, Proceedings 3rd International Symposium on Distributed Objects and Applications.

[7]  Rob Pooley,et al.  Using UML to Derive Stochastic Process Algebra Models , 1999 .

[8]  Pekka Kahkipuro.  UML-Based Performance Modeling Framework for Component-Based Distributed Systems , 2001, Performance Engineering.

[9]  W. D. Ray,et al.  Stochastic Models: An Algorithmic Approach , 1995 .

[10]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[11]  W. F. Dean.  Bittner, John R.,Mass Communication: An Introduction, Englewood Cliffs, New Jersey, Prentice-Hall, 1977 , 1978 .

[12]  Krzysztof Pawlikowski,et al.  On credibility of simulation studies of telecommunication networks , 2002, IEEE Commun. Mag..

[13]  Piotr Dembiński,et al.  Protocol Specification, Testing and Verification XV , 1996, IFIP Advances in Information and Communication Technology.

[14]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[15]  Jeroen Voeten,et al.  Performance evaluation with temporal rewards , 2002, Perform. Evaluation.

[16]  Raffaela Mirandola,et al.  UML Based Performance Modeling of Distributed Systems , 2000, UML.

[17]  Bd Bart Theelen,et al.  Accuracy analysis of long-run average performance metrics , 2001 .

[18]  Andreas Schmietendorf,et al.  Possibilities of Performance Modelling with UML , 2001, Performance Engineering.

[19]  Peter King Rob Pooley,et al.  Using UML to Derive Stochastic Petri Net Models , 1999 .

[20]  Stefan Leue,et al.  Specifying real-time requirements for SDL specifications - a temporal logic-based approach , 1995, PSTV.

[21]  Bd Bart Theelen,et al.  Performance modeling in the large : a case study , 2001 .