Performance modelling of a network processor using POOSL

Computer Networks

Volumn 41, Issue 5, 2003, Pages 667-684

  Theelen, B D ^a   Voeten, J P M ^a   Kramer, R D J ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Concurrency; Formal description techniques; Network processor; Parallel object oriented specification language; Performance modelling; System level design

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; PARALLEL PROCESSING SYSTEMS; PERFORMANCE;

SYSTEM-LEVEL DESIGN;

COMPUTER NETWORKS;

EID: 0037420674     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(02)00455-3     Document Type: Article

References (29)

1. G. Berry, The Esterel Language Primer (Version 5.20, Release 2.0), Ecole des Mines and INRIA, Sophia-Antipolis, France, 1999.
2. L.J. van Bokhoven, Contructive tool design for formal languages: from semantics to executing models, PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002.
3. Boussinot F., de Simone R. The Esterel language. Proceedings of the IEEE. 79(9):1991;1293-1304.
4. M. Bütow, M. Mestern, C. Schapiro, P.S. Kritzinger, Performance modelling with the formal specification language SDL, in: R. Gotzhein, J. Bredereke (Eds.), Proceedings of the International Conference on Formal Description Techniques; Theory, Application and Tools, Chapman and Hall, London, 1996, pp. 213-228.
5. M.C.W. Geilen, Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002.
6. Geilen M.C.W., Voeten J.P.M., van der Putten P.H.A., van Bokhoven L.J., Stevens M.P.J. Object-oriented modelling and specification using SHE. Journal of Computer Languages. 27(3):2001;19-38.
7. Geppert L. The new chips on the block. IEEE Spectrum. 38(1):2001;66-68.
8. J. He, M.B. Josephs, C.A.R. Hoare, A theory of synchrony and asynchrony, in: M. Broy, C.B. Jones (Eds.), Proceedings of the IFIP Working Conference on Programming Concepts and Methods (Sea of Galilee, Israel, April 2-5), North-Holland, Amsterdam, 1990, pp. 459-478.
9. IBM, Blue Logic ASIC Cores. From: http://www.chips.ibm.com/products/asics/producst/cores.
10. IBM, The CoreConnect Bus Architecture. From: http://www.chips.ibm.com/products/coreconnect, 1999. White paper.
11. IBM, On-chip Peripheral Bus; Architecture Specifications. From: http://www-3.ibm.com/chips/techlib/techlib.nsf/productfamilies/CoreConnect_Bus_A rchitecture 2001. Document SA-14-2528-02.
12. Law A., Kelton W. Simulation Modeling and Analysis. third ed. 2000;McGraw-Hill, New York.
13. Leue S. Specifying real-time requirements for SDL specifications - a temporal logic-based approach. Dembinski P., Sredniawa M. Protocol Specification, Testing and Verification XV. 1997;19-34 Chapman and Hall, London.
14. M. Malek, PerfSDL: interface to protocol performance analysis by means of simulation, in: R. Dssoul, G.V. Bochman, Y. Lahav (Eds.), Proceedings of SDL'99 (Montreal, Canada, June 21-25), Elsevier Science, Amsterdam, 1999, pp. 441-455.
15. W. Müller, J. Ruf, D. Hoffman, J. Gerlach, T. Kropf, W. Rosenstiehl, The simulation semantics of SystemC, in: Proceedings of the DATE 2001 Conference on Design Automation and Test in Europe (Munich, Germany, March 13-16), IEEE Computer Society, Los Alamitos, CA, 2001, pp. 64-70.
16. K. Narfelt, SYSDAX: an object-oriented design methodology based on SDL, in: R. Saracco, P. Tilanus (Eds.), Proceedings of SDL'87: State of the Art and Future Trends, North-Holland, Amsterdam, 1987, pp. 247-254.
17. X. Nicollin, J. Sifakis, An overview and synthesis on timed process algebras, in: K. Larsen, A. Skou, (Eds.), Proceeding of the 3rd International Workshop on Computer Aided Verification (CAV'91) (Ålborg, Denmark, July 1-4), Springer, Berlin, 1991, pp. 376-398.
18. P.R. Panda, SystemC - a modeling platform supporting multiple design abstractions, in: Proceedings of the International Symposium on System Synthesis 2001 (ISSS'01) (Montréal, Qué., Canada, October 1-3), ACM Press, New York, 2001, pp. 75-80.
19. Pawlikowski K., Jeong H.D.J., Lee J.S.R. On credability of simulation studies of telecommunication networks. IEEE Communications Magazine. 40(1):2002;132-139.
20. P.H.A. van der Putten, J.P.M. Voeten, Specification of reactive hardware/software systems, PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 1997.
21. Selic B., Gullekson G., Ward P. Real-Time Object-Oriented Modelling. 1994;Wiley, New York.
22. B.D. Theelen, P.H.A. van der Putten, J.P.M. Voeten, Using the SHE method for UML-based performance modelling, in: Proceedings of the Forum on Specification and Design Language 2002 (FDL'02) (Marseille, France, September 24-27), ECSI, Gieres, France, 2002.
23. B.D. Theelen, J.P.M. Voeten, L.J. van Bokhoven, P.H.A. van der Putten, A.M.M. Niemegeers, G.G. Jong, Performance modeling in the large: a case study, in: N. Giambiasi, C. Frydman (Eds.), Proceedings of the 13th European Simulation Symposium (ESS'01) (Marseille, France, October 18-21), SCS-Europe, Ghent, Belgium, 2001, pp. 174-181.
24. B.D. Theelen, J.P.M. Voeten, Y. Pribadi, Accuracy analysis of long-run average performance metrics, in: F. Karelse (Ed.), Proceedings of PROGRESS'01 (Veldhoven, The Netherlands, October 18), STW Technology Foundation, Utrecht, The Netherlands, 2001, pp. 261-269.
25. Tijms H.C. Stochastic Models; An Algorithmic Approach. 1994;Wiley, Chichester.
26. Velderruten A., Gulias V.W., Mosquera J., Jorge J.S. Performance evaluation of a multithreaded RTS using a synchronous reactive model. Control Engineering Practice. 7(12):1999;1533-1539.
27. M. Verhappen, P.H.A. van der Putten, J.P.M. Voeten, On the fundamental design gap in terabit per second packet switching, in: M. Edwards (Ed.), Proceedings of the Euromicro Symposium on Digital System Design (DSD) 2002 (Dortmund, Germany, September 4-6), IEEE Computer Society, Los Alamitos, CA, 2002, pp. 371-378.
28. Voeten J.P.M. Performance evaluation with temporal rewards. Performance Evaluation. 50(2/3):2002;189-218.
29. ITU-T Recommendation Z.100, Specification and Description Language (SDL), November 1999.