Skip to main content

Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation

  • Conference paper
Applying Formal Methods: Testing, Performance, and M/E-Commerce (FORTE 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3236))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, A.O.: Probability, Statistics and Queueing Theory with Computer Science Applications, 2nd edn. Academic Press, London (1990)

    MATH  Google Scholar 

  2. Allworth, S.T., Zobel, R.N.: Introduction to Real-time Software Design. Macmillan Education, Basingstoke (1987)

    Book  Google Scholar 

  3. Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, 95–102 (May 1986)

    Google Scholar 

  4. Cooling, J.E.: Real-Time Software Systems. In: An Introduction to Structured and Object-oriented Design, International Thomson Computer Press (1997)

    Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Harding, M.D.: MASCOT DESIGN GENERATOR (MADGE) v.6.0. Release Notification, n. 5096, issue 11 (November 1998)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. Joint IECCA and MUF Committee. The Official Handbook of MASCOT (1987)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. Juiz, C., Puigjaner, R.: Performance modelling of pools in soft real-time design architectures. Simulation Practice and Theory 9(3,5), 215–240 (2002)

    Article  MATH  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Law, A.M., Kelton, D.W.: Simulation Modelling and Analysis, 3rd edn. McGraw-Hill Higher Education, New York (2000)

    MATH  Google Scholar 

  15. 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)

    Google Scholar 

  16. Marse, K., Roberts, S.D.: Implementing a Portable Fortran Uniform (0,1) Generator. Simulation 41, 135–139 (1983)

    Article  Google Scholar 

  17. MBDA web site: http://www.mbda.net/

  18. 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)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. Wu, X., Woodside, M.: Performance Modeling from Software Components. In: Proceedings of WOSP 2004, pp. 290–301. ACM Press, New York (2004)

    Google Scholar 

  21. Simpson, H.R.: The Mascot method. Software Engineering Journal, 103–120 (May 1986)

    Google Scholar 

  22. Simpson, H.R.: Protocols for Process Interaction. 1, 2, 3. Matra BAe Dynamics (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics