Abstract
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).
This research is supported by PROGRESS, the Program for Research on Embedded Systems and Software of the Dutch Organization for Scientific Research NWO, the Dutch Ministry of Economic Affairs and the Technology Foundation STW.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L.J. van Bokhoven. Constructive Tool Design for Formal Languages: From Semantics to Executing Models. PhD thesis, Eindhoven University of Technology, Eindhoven (The Netherlands), 2002.
D. Gajski, F. Vahid, S. Narayan, and J. Gong. Specification and Design of Embedded Systems. Prentice-Hall, Englewood Cliffs, New Jersey (U.S.A.), 1994.
M.C.W. Geilen, J.P.M. Voeten, P.H.A. van der Putten, L.J. van Bokhoven, and M.P.J. Stevens. Modeling and Specification Using SHE. Journal of Computer Languages, 27(3): pp. 19–38, December 2001.
Object Management Group. UML Profile for Schedulability, Performance and Time Specification. OMG Adopted Specification ptc/02-03-02, Object Management Group, March 2002.
P. Kähkipuro. UML-Based Performance Modeling Framework for Component-Based Distributed Systems. In: R. Dumke (Ed.), Proceeding of the 2nd International Conference on the Unified Modeling Language (UML’99), pp. 167–184. Springer (LNCS vol. 2047), 1999.
P.J.B. King and R.J. Pooley. Using UML to Derive Stochastic Petri Net Models. In: N. Davies and J. Bradley (Eds.), Proceedings of the 15th UK Performance Engineering Workshop (UKPEW’99) (Bristol, United Kingdom, July 22–23), pp. 45–56. University of Bristol, Bristol (United Kingdom), 1999.
S. Leue. Specifying Real-Time Requirements for SDL Specifications-A Temporal Logic-based Approach. In: P. Dembinski and M. Sredniawa (Eds.), Protocol Specification, Testing and Verification XV, pp. 19–34. Chapman and Hall, London (United Kingdom), 1997.
R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey (U.S.A.), 1989.
R. Mirandola and V. Cortelessa. UML Based Performance Modeling of Distributed Systems. In: A. Evans, S. Kent, and B. Selic (Eds.), Proceedings of the 3rd Conference on the Unified Modeling Language (UML’00), pp. 178–193. Springer (LNCS vol. 1939), 2000.
K. Pawlikowski, H.D.J. Jeong, and J.S.R. Lee. On Credibility of Simulation Studies of Telecommunication Networks. IEEE Communications Magazine, 40(1): pp. 132–139, 2002.
R.J. Pooley. Using UML to Derive Stochastic Process Algebra Models. In: N. Davies and J. Bradley (Eds.), Proceedings of the 15th UK Performance Engineering Workshop (UKPEW’99) (Bristol, United Kingdom, July 22–23), pp. 23–34. University of Bristol, Bristol (United Kingdom), 1999.
R.J. Pooley and P.J.B. King. The Unified Modeling Language and Performance Engineering. IEE Proceedings-Software, 146(1): pp. 2–10, February 1999.
P.H.A. van der Putten and J.P.M. Voeten. Specification of Reactive Hardware/Software Systems. PhD thesis, Eindhoven University of Technology, Eindhoven (The Netherlands), 1997.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Amsterdam (The Netherlands), 1999.
Schmietendorf and E. Dimitrov. Possibilities of Performance Modeling with UML. In: R. Dumke (Ed.), Proceedings of the 4th Conference on the Unified Modeling Language (UML’01), pp. 78–95. Springer (LNCS vol. 2047), 2001.
Selic. The Real-Time UML Standard: Definition and Application. In: B. Werner (Ed.), Proceedings of the 2002 Design, Automation and Test in Europe Conference and Exhibition (DATE’02), pp. 770–772. IEEE Computer Society, Los Alamitos (U.S.A.), 2002.
Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. Wiley and Sons, New York (U.S.A.), 1994.
B.D. Theelen, J.P.M. Voeten, L.J. van Bokhoven, P.H.A. van der Putten, A.M.M. Niemegeers, and G.G. Jong. Performance Modeling in the Large: A Case Study. In: N. Giambiasi and C. Frydman (Eds.), Proceedings of the 13th European Simulation Symposium (ESS’ 01) (Marseille, France, October 18–21), pp. 174–181. SCS-Europe, Ghent (Belgium), 2001.
B.D. Theelen, J.P.M. Voeten, and Y. Pribadi. Accuracy Analysis of Long-run Average Performance Metrics. In: F. Karelse (Ed.), Proceedings of PROGRESS’ 01 (Veldhoven, The Netherlands, October 18), pp. 261–269. STW Technology Foundation, Utrecht (The Netherlands), 2001.
H.C. Tijms. Stochastic Models; An Algorithmic Approach. John Wiley & Sons, Chichester (England), 1994.
J.P.M. Voeten. Performance Evaluation with Temporal Rewards. Journal of Performance Evaluation, 50(2/3): pp. 189–218, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Theelen, B.D., van der Putten, P.H.A., Voeten, J.P.M. (2003). Using the SHE Method for UML-Based Performance Modeling. In: Villar, E., Mermet, J. (eds) System Specification & Design Languages. Springer, Boston, MA. https://doi.org/10.1007/0-306-48734-9_12
Download citation
DOI: https://doi.org/10.1007/0-306-48734-9_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7414-1
Online ISBN: 978-0-306-48734-7
eBook Packages: Springer Book Archive