Abstract
Software design methodologies are incorporating non functional features on design system descriptions. MASCOT which has been a traditional design methodology for European defence companies has no performance extension. In this paper we present a set of performance annotations to the MASCOT methodology, called MASCOTime. These annotations are extending the MDL (MASCOT Description Language) design components transparently. Thus, in order to evaluate the performance of the annotated software designs, a discrete-event simulator prototype is also introduced. The prototype has been implemented with Java objects which are isomorphic to the MASCOTime components. Several examples of MASCOTime models and simulation results are also shown.
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
Allen, A.O.: Probability, Statistics and Queueing Theory with Computer Science Applications, 2nd edn. Academic Press, London (1990)
Allworth, S.T., Zobel, R.N.: Introduction to Real-time Software Design. Macmillan Education, Basingstoke (1987)
Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, 95–102 (May 1986)
Cooling, J.E.: Real-Time Software Systems. In: An Introduction to Structured and Object-oriented Design, International Thomson Computer Press (1997)
Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software Performance Modeling using PEPA Nets. In: Proceedings of WOSP 2004, pp. 13–23. ACM press, New York (2004)
Gomaa, H.: Software Design Methods for Concurrent and Real-time Systems. In: Habermann, N. (ed.) The SEI Series in Software Engineering, Addison-Wesley, Reading (1993)
Harding, M.D.: MASCOT DESIGN GENERATOR (MADGE) v.6.0. Release Notification, n. 5096, issue 11 (November 1998)
Harrison, P.G., Patel, N.M.: Performance Modelling of Communication Networks and Computer Architectures. In: McGettrick, A.D. (ed.). International Computer Science Series, Addison-Wesley, Wokingham (1993)
Joint IECCA and MUF Committee. The Official Handbook of MASCOT (1987)
Juiz, C., Puigjaner, R., Perros, H.G.: Performance Analysis of Multi-Class Data Transfer Elements in Soft Real-Time Systems using Semaphore Queues. In: Gelenbe, E. (ed.) System Performance Evaluation: Methodologies and Applications, pp. 275–289. CRC Press, Boca Ratón (2000)
Juiz, C., Puigjaner, R.: Performance modelling of pools in soft real-time design architectures. Simulation Practice and Theory 9(3,5), 215–240 (2002)
Juiz, C., Puigjaner, R., Jackson, K.: Performance evaluation of channels for large real-time software systems. In: Proceedings of ECBS 1998, pp. 69–76. IEEE Computer Society, Los Alamitos (1998)
Juiz, C., Puigjaner, R., Jackson, K.: Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol. 2047, pp. 300–316. Springer, Heidelberg (2001)
Law, A.M., Kelton, D.W.: Simulation Modelling and Analysis, 3rd edn. McGraw-Hill Higher Education, New York (2000)
Lopez-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams To Stochastic Petri Nets: Application To Software Performance Engineering. In: Proceedings of WOSP 2004, pp. 25–36. ACM press, New York (2004)
Marse, K., Roberts, S.D.: Implementing a Portable Fortran Uniform (0,1) Generator. Simulation 41, 135–139 (1983)
MBDA web site: http://www.mbda.net/
Munar, O., Juiz, C.: Adapting MASCOT to software performance engineering using object-oriented simulation. In: ASTC, Proceedings of IEEE Computer Society, pp. 281–288 (2003)
Savino, N., Anciano, J.L., Juiz, C.: Unified System Builder through Interacting Blocks (USBIB) for Soft Real-time Systems. In: Proceedings of WOSP 2002, pp. 83–90. ACM Press, New York (2002)
Wu, X., Woodside, M.: Performance Modeling from Software Components. In: Proceedings of WOSP 2004, pp. 290–301. ACM Press, New York (2004)
Simpson, H.R.: The Mascot method. Software Engineering Journal, 103–120 (May 1986)
Simpson, H.R.: Protocols for Process Interaction. 1, 2, 3. Matra BAe Dynamics (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sancho, P.P., Juiz, C., Puigjaner, R. (2004). Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-30233-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23169-1
Online ISBN: 978-3-540-30233-9
eBook Packages: Springer Book Archive