Modeling and Early Performance Estimation for Network Processor Applications

1. Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specifications from MSCs. In: SDL Forum, pp. 51–66 (1999)

   Google Scholar 

2. Afsharian, S., Bertolino, A., De Angelis, G., Iovanna, P., Mirandola, R.: A Model Based Approach to Design Applications for Network Processor. In: Guelfi, N. (ed.) RISE 2004. LNCS, vol. 3475, Springer, Heidelberg (2005)

   Chapter  Google Scholar 

3. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng. 30(5), 295–310 (2004)

   Article  Google Scholar 

4. Barbieri, D.: Network Processors and Next Generation Networks : Design Methodology and Implementation of a Case of Study. Laurea Thesis, Università degli Studi di Roma “Tor Vergata” – in Italian (2005)

   Google Scholar 

5. Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to analysable Petri Net Models. In: Proc. 3rd Int. Workshop on Software and Performance (WOSP 2002), pp. 35–45 (2002)

   Google Scholar 

6. Bertolino, A., De Angelis, G., Mirandola, R.: UML-based design of network processors applications. In: Proc. EUROMICRO-SEAA, pp. 424–431. IEEE Computer Society, Los Alamitos (2005)

   Google Scholar 

7. Bézivin, J.: On the unification power of models. Journal of Software and Systems Modeling 4(2), 171–188 (2005)

   Article  Google Scholar 

8. Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons, Chichester (1998)

   MATH  Google Scholar 

9. Brown, A.W.: Model driven architecture: Principles and practice. Software and System Modeling 3(4), 314–327 (2004)

   Google Scholar 

10. Chen, R., Sgroi, M., Lavagno, L., Martin, G., Sangiovanni-Vincentelli, A., Rabaey, J.: UML and Platform–Based design, ch. 5. In: Lavagno, L., Martin, G., Selic, B.V. (eds.) UML for real: design of embedded real-time systems, pp. 107–126. Kluwer Academic Publishers, Dordrecht (2003)

    Google Scholar 

11. Cortellessa, V., Mirandola, R.: PRIMA-UML: A Performance Validation Incremental Methodology on Early UML Diagrams. Science of Computer Programming 44(1) (2002)

    Google Scholar 

12. Ferrari, A., Sangiovanni-Vincentelli, A.: System design: Traditional concepts and new paradigms. In: International Conference on Computer Design (ICCD 1999), pp. 2–13. IEEE, Los Alamitos (1999)

    Google Scholar 

13. Freescale. C–5 DCP Architecture Guide (1999)

    Google Scholar 

14. Grassi, V., Mirandola, R.: PRIMAmob-UML: a methodology for performance analysis of mobile software architectures. In: Proc. 3rd Int. Workshop on Software and Performance (WOSP 2002), pp. 262–274. ACM Press, New York (2002)

    Chapter  Google Scholar 

15. Haugen, Ø.: Comparing UML 2.0 interactions and MSC-2000. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 65–79. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

16. SCTP Prototype Implementation, http://www.sctp.de/sctp.html/

17. Lakshmanamurthy, S., Liu, K.Y., Pun, Y., Huston, L., Naik, U.: Network processor performance analysis methodology. Intel Technology Journal 6(3), 19–28 (2002)

    Google Scholar 

18. Marsan, M.A., Bobbio, A., Donatelli, S.: Petri nets in performance analysis: An introduction. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 211–256. Springer, Heidelberg (1998)

    Google Scholar 

19. Martin, G.: UML for Embedded Systems Specification and Design: Motivation and Overview. In: Proc. DATE, pp. 773–775 (2002)

    Google Scholar 

20. Martin, G., Lavagno, L., Louis–Guerin, J.: Embedded UML: a merger of real-time UML and co-design. In: Proc. CODES, pp. 23–28 (2001)

    Google Scholar 

21. Mauw, S.: The Formalization of Message Sequence Charts. Computer Networks and ISDN Systems 28(12), 1643–1657 (1996)

    Article  Google Scholar 

22. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–574 (1989)

    Article  Google Scholar 

23. OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems, OMG Document – realtime/05-02-06 edition (Jannuary 2005)

    Google Scholar 

24. OMG. UML Profile for Schedulability, Performance and Time Specification, OMG Document – formal/05-01-02 edition (Jannuary 2005)

    Google Scholar 

25. Rudolph, E., Grabowski, J., Graubmann, P.: Towards a harmonization of UML-sequence diagrams and MSC. In: SDL Forum, pp. 193–208 (1999)

    Google Scholar 

26. Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction–raising transformation for generating analysis models. In: MoDELS Satellite Events, pp. 217–226 (2005)

    Google Scholar 

27. Sgroi, M.: Platform-based Design Methodologies for Communication Networks. PhD thesis, U.C. Berkeley (2002)

    Google Scholar 

28. Sgroi, M., Kondratyev, A., Watanabe, Y., Lavagno, L., Sangiovanni–Vincentelli, A.: Synthesis of petri nets from message sequence charts specifications for protocol design. In: Proceedings of Design, Analysis and Simulation of Distributed Systems Symposium, DASD 2004, pp. 262–274 (2004)

    Google Scholar 

29. Smith, C.U., Williams, L.: Performance Solutions: A practical Guide To Creating Responsive, Scalable Software. Addison-Wesley, Reading (2001)

    Google Scholar 

30. Stewart, R.R., Xie, Q., Morneault, K., Sharp, C., Schwarzbauer, H.J., Taylor, T., Rytina, I., Kalla, M., Zhang, L.: Stream Control Transmission Protocol. Technical Report RFC 2960, IETF (October 2000)

    Google Scholar 

31. The SIGTRAN Group Web Site, http://www.sigtran.org/

32. Tratt, L.: Model transformations and tool integration. Journal of Software and Systems Modelling 4(2), 112–122 (2005)

    Article  Google Scholar 

33. Sangiovanni Vincentelli, A.: Defining Platform-based Design. EEDesign of EETimes (February 2002)

    Google Scholar 

Download references