Abstract
The design of modern embedded systems has to cope with quite challenging requirements in terms of flexibility, performance, and domain space exploration. To this purpose, we present a general methodology joining the principles of Platform Based Design and Model Driven Engineering. The former was especially conceived for embedded systems design, the latter focuses on models as the primary design artifacts. From their combination, we can to introduce a methodology for the design of Network Processor Applications. Starting from models described using the UML notation, we provide an early estimation of performance related parameters and compare in advance possible alternative implementations. In particular, the system behavior is specified by a collection of Sequence Diagrams describing the various usage scenarios, merged into an internal representation called Message Sequence Net. To prove the effectiveness of the proposed methodology, a case study on the design of an SCTP client is presented.
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.
Similar content being viewed by others
References
Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specifications from MSCs. In: SDL Forum, pp. 51–66 (1999)
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)
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)
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)
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)
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)
Bézivin, J.: On the unification power of models. Journal of Software and Systems Modeling 4(2), 171–188 (2005)
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)
Brown, A.W.: Model driven architecture: Principles and practice. Software and System Modeling 3(4), 314–327 (2004)
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)
Cortellessa, V., Mirandola, R.: PRIMA-UML: A Performance Validation Incremental Methodology on Early UML Diagrams. Science of Computer Programming 44(1) (2002)
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)
Freescale. C–5 DCP Architecture Guide (1999)
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)
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)
SCTP Prototype Implementation, http://www.sctp.de/sctp.html/
Lakshmanamurthy, S., Liu, K.Y., Pun, Y., Huston, L., Naik, U.: Network processor performance analysis methodology. Intel Technology Journal 6(3), 19–28 (2002)
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)
Martin, G.: UML for Embedded Systems Specification and Design: Motivation and Overview. In: Proc. DATE, pp. 773–775 (2002)
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)
Mauw, S.: The Formalization of Message Sequence Charts. Computer Networks and ISDN Systems 28(12), 1643–1657 (1996)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–574 (1989)
OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems, OMG Document – realtime/05-02-06 edition (Jannuary 2005)
OMG. UML Profile for Schedulability, Performance and Time Specification, OMG Document – formal/05-01-02 edition (Jannuary 2005)
Rudolph, E., Grabowski, J., Graubmann, P.: Towards a harmonization of UML-sequence diagrams and MSC. In: SDL Forum, pp. 193–208 (1999)
Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction–raising transformation for generating analysis models. In: MoDELS Satellite Events, pp. 217–226 (2005)
Sgroi, M.: Platform-based Design Methodologies for Communication Networks. PhD thesis, U.C. Berkeley (2002)
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)
Smith, C.U., Williams, L.: Performance Solutions: A practical Guide To Creating Responsive, Scalable Software. Addison-Wesley, Reading (2001)
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)
The SIGTRAN Group Web Site, http://www.sigtran.org/
Tratt, L.: Model transformations and tool integration. Journal of Software and Systems Modelling 4(2), 112–122 (2005)
Sangiovanni Vincentelli, A.: Defining Platform-based Design. EEDesign of EETimes (February 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertolino, A., Bonivento, A., De Angelis, G., Vincentelli, A.S. (2006). Modeling and Early Performance Estimation for Network Processor Applications. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_52
Download citation
DOI: https://doi.org/10.1007/11880240_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45772-5
Online ISBN: 978-3-540-45773-2
eBook Packages: Computer ScienceComputer Science (R0)